summaryrefslogtreecommitdiff
path: root/src/sail_lib.ml
AgeCommit message (Expand)Author
2018-03-06finish port of cheri128 spec. to sail2.Robert Norton
2018-03-01Add support for read_tag and write_tag in sail_lib.ml. and support for intial...Robert Norton
2018-02-27Get MIPS translated to LemThomas Bauereiss
2018-02-23Fix some bugs in C compilationAlasdair Armstrong
2018-02-23Some tidy up of sail library - use extract_num from Big_int to implement to_g...Robert Norton
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 08:51:31 +0000