summaryrefslogtreecommitdiff
path: root/src/sail_lib.ml
AgeCommit message (Expand)Author
2018-02-15Update duopod spec so it has no address translationAlasdair Armstrong
2018-02-13Support for large bitvector literals in C backendAlasdair Armstrong
2018-02-06fix backwards arguments to pow2.Robert Norton
2018-02-02Add M extension to RISCV. Slightly inelegant implementation for now but passi...Robert Norton
2018-01-29Add some initial exception handling to the riscv execution loop.Prashanth Mundkur
2018-01-29implement shift primitives in sail_lib.mlRobert Norton
2018-01-24Fixed riscv ocaml compilationAlasdair Armstrong
2018-01-22Added rewriter that specializes all function calls in a specification.Alasdair Armstrong
2018-01-22Update and fix test suiteAlasdair Armstrong
2018-01-18Modified ocaml backend to use ocamlfind for linksem and lemAlasdair Armstrong
2018-01-12OCaml interactive mode can now run full aarch64 examples, and ocaml test cases.Alasdair Armstrong
2018-01-11Ocaml semantics can now run aarch64 hello world example using octapodAlasdair Armstrong
2018-01-05Added sail_lib fileAlasdair Armstrong
2017-07-21Everything moved to new typecheckerAlasdair Armstrong
2017-02-03fix headersPeter Sewell
2015-12-14Adding new location constructor for location of generated termsKathy Gray
2014-07-29A file can now declare that a default order is either inc or dec, and this wi...Kathy Gray
2014-07-04Force end-of-input when parsing expression listGabriel Kerneis
2014-07-03Parse list of expressions in Sail_libGabriel Kerneis
2014-07-03Introduce a Sail libraryGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:24:42 +0000