summaryrefslogtreecommitdiff
path: root/src/myocamlbuild.ml
AgeCommit message (Expand)Author
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-03-09 09:27:26 +0000