| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-03-12 | Add even more conservative version bound to omd | Alasdair | |
| 2021-03-12 | Add upper version bound on omd | Alasdair | |
| 2021-01-07 | Update version number in opam file | Alasdair | |
| 2020-06-12 | Remove remove field from opam file | Alasdair | |
| As per https://github.com/ocaml/opam-repository/pull/16573 | |||
| 2020-06-03 | Update opam file to opam 2 | Alasdair | |
| 2020-05-27 | Update base64 and yojson dependencies | Thomas Bauereiss | |
| 2020-05-14 | Various bugfixes and improvements for updated codegen | Alasdair | |
| 2020-05-12 | Add support for instrumenting generated C with branch coverage metrics | Alasdair | |
| Will call: void sail_branch_reached(int branch_id, char *source_file, int l1, int c1, int l2, int c2); on each branch caused by a match or if statement in the source code For each branch that is taken, will call: void sail_branch_taken(int branch_id, char *source_file, int l1, int c1, int l2, int c2) Every branch gets a unique identifier, and the functions are called with the source file location and line/character information for the start and end of each match case or then/else branch. sail_branch_reached is given the location info for the whole match statement. | |||
| 2020-01-30 | Bump opam version for release. | Robert Norton | |
| 2020-01-28 | Use external PPrint | Thomas Bauereiss | |
| 2019-11-21 | Bump version for release. | Robert Norton | |
| 2019-07-04 | Bump opam version. | Robert Norton | |
| 2019-04-17 | Add base64 package constraint | Jyun-Yan You | |
| 2019-04-15 | Merge branch 'sail2' into rmem_interpreter | Jon French | |
| 2019-03-22 | Bump opam version prior to future release. | Robert Norton | |
| 2019-03-15 | Interactive: Auto-complete options and add hints | Alasdair Armstrong | |
| 2019-03-14 | Commit 6cbf7c5dd9 triggers a bug in ocaml 4.06.0 so require 4.06.1 or more. | Robert Norton | |
| 2019-02-25 | Merge branch 'sail2' into rmem_interpreter | Jon French | |
| 2019-02-13 | Attempt to parse sail version from opam file for manifest.ml. Update version ↵ | Robert Norton | |
| in opam file in anticipation of release and add yojson dependency. | |||
| 2019-02-03 | Merge branch 'sail2' into rmem_interpreter | Jon French | |
| 2019-01-23 | Minor opam release to fix #26. Also includes new unrolling pragma. | Robert Norton | |
| 2019-01-22 | Bump opam version for release. | Robert Norton | |
| 2018-12-28 | Merge branch 'sail2' into rmem_interpreter | Jon French | |
| 2018-12-27 | new command line option -marshal <file> to marshal out rewritten AST to a file | Jon French | |
| Adds new dependency: base64 | |||
| 2018-12-14 | Prepare for new release. | Robert Norton | |
| 2018-11-19 | prep for opam release with new latex. | Robert Norton | |
| 2018-11-12 | opam release | Robert Norton | |
| 2018-07-13 | prepare for new opam release | Robert Norton | |
| 2018-05-11 | add .git to dev-repo in opam file to satisfy opam-publish. | Robert Norton | |
| 2018-05-11 | prepare sail 0.2 release | Robert Norton | |
| 2018-04-26 | Add a new SHARE_DIR argument to use when doing opam build. For non-opam ↵ | Robert Norton | |
| builds this defaults to git root. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |