summaryrefslogtreecommitdiff
path: root/src/initial_check.mli
AgeCommit message (Expand)Author
2019-02-06Emacs mode understands relationships between Sail filesAlasdair
2018-12-19Improve sizeof rewriting performanceAlasdair Armstrong
2018-12-10Various changes:Alasdair Armstrong
2018-12-06Re-factor initial checkAlasdair Armstrong
2018-06-04Fix an issue with riscv_platform involving flow typingAlasdair Armstrong
2018-02-12Add support for top-level letbindings to C backendAlasdair Armstrong
2018-01-30Generate functions from enums to numbers and vice versaAlasdair Armstrong
2018-01-22Update Lem shallow embedding to Sail2Thomas Bauereiss
2018-01-16Created version of typecheck test suite for sail2 branchAlasdair Armstrong
2018-01-05Added bitfield syntax to replicate register bits typeAlasdair Armstrong
2017-12-11Prototype interactive mode for sail.Alasdair Armstrong
2017-12-06Merge remote branch 'experiments' into experimentsThomas Bauereiss
2017-12-06Make AST after rewriting for Lem backend type-checkableThomas Bauereiss
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-30Improvements to enable parsing and checking intermediate rewritingAlasdair Armstrong
2017-09-07Merge branch 'experiments' of https://bitbucket.org/Peter_Sewell/sail into ex...Alasdair Armstrong
2017-08-30Ocaml backend can now run ocamlbuild automatically to build ocamlAlasdair Armstrong
2017-07-27Parameterise convert_ast by the bitvector orderAlasdair Armstrong
2017-07-21Everything moved to new typecheckerAlasdair Armstrong
2017-02-03fix headersPeter Sewell
2014-07-29A file can now declare that a default order is either inc or dec, and this wi...Kathy Gray
2014-07-03Introduce a Sail libraryGabriel Kerneis
2014-01-17Type check through type definitions and val specifications, building definiti...Kathy Gray
2013-08-08More forms converting from parse_ast to ast; also removed some annot aux homs...Kathy Gray
2013-08-07Starting checks and translation from parse_ast to ast, including an internal ...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:03:22 +0000