summaryrefslogtreecommitdiff
path: root/src/sail.ml
AgeCommit message (Expand)Author
2019-02-08Slightly tweak the help message.Prashanth Mundkur
2019-02-08Resurrect Sail output option (with new name: -output_sail)Brian Campbell
2019-02-08Rewrite type definitions in rewrite_nexp_idsThomas Bauereiss
2019-02-07Fix implicits in v8.2 public ARM specAlasdair Armstrong
2019-02-06Emacs mode understands relationships between Sail filesAlasdair
2019-02-06Improve emacs modeAlasdair Armstrong
2019-02-06Fix some testsAlasdair Armstrong
2019-02-01Add tracing instrumention for SMTAlasdair Armstrong
2019-01-30Cache compilation results to improve build times for repeated buildsAlasdair
2019-01-29Fixes for full v8.5Alasdair Armstrong
2019-01-29Add an option to crudely slice a function out of a Sail modelBrian Campbell
2019-01-29Merge branch 'sail2' into asl_flow2Thomas Bauereiss
2019-01-21Add output directory option for generated Isabelle auxiliary theoriesThomas Bauereiss
2019-01-21Fix some issues with latex generation so manual builds againAlasdair Armstrong
2019-01-17Work around an issue with type abbreviations in HOLThomas Bauereiss
2019-01-14Add options for output directories for the lem and coq backends.Prashanth Mundkur
2019-01-14Add a function to perform re-writes in parallelAlasdair
2019-01-11Updates for sail-arm releaseAlasdair Armstrong
2019-01-08Improvements for v85Alasdair Armstrong
2018-12-26Some cleanupAlasdair Armstrong
2018-12-22Improve error messages and debuggingAlasdair Armstrong
2018-12-20Make sure sail -v prints useful version infoAlasdair Armstrong
2018-12-19Improve sizeof rewriting performanceAlasdair Armstrong
2018-12-14Add some experimental support for non-lexical flow-typing rulesAlasdair Armstrong
2018-12-13Add hooks to call cgen stub file for RISC-VAlasdair Armstrong
2018-12-06Re-factor initial checkAlasdair Armstrong
2018-11-30Remove constraint synonymsAlasdair Armstrong
2018-11-27Fix memory leak in string_of_bitsAlasdair Armstrong
2018-11-23C backend improvementsAlasdair Armstrong
2018-11-19Merge branch 'latex' into sail2Robert Norton
2018-11-16Various bugfixes and a simple profiling feature for rewritesAlasdair Armstrong
2018-11-15When outputing latex do not expand type synonyms in val specs during type check.Robert Norton
2018-11-09Improvements to latex generationAlasdair Armstrong
2018-11-06Fix bug with loop indices not being mapped to int64 in CAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-24Add constraint synonymsAlasdair Armstrong
2018-10-02Trigger random generator generation with a command line optionBrian Campbell
2018-10-02Rough code to generate random instructions for testingBrian Campbell
2018-09-20Tidy up help text for a few optionsBrian Campbell
2018-09-13C: Fix an issue with assigning to unitialized variables at end of blocksAlasdair Armstrong
2018-09-06Allow options to be set in the interactive modeAlasdair Armstrong
2018-09-04C: add an option to control generation of main().Prashanth Mundkur
2018-08-30Allow additional includes to be specified for C backend.Prashanth Mundkur
2018-08-23Fix interpreter after re-writer changeAlasdair Armstrong
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-01Coq: implicit range conversions for function arguments, debug tracingBrian Campbell
2018-07-25Remove unused internal AST nodesAlasdair Armstrong
2018-07-24Merge branch 'c_fixes' into sail2Alasdair Armstrong
2018-07-24Merge remote-tracking branch 'origin/sail2' into c_fixesAlasdair Armstrong
2018-07-24Move monomorphisation after mapping rewritesBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:53:43 +0000