summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-02-12add vscode syntax highlighting modejp
2020-02-12made list of required ubuntu packages completejp
2020-02-12Merge branch 'sail2' of https://github.com/rems-project/sail into sail2jp
2020-02-12improve syntax highlightingjp
2020-02-06Make sure tdiv_int and tmod_int are recognised by sail -iAlasdair Armstrong
2020-02-05Tweak Coq scopes for 8.11Brian Campbell
2020-02-03Add an __instr_announce builtin in regfp.sailAlasdair Armstrong
2020-02-03Update regfp.sail with ifetch changes from poly_mapping branchAlasdair Armstrong
2020-01-31Fix soundness bug found by MarkAlasdair
2020-01-30Make sure external pprint is listed as a dependency for sail when used as an ...Alasdair Armstrong
2020-01-30Bump opam version for release.Robert Norton
2020-01-30Fix two example code includesMark Wassell
2020-01-30Commit missing pandoc fixes for document generationAlasdair Armstrong
2020-01-28Use external PPrintThomas Bauereiss
2020-01-28Fix a bug with lexp->exp conversion for register referencesAlasdair
2020-01-22Preserve effect annotation when realising mappingsThomas Bauereiss
2020-01-21Reduce the amount of unnecessary parentheses in Coq outputBrian Campbell
2020-01-21Use hex/bin literals in Coq backendBrian Campbell
2020-01-17Merge scattered mapping fixesJames Clarke
2020-01-17Merge branch 'coq-bool-props' into sail2Brian Campbell
2020-01-17Coq: add hex_strBrian Campbell
2020-01-17Keep track of source locations for all IR branchesAlasdair
2020-01-16Allow effects on mappingsAlasdair Armstrong
2020-01-16Cleanup type-checking rule for LEXP_fieldAlasdair Armstrong
2020-01-16Keep track of (non-bit) vectors known to be fixed size in JibAlasdair Armstrong
2020-01-14Basic support to track uncaught exceptions in Sail->CAlasdair
2020-01-10Don't do any C specific name mangling for the cons operator in jib_compileAlasdair Armstrong
2020-01-07Coq: accelerate wp steps by improving application of existing specsBrian Campbell
2020-01-04Coq: change record field update notation to avoid duplicating termsBrian Campbell
2020-01-03Add Sail pretty-printing of bitfieldsThomas Bauereiss
2019-12-19Coq library improvementsBrian Campbell
2019-12-18Make sure we generate literals of precisely the right length for symbolic exe...Alasdair Armstrong
2019-12-18Update INSTALL.md with feedback from Patrick Taylor on MacOSRobert Norton
2019-12-13move ott pp to different Makefile rulePeter Sewell
2019-12-13experiment in ott-generated ppPeter Sewell
2019-12-12Fix a little bit of inconsistency in the command line argumentsAlasdair Armstrong
2019-12-11Merge pull request #58 from Alasdair/sail2Alasdair Armstrong
2019-12-11Add github actions to build on macOS and ubuntuAlasdair Armstrong
2019-12-10Introduce new bitfield syntax for ASL translationAlasdair Armstrong
2019-12-09Coq: improve solver enough to handle arm specBrian Campbell
2019-12-07manual typopes20
2019-12-06Don't introduce uneccesary control flow when compilingAlasdair Armstrong
2019-12-06Coq: use proof irrelevance for a few propertiesBrian Campbell
2019-12-05Coq: more solving support for boolean predicatesBrian Campbell
2019-12-04Another word.Robert Norton
2019-12-04Re-direct building link.Robert Norton
2019-12-04A word.Robert Norton
2019-12-04Minor doc fixes.Robert Norton
2019-12-04Move building from source instructions from wiki into repo and update links. ...Robert Norton
2019-12-04Make INSTALL.md in repo canonical and make some tweaks (will now redirect the...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 15:08:37 +0000