summaryrefslogtreecommitdiff
path: root/src/ocaml_backend.ml
AgeCommit message (Expand)Author
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
2018-01-18Modified ocaml backend to use ocamlfind for linksem and lemAlasdair Armstrong
2018-01-12Interpreter can now pass local values by referenceAlasdair Armstrong
2018-01-11Ocaml semantics can now run aarch64 hello world example using octapodAlasdair Armstrong
2018-01-04Additional tests for ocaml backendAlasdair Armstrong
2018-01-02Experimenting with power specAlasdair Armstrong
2017-12-14An experimental version of sail without bitvector start indexes.Alasdair Armstrong
2017-12-13Cleanup code by fixing compiler warnings, and fix ocaml compilationAlasdair Armstrong
2017-12-13Use big_nums from LemAlasdair Armstrong
2017-12-07More OCaml test casesAlasdair Armstrong
2017-12-06Add top-level pattern match guards internallyBrian Campbell
2017-12-05Better support for exceptions in sail for ASL specs that need them.Alasdair Armstrong
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-27Split rewriter into separate rewriting library and rewrite passesAlasdair Armstrong
2017-11-27Compile assertions into OCamlAlasdair Armstrong
2017-11-24Use unbound precision big_ints throughout sail.Alasdair Armstrong
2017-11-16Remove unused Typ_wild constructorAlasdair Armstrong
2017-11-10Fixed ocaml backend so it correctly compiles registers passed by name.Alasdair Armstrong
2017-11-08Allow functions to be selectively declared external only for some backendsThomas Bauereiss
2017-11-08Allow for different extern names for different backendsAlasdair Armstrong
2017-11-03Fix ocaml test suiteAlasdair Armstrong
2017-10-31Improvements to register read tracing in ocaml backendAlasdair Armstrong
2017-10-27Fixed some ocaml backend related bugsAlasdair Armstrong
2017-10-26Updated ocaml backend so tracing instrumentation is optional.Alasdair Armstrong
2017-10-23Added support for better tracing in ocaml backendAlasdair Armstrong
2017-10-18Fixes and updates to ocaml backend to compile aarch64_no_vectorAlasdair Armstrong
2017-10-09Improvements to menhir pretty printer and ocaml backendAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 11:06:59 +0000