summaryrefslogtreecommitdiff
path: root/src/ocaml_backend.ml
AgeCommit message (Expand)Author
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-01-16Allow effects on mappingsAlasdair Armstrong
2019-09-12Remove unnecessary copies of non-existant files in ocaml backend.Robert Norton
2019-06-19Make default ocaml main exit with non-zero exit code in case of uncaught exce...Robert Norton
2019-05-28Make sure single clause functions with top-level guards work correctlyAlasdair Armstrong
2019-05-14Add feature that allows functions to require type variables are constantAlasdair Armstrong
2019-04-15Merge branch 'sail2' of github.com:rems-project/sail into sail2Jon French
2019-04-15Merge branch 'sail2' into rmem_interpreterJon French
2019-04-15Basic loop termination measures for CoqBrian Campbell
2019-04-06Various bugfixes and improvementsAlasdair
2019-03-20Fix scattered mapping printing and output message for missing val specJyun-Yan You
2019-03-14Merge branch 'sail2' into rmem_interpreterJon French
2019-03-11Improve ocamldoc commentsAlasdair Armstrong
2019-02-25OCaml backend: omit function definitions for externsJon French
2019-02-25Merge branch 'sail2' into rmem_interpreterJon French
2019-02-22Progress on toFromInterp backendJon French
2019-02-19Refactor specializationAlasdair Armstrong
2019-02-14Don't do any rewrites when checking files for EmacsAlasdair Armstrong
2019-02-13Merge branch 'sail2' into rmem_interpreterJon French
2019-02-12Add a CHANGELOG fileAlasdair Armstrong
2019-02-06Fix some testsAlasdair Armstrong
2019-02-01Fix missing typedef cases in OCaml outputAlasdair
2019-01-11Updates for sail-arm releaseAlasdair Armstrong
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-12-27refactor val-spec AST to store externs as an assoc-list rather than a functio...Jon French
2018-12-26More cleanupAlasdair Armstrong
2018-12-20Make sure sail -v prints useful version infoAlasdair Armstrong
2018-12-14Add a few more tests for JenkinsAlasdair Armstrong
2018-12-08Compiling againAlasdair
2018-12-07Working on better flow typing for ASLAlasdair Armstrong
2018-12-04Remove FES_Fexps constructorAlasdair Armstrong
2018-11-26Add random generators for record typesBrian Campbell
2018-11-16Various bugfixes and a simple profiling feature for rewritesAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-31Improve error messages for unsolved function quantifiersAlasdair Armstrong
2018-10-16Merge branch 'sail2' into rmem_interpreterJon French
2018-10-15Ocaml backend: omit function definitions for externsJon French
2018-10-11Change the function type in the ASTAlasdair
2018-10-08Produce lists of constructors and ast building functions for test generationBrian Campbell
2018-10-04Bit of commentary, proper TODO errorBrian Campbell
2018-10-03Drop unnecessary thunking; more trouble than it's worthBrian Campbell
2018-10-02Tidy up some whitespaceBrian Campbell
2018-10-02Clean up generator pretty printingBrian Campbell
2018-10-02Remove some old debugging messagesBrian Campbell
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-12Jenkins: Fix deprecation warningsAlasdair Armstrong
2018-09-10Various fixesAlasdair Armstrong
2018-08-28fix some compiler not-matched warnings about Typ_bidir and Typ_internal_unknownJon French
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:01:58 +0000