summaryrefslogtreecommitdiff
path: root/src/sail_lib.ml
AgeCommit message (Expand)Author
2018-05-21further RISCV mapping: all extant non-compressed instructions doneJon French
2018-05-18more riscv mappings; riscv now builds successfully to lem which builds to isa...Jon French
2018-05-17changes to for testing FreeBSD boot on MIPS: allowing loading raw file in oca...Robert Norton
2018-05-11further riscv mappingJon French
2018-05-10more mappingJon French
2018-05-10hacky monomorphic bits-string-parser for nowJon French
2018-05-10add space handling mappings to riscv prelude and sail_lib.mlJon French
2018-05-03support sub-mappings in string-append-patternsJon French
2018-05-02refactor string append pattern ast to be based on lists rather than pairsJon French
2018-05-01it worksJon French
2018-05-01rewriting of builtin mappings e.g. intJon French
2018-05-01further progress but confounds the type checker?Jon French
2018-05-01progress on debugging string pattern matchingJon French
2018-05-01starting to also do integer supportJon French
2018-05-01start of string pattern matching: currently only literalsJon French
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-01-31 10:06:05 +0000