summaryrefslogtreecommitdiff
path: root/src/myocamlbuild.ml
AgeCommit message (Expand)Author
2020-01-28Use external PPrintThomas Bauereiss
2019-01-03Comment out bisect coverage in ocamlbuild filesAlasdair Armstrong
2018-12-26Add makefile target for building with Bisect coverageAlasdair Armstrong
2018-04-26Make ocamlbuild assume lem is in path instead of relative to current directory.Robert Norton
2018-03-02Use sail_lib.lem values in C backendAlasdair Armstrong
2018-01-11Ocaml semantics can now run aarch64 hello world example using octapodAlasdair Armstrong
2018-01-05Moved parser, lexer and pretty printer to correct locations.Alasdair Armstrong
2017-12-13Merge remote-tracking branch 'origin/master' into interactiveAlasdair Armstrong
2017-12-13find zarith using ocamlfind instead of using the one in ocaml-lib which is no...Shaked Flur
2017-12-11Prototype interactive mode for sail.Alasdair Armstrong
2017-12-05Update header files on masterAlasdair Armstrong
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-08-11Menhir for new parser, ocamlyacc for oldBrian Campbell
2017-02-03fix headersPeter Sewell
2016-01-20trim some obsolete/bitrotted make stuff.Robert Norton
2015-11-10Update tag for register write in nested lexpKathy Gray
2015-04-08makefile changes to keep up with lem ocaml-lib changesKathy Gray
2014-08-24Use LEM_DIR environment variable if definedGabriel Kerneis
2014-08-21Allow command line interface to exhaustively evaluate the next step, printing...Kathy Gray
2014-08-20Add ability to track register dependencies in interactive stepper; thus testi...Kathy Gray
2014-08-13Silence some lem warnings in compilation.Kathy Gray
2014-08-13Kathy, Peter tweak Makefile for interactive demo and src/myocamlbuild.ml to t...Peter Sewell
2014-05-12OCamlbuild magic to use PPrintGabriel Kerneis
2014-04-23Rename main to sail, build pretty_printer libGabriel Kerneis
2014-04-02Skip constraint resolution to build Power modelGabriel Kerneis
2013-11-07Port L2 to new LemGabriel Kerneis
2013-11-07Stub for external callsGabriel Kerneis
2013-10-10Use ocamlbuild, no findlib requiredGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:12:16 +0000