summaryrefslogtreecommitdiff
path: root/src/Makefile
AgeCommit message (Expand)Author
2015-11-19typo in make fileKathy Gray
2015-11-18Update makefile for elfKathy Gray
2015-11-17Very nearly there sequential interpreter, just need to hook in the spec files...Kathy Gray
2015-11-12Incorporating elf into sequential interpreterKathy Gray
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-11-10Print contents of the [_] hole when it's available.Kathy Gray
2014-11-07stop using LEMLIB in makefile, in case that's interfering with lem library pl...Kathy Gray
2014-10-30Pull in updated elf model, make build work again (at least for me)Kathy Gray
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-09-29Connect up to elf model; which doesn't seem to be representing the elf file p...Kathy Gray
2014-09-29Add in elf model from Dominic/Stephen. Make run_power build again. Does not e...Kathy Gray
2014-08-13Kathy, Peter tweak Makefile for interactive demo and src/myocamlbuild.ml to t...Peter Sewell
2014-07-25Update make file to make clean from top level directory, and to not build all...Kathy Gray
2014-07-03Introduce a Sail libraryGabriel Kerneis
2014-06-26Remove .native in make cleanGabriel Kerneis
2014-06-10Minor color and build tweaksGabriel Kerneis
2014-06-10More robust build systemGabriel Kerneis
2014-06-02Fix dependent-type for MEM in power.sailGabriel Kerneis
2014-05-30Add pretty-printer test (idempotence)Gabriel Kerneis
2014-04-23Rename main to sail, build pretty_printer libGabriel Kerneis
2014-04-23make docGabriel Kerneis
2014-04-02Skip constraint resolution to build Power modelGabriel Kerneis
2014-02-28Do not build power test by defaultGabriel Kerneis
2014-02-28Fetch-decode POWER interpreterGabriel Kerneis
2014-02-28Load ELF sections to virtual memory addressesGabriel Kerneis
2014-02-27Load POWER binary into interpreter's memoryGabriel Kerneis
2013-11-11Remove lem-lib hackGabriel Kerneis
2013-11-07Port L2 to new LemGabriel Kerneis
2013-10-10make test targetGabriel Kerneis
2013-10-10Stub test suiteGabriel Kerneis
2013-10-10Use ocamlbuild, no findlib requiredGabriel Kerneis
2013-10-08More makefile infrastructureGabriel Kerneis
2013-07-12Parser in progress, and more src files for plumbing parsing, lexing and event...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:58:15 +0000