summaryrefslogtreecommitdiff
path: root/opam
AgeCommit message (Expand)Author
2020-06-12Remove remove field from opam fileAlasdair
2020-06-03Update opam file to opam 2Alasdair
2020-05-27Update base64 and yojson dependenciesThomas Bauereiss
2020-05-14Various bugfixes and improvements for updated codegenAlasdair
2020-05-12Add support for instrumenting generated C with branch coverage metricsAlasdair
2020-01-30Bump opam version for release.Robert Norton
2020-01-28Use external PPrintThomas Bauereiss
2019-11-21Bump version for release.Robert Norton
2019-07-04Bump opam version.Robert Norton
2019-04-17Add base64 package constraintJyun-Yan You
2019-04-15Merge branch 'sail2' into rmem_interpreterJon French
2019-03-22Bump opam version prior to future release.Robert Norton
2019-03-15Interactive: Auto-complete options and add hintsAlasdair Armstrong
2019-03-14Commit 6cbf7c5dd9 triggers a bug in ocaml 4.06.0 so require 4.06.1 or more.Robert Norton
2019-02-25Merge branch 'sail2' into rmem_interpreterJon French
2019-02-13Attempt to parse sail version from opam file for manifest.ml. Update version ...Robert Norton
2019-02-03Merge branch 'sail2' into rmem_interpreterJon French
2019-01-23Minor opam release to fix #26. Also includes new unrolling pragma.Robert Norton
2019-01-22Bump opam version for release.Robert Norton
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-12-27new command line option -marshal <file> to marshal out rewritten AST to a fileJon French
2018-12-14Prepare for new release.Robert Norton
2018-11-19prep for opam release with new latex.Robert Norton
2018-11-12opam releaseRobert Norton
2018-07-13prepare for new opam releaseRobert Norton
2018-05-11add .git to dev-repo in opam file to satisfy opam-publish.Robert Norton
2018-05-11prepare sail 0.2 releaseRobert Norton
2018-04-26Add a new SHARE_DIR argument to use when doing opam build. For non-opam build...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:01:44 +0000