summaryrefslogtreecommitdiff
path: root/src/sail.ml
AgeCommit message (Expand)Author
2021-02-25Remove accidental use of too-recent Option moduleBrian Campbell
2021-02-25Add -infer_effects optionBrian Campbell
2020-10-07latex: Guard abbreviations with \@Jessica Clarke
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-09-27latex: Prefix label names with the specified -latex_prefixJessica Clarke
2020-08-25Add function sail_set_coverage_file to sail_coverage headerAlasdair
2020-08-21Add reformat option to SailAlasdair
2020-06-12Use output file for generated branch information.Prashanth Mundkur
2020-05-27Update base64 and yojson dependenciesThomas Bauereiss
2020-05-21Merge branch 'sail2' into mono-tweaksAlasdair
2020-05-15Add coverage tracking toolAlasdair
2020-05-14Re-activate some testsAlasdair
2020-05-14Attempt to fix CI errorAlasdair
2020-05-12Support for user-defined state and headers in new codegenAlasdair
2020-05-11Functorise and refactor C code generatorAlasdair
2020-04-21Save SMT cache when terminating with an exceptionThomas Bauereiss
2020-04-15Add more intuitive defaults to interactive toplevelAlasdair
2020-01-14Basic support to track uncaught exceptions in Sail->CAlasdair
2019-12-12Fix a little bit of inconsistency in the command line argumentsAlasdair Armstrong
2019-12-10Introduce new bitfield syntax for ASL translationAlasdair Armstrong
2019-11-21Add option to generate grouped register state recordThomas Bauereiss
2019-11-11Update libsail slightly with recent changesAlasdair Armstrong
2019-11-07Backport fixes to SMT generation from poly_mapping branchAlasdair Armstrong
2019-10-31Allow sail to be scripted using sailAlasdair
2019-10-28Some C backend refactoringAlasdair
2019-10-25Refactor Jib IR pretty printerAlasdair Armstrong
2019-10-17Allow generating C that doesn't hard code any librariesAlasdair Armstrong
2019-10-15More work on bare-metal SailAlasdair Armstrong
2019-10-14Add -Ofixed_int and -Ofixed_bits to assume fixed-precision ints and bitvector...Alasdair Armstrong
2019-08-22additional option to tweak Coq output to support user-defined monad:pes20
2019-08-20add -coq_alt_modules option to override the default imported modulespes20
2019-08-20add -coq_alt_modules option to override the default imported modulespes20
2019-07-31Merge branch 'sail2' into union_barrierAlasdair Armstrong
2019-07-29Add type check after descattering to keep type environments up to dateBrian Campbell
2019-07-18Add a option to check for a feature symbolAlasdair Armstrong
2019-06-19Rewriting improvements for monomorphic aarch64_smallBrian Campbell
2019-06-13Add new option to splice in alternative function definitionsBrian Campbell
2019-06-06SMT: Rename some functions to make usage clearerAlasdair Armstrong
2019-06-06Add an option to pre-compile the axiomatic model for SMTAlasdair Armstrong
2019-06-04SMT: Add a fuzzing tool for the SMT builtinsAlasdair Armstrong
2019-05-31Change specialization interface slightlyAlasdair Armstrong
2019-05-22Move Util.warn to Reporting, and make it take the location as a parameterAlasdair Armstrong
2019-05-16SMT: Improve simplification for generated SMTAlasdair Armstrong
2019-05-14Various bugfixesAlasdair Armstrong
2019-05-13Merge branch 'sail2' into smt_experimentsAlasdair
2019-05-13Changes to toFromInterp backend to support aarch64_smallJon French
2019-05-09SMT: Make path conditionals more preciseAlasdair Armstrong
2019-05-05C: Add option to compile using __int128 rather than GMPAlasdair
2019-05-03Jib: Fix optimizations for SMT IR changesAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:11:03 +0000