summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2020-09-21latex: Handle Ulp, Ol and Olp markdown constructsJessica Clarke
2020-09-21latex: Dump out S-Expr of any unhandled markdownJessica Clarke
2020-09-21Strip leading *'s from saildocJessica Clarke
2020-09-20Improve parsing of saildoc commentsJessica Clarke
2020-09-07Fix typo a mono_rewrites definitionBrian 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-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-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-05Generate accessors for scalar types, array of scalars and scalars in struct i...Julien Freche
2020-07-15Update duplicate ctor warningAlasdair
2020-07-15Merge pull request #77 from julienfreche/fix_name_instead_of_global_c2Alasdair Armstrong
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-06-24Add slice.ml to libsailThomas Bauereiss
2020-06-23Fix bug with duplicate enum identifiers in patternsAlasdair
2020-06-18Report locations for "default order" errorsBrian Campbell
2020-06-17Coq: fix rich loop variablesBrian Campbell
2020-06-17Make `if cond { ... return() };` assert cond in the type environmentBrian Campbell
2020-06-14Coq: tidy up scope in libraryBrian Campbell
2020-06-12Use output file for generated branch information.Prashanth Mundkur
2020-06-10Prepare Coq library for packagingBrian Campbell
2020-06-09Add splice.ml to libsailThomas Bauereiss
2020-06-05Generate nice error messages for patterns woth duplicate bindingsAlasdair
2020-05-27Update base64 and yojson dependenciesThomas Bauereiss
2020-05-22Fix atomicity of register field writesAlasdair
2020-05-21Merge branch 'mono-tweaks' of github.com:rems-project/sail into mono-tweaksAlasdair
2020-05-21Merge branch 'sail2' into mono-tweaksAlasdair
2020-05-15C backend: Only add static to model_{init,fini} if -static is passedAlex Richardson
2020-05-15C backend: Add a static () helperAlex Richardson
2020-05-15Add static to registers if -static is passedAlex Richardson
2020-05-15Also make the letbinding C variables staticAlex Richardson
2020-05-15Also allow adding static to model_{init,fini,main}()Alex Richardson
2020-05-15Add static to more C functionsAlex Richardson
2020-05-15Add coverage tracking toolAlasdair
2020-05-14Output INT64_MIN in code generator for min 64-bit integer literalAlasdair
2020-05-14Merge remote-tracking branch 'origin' into codegenAlasdair
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:24:57 +0000