summaryrefslogtreecommitdiff
path: root/src/sail_lib.ml
AgeCommit message (Expand)Author
2018-06-04switch to using a Map data structure for cheri tags in ocaml backend. This so...Robert Norton
2018-06-04Use Util.split_on_char in sail_lib.mlAlasdair Armstrong
2018-05-31Fix for Jenkins buildAlasdair Armstrong
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-05-31Some tweaks to ocaml compilation and sail_lib for ARM with system registersAlasdair Armstrong
2018-05-25Use paged memory storage for ocaml backend memory. This is slightly slower (<...Robert Norton
2018-05-17changes to for testing FreeBSD boot on MIPS: allowing loading raw file in oca...Robert Norton
2018-04-03Added test cases for builtinsAlasdair Armstrong
2018-03-27print IPS after running cheri model.Robert Norton
2018-03-15Some CHERI compilation fixesThomas Bauereiss
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-03-14fix riscv build: missing eq_bit implementation.Robert Norton
2018-03-12ELF loading for C backendAlasdair Armstrong
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:16:21 +0000