summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-09-24Merge pull request #91 from julienfreche/remove_extra_staticAlasdair Armstrong
2020-09-23Allow more access to parts of Env (needed by minisail)Mark Wassell
2020-09-22Fix val_spec to be a better match to user grammar.Mark Wassell
2020-09-16C codegen: remove an unnecessary declaration in the header fileJulien Freche
2020-09-16Merge pull request #87 from Columbus240/sail2Alasdair Armstrong
2020-09-12Docs: Mention "opam pin" and reword a detailColumbus240
2020-09-12Merge some of the gitignore filesColumbus240
2020-09-12gitignore test artifacts of c and coq testsColumbus240
2020-09-12Note in docs that some tests require cvc4Columbus240
2020-09-07Fix typo a mono_rewrites definitionBrian Campbell
2020-09-07Correct external declaration in mono_rewritesBrian Campbell
2020-09-02Consider case expressions in early return rewriteThomas Bauereiss
2020-08-27Ignore file start/end pragmas in spliceBrian Campbell
2020-08-27Perform truncation of hex literals for C backend (really for isla)Brian Campbell
2020-08-26Coq: replace other uses of omega with liaBrian Campbell
2020-08-26Coq: replace a lot of omega with liaBrian Campbell
2020-08-26Coq: Use proof mode for a couple of Fixpoints to avoid Coq 8.12 issueBrian Campbell
2020-08-26Coq: make some uses of auto in the library more robustBrian Campbell
2020-08-25Add function sail_set_coverage_file to sail_coverage headerAlasdair
2020-08-24Reformat tweaksAlasdair
2020-08-24Merge pull request #83 from julienfreche/configure_get_setAlasdair Armstrong
2020-08-21Add reformat option to SailAlasdair
2020-08-21C generation tweaksAlasdair
2020-08-21c2: make the global state API configurable for externally defined get/set fun...Julien Freche
2020-08-18Move sail_state declaration into it's own fileAlasdair
2020-08-13Preserve file structure through initial checkAlasdair
2020-08-10Fix a C backend bug with letbindings in guards shadowing body definitionsAlasdair
2020-08-07Remove Makefile references to old directoriesBrian Campbell
2020-08-07Merge branch 'monads' into sail2Brian Campbell
2020-08-07Allow C/IR builds to use mono_rewrites without the rest of monomorphisationBrian Campbell
2020-08-06Fix for last commitAlasdair
2020-08-06Forbid duplicate top-level letbindingsAlasdair
2020-08-06Fix a small bug with nested structs test in -c2 state apiAlasdair
2020-08-06Merge pull request #81 from julienfreche/get_set_finalAlasdair Armstrong
2020-08-05Generate accessors for scalar types, array of scalars and scalars in struct i...Julien Freche
2020-08-01update READMEpes20
2020-08-01update READMEpes20
2020-08-01wibpes20
2020-08-01tweak overview picpes20
2020-07-31Update 8.3 readme to point to 8.5 sail-armAlasdair Armstrong
2020-07-31More cleanupAlasdair
2020-07-31Remove old specs that have more up to date versionAlasdair
2020-07-15Update duplicate ctor warningAlasdair
2020-07-15Merge pull request #77 from julienfreche/fix_name_instead_of_global_c2Alasdair Armstrong
2020-07-15Add test files missed from last commitMark Wassell
2020-07-15Prevent creation of variant with existing type id and constructors that exist...Mark Wassell
2020-07-14c2: primop: -O: make sure to pick global or name correctlyJulien Freche
2020-07-02Define extz/s_vec in Sail for non-prover backendsBrian Campbell
2020-06-24Add slice.ml to libsailThomas Bauereiss
2020-06-24Add tagged memory builtins to regfp.sailThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:21:32 +0000