Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | bump versionshow | Philipp Gesang | 2018-12-09 | 1 | -1/+1 |
* | fix opam build, bump versionv1.1 | Philipp Gesang | 2018-11-06 | 1 | -1/+1 |
* | fix tests and bump versionv1 | Philipp Gesang | 2018-11-05 | 1 | -2/+2 |
* | add linking exception to license | Philipp Gesang | 2018-11-03 | 1 | -2/+2 |
* | oasis: add documentation target | Philipp Gesang | 2018-11-03 | 1 | -8/+17 |
* | util: sidparse_test. add trivial test wrapper | Philipp Gesang | 2018-10-28 | 1 | -0/+6 |
* | util/sidparse: add cli SID utility | Philipp Gesang | 2018-10-28 | 1 | -0/+5 |
* | _oasis: opam: nix: add build and env setup | Philipp Gesang | 2018-10-28 | 1 | -0/+27 |