summaryrefslogtreecommitdiff
path: root/src/ocaml_backend.ml
AgeCommit message (Expand)Author
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-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-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
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-16Remove unused ref typeAlasdair Armstrong
2018-08-07Revert "Warnings: deal with all the deprecation warnings"Alasdair Armstrong
2018-07-26Warnings: deal with all the deprecation warningsAlastair Reid
2018-07-12Fix bug for large integers in OCaml compilationAlasdair Armstrong
2018-06-28Add option to build ocaml with bisect_ppx coverage support. Add cheri targets...Robert Norton
2018-06-26Add configuration registers so __SetConfig ASL can be translatedAlasdair Armstrong
2018-06-19Minor optimization in ocaml_backend to use ints instead of strings for Big_in...Prashanth Mundkur
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-05-31Some tweaks to ocaml compilation and sail_lib for ARM with system registersAlasdair Armstrong
2018-05-22Fix for E_cons not being compiled correctly into OCamlAlasdair Armstrong
2018-05-21Add an -ocaml-nobuild option to avoid building the generated ocaml by default...Prashanth Mundkur
2018-05-18Avoid split_on_char function that was introduced in OCaml 4.04. Use Util vers...Robert Norton
2018-04-26Add a new SHARE_DIR argument to use when doing opam build. For non-opam build...Robert Norton
2018-04-26Opam packaging: add install and uninstall targets and code to find various fi...Robert Norton
2018-03-15Sail now exits with code 1 when OCaml fails to compile generated codeAlasdair Armstrong
2018-03-07Make union types consistent in the ASTAlasdair Armstrong
2018-03-02Fix off-by-one error in OCaml for loop compilationAlasdair Armstrong
2018-03-01Fix polymorphic functions annotations in OCaml compilationAlasdair Armstrong
2018-02-28Use topological sorting for OCaml backendThomas Bauereiss
2018-01-29Fix a bug where structs containing unions would generate bad to_string functionsAlasdair Armstrong
2018-01-25Fix -ocaml_trace optionAlasdair Armstrong
2018-01-23Started working on C backend for sailAlasdair Armstrong
2018-01-22Update and fix test suiteAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 13:05:50 +0000