Merge requests · argo / hnrm

[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] Removes messaging json boilerplate

!11 · created Nov 21, 2019 by Valentin Reis
- MERGED
- 0
updated Nov 21, 2019
[refactor] minor config file format simplifications.

!65 · created Oct 28, 2020 by Valentin Reis
- MERGED
- 0
updated Oct 29, 2020
Refactor hs

!55 · created Aug 26, 2020 by Valentin Reis
- MERGED
- 0
updated Sep 02, 2020
[refactor] Get rid of vendored dhall-to-cabal codebase.

!8 · created Nov 20, 2019 by Valentin Reis
- MERGED
- 0
updated Nov 21, 2019
Refactor fromJust

!56 · created Sep 02, 2020 by Valentin Reis
- MERGED
- 0
updated Sep 02, 2020
Refactor and sensor logic strengthening.

!42 · created Apr 20, 2020 by Valentin Reis
- MERGED
- 0
updated Apr 20, 2020
[refactor] Adds shellcheck.

!22 · created Jan 15, 2020 by Valentin Reis staging
- CLOSED
- 0
updated Jan 15, 2020
Readme updates.

!14 · created Nov 21, 2019 by Valentin Reis
- MERGED
- 0
updated Nov 21, 2019
python upstream layer/ notebook updates

!67 · created Oct 30, 2020 by Valentin Reis
- MERGED
- 0
updated Oct 30, 2020
perform catchall on exceptions for all nrm.so calls.

!4 · created Nov 14, 2019 by Valentin Reis
- MERGED
- 0
updated Nov 17, 2019
[packaging] fixes the dependency on the hbandit package.

!45 · created May 20, 2020 by Valentin Reis
- MERGED
- 0
updated May 20, 2020
[notebook] Refactor notebook CI structure

!24 · created Jan 16, 2020 by Valentin Reis staging
- MERGED
- 0
updated Jan 16, 2020
Notebook control

!34 · created Jan 27, 2020 by Valentin Reis
- CLOSED
- 0
updated Jan 27, 2020
Notebook control

!33 · created Jan 27, 2020 by Valentin Reis staging
- CLOSED
- 0
updated Jan 27, 2020
Merging Dev branch

!38 · created Feb 06, 2020 by Valentin Reis
- MERGED
- 0
updated Feb 06, 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
Hydra

!36 · created Jan 30, 2020 by Valentin Reis
- MERGED
- 0
updated Jan 30, 2020