Merge requests · argo / hnrm

[ci] adds a nas benchmark suite package for future CI tests.

!59 · created Sep 04, 2020 by Valentin Reis
- MERGED
- 0
updated Sep 04, 2020
[fix] Fixes the default nix shell to expose the nrm client.

!58 · created Sep 03, 2020 by Valentin Reis
- MERGED
- 0
updated Sep 03, 2020
[ci] Adds `amg` to progress report tests

!57 · created Sep 03, 2020 by Valentin Reis
- MERGED
- 0
updated Sep 03, 2020
Refactor fromJust

!56 · created Sep 02, 2020 by Valentin Reis
- MERGED
- 0
updated Sep 02, 2020
Refactor hs

!55 · created Aug 26, 2020 by Valentin Reis
- MERGED
- 0
updated Sep 02, 2020
[refactor] removing some uses of `Proxy` and `coerce`.

!54 · created Aug 26, 2020 by Valentin Reis
- CLOSED
- 0
updated Sep 02, 2020
[refactor] removing Map-like containers.

!53 · created Aug 25, 2020 by Valentin Reis
- MERGED
- 0
updated Aug 25, 2020
[refactor] tests

!51 · created Jul 14, 2020 by Valentin Reis
- MERGED
- 0
updated Jul 17, 2020
[fix] reduces `hsnrm/resources` make target shell size

!50 · created Jul 14, 2020 by Valentin Reis
- MERGED
- 0
updated Jul 14, 2020
Develop branch merge

!49 · created Jul 14, 2020 by Valentin Reis
- MERGED
- 0
updated Jul 14, 2020
[fix] adds --pure argument to all build commands.

!48 · created Jul 07, 2020 by Valentin Reis
- MERGED
- 0
updated Jul 07, 2020
[fix] Makefile fixes.

!47 · created Jul 06, 2020 by Valentin Reis
- MERGED
- 0
updated Jul 06, 2020
Develop branch merge

!46 · created Jun 30, 2020 by Valentin Reis
- MERGED
- 0
updated Jul 01, 2020
[packaging] fixes the dependency on the hbandit package.

!45 · created May 20, 2020 by Valentin Reis
- MERGED
- 0
updated May 20, 2020
Adds example configurations for variorum.

!44 · created May 14, 2020 by Valentin Reis
- MERGED
- 0
updated May 14, 2020
[refactor] vendoring/build/packaging/static(sensors/actuators)

!43 · created May 05, 2020 by Valentin Reis
- MERGED
- 0
updated May 13, 2020
Refactor and sensor logic strengthening.

!42 · created Apr 20, 2020 by Valentin Reis
- MERGED
- 0
updated Apr 20, 2020
Develop branch periodic merge.

!41 · created Apr 01, 2020 by Valentin Reis
- CLOSED
- 0
updated Apr 02, 2020
Merge Develop branch.

!40 · created Feb 07, 2020 by Valentin Reis
- MERGED
- 0
updated Feb 21, 2020
[hydra] dev-> develop

!39 · created Feb 06, 2020 by Valentin Reis
- MERGED
- 0
updated Feb 06, 2020