| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-04-08 | makefile changes to keep up with lem ocaml-lib changes | Kathy Gray | |
| 2014-11-10 | Print contents of the [_] hole when it's available. | Kathy Gray | |
| Also correct makefile typo | |||
| 2014-11-07 | stop using LEMLIB in makefile, in case that's interfering with lem library ↵ | Kathy Gray | |
| placement, switch to LEMLIBOCAML | |||
| 2014-10-30 | Pull in updated elf model, make build work again (at least for me) | Kathy Gray | |
| 2014-10-16 | bug fixes to run test from Christopher's tests | Kathy Gray | |
| 2014-10-14 | Iron out bugs in running new executable with branching; add new executable ↵ | Kathy Gray | |
| as well. | |||
| 2014-09-29 | Connect up to elf model; which doesn't seem to be representing the elf file ↵ | Kathy Gray | |
| properly yet but run_power.native is connected to it | |||
| 2014-09-29 | Add in elf model from Dominic/Stephen. Make run_power build again. Does not ↵ | Kathy Gray | |
| effectively use elf model yet | |||
| 2014-08-13 | Kathy, Peter tweak Makefile for interactive demo and src/myocamlbuild.ml to ↵ | Peter Sewell | |
| temporarily use other version of Lem | |||
| 2014-07-25 | Update make file to make clean from top level directory, and to not build ↵ | Kathy Gray | |
| all tests on all. Instead there is a make full command to make all the tests as well as everything. | |||
| 2014-07-03 | Introduce a Sail library | Gabriel Kerneis | |
| Used by the Power XML extraction tool. | |||
| 2014-06-26 | Remove .native in make clean | Gabriel Kerneis | |
| 2014-06-10 | Minor color and build tweaks | Gabriel Kerneis | |
| 2014-06-10 | More robust build system | Gabriel Kerneis | |
| 2014-06-02 | Fix dependent-type for MEM in power.sail | Gabriel Kerneis | |
| Now, constraint resolution works for test/power.sail | |||
| 2014-05-30 | Add pretty-printer test (idempotence) | Gabriel Kerneis | |
| Fails in most cases because of "fresh" variables in type annotations that cannot be parsed again. | |||
| 2014-04-23 | Rename main to sail, build pretty_printer lib | Gabriel Kerneis | |
| 2014-04-23 | make doc | Gabriel Kerneis | |
| Build html doc of module interface | |||
| 2014-04-02 | Skip constraint resolution to build Power model | Gabriel Kerneis | |
| 2014-02-28 | Do not build power test by default | Gabriel Kerneis | |
| 2014-02-28 | Fetch-decode POWER interpreter | Gabriel Kerneis | |
| Many limitations and bugs currently, but loads binary and decodes opcodes correctly (using endianness hacks). Disabled in the default test suite (but still compiled), run "make test_power" to try it. | |||
| 2014-02-28 | Load ELF sections to virtual memory addresses | Gabriel Kerneis | |
| Roughly 110KB/s (~5 seconds to load "hello" test). | |||
| 2014-02-27 | Load POWER binary into interpreter's memory | Gabriel Kerneis | |
| 2013-11-11 | Remove lem-lib hack | Gabriel Kerneis | |
| Lem has now switched to the new library by default (remember to "make ocaml-libs" in Lem to build it). | |||
| 2013-11-07 | Port L2 to new Lem | Gabriel Kerneis | |
| Tests compile and run properly. There is a lot of hackery going on to workaround the rough edges of new Lem. Use at your own risk (you need the "library-format" branch of lem). | |||
| 2013-10-10 | make test target | Gabriel Kerneis | |
| 2013-10-10 | Stub test suite | Gabriel Kerneis | |
| 2013-10-10 | Use ocamlbuild, no findlib required | Gabriel Kerneis | |
| 2013-10-08 | More makefile infrastructure | Gabriel Kerneis | |
| You need the latest version of Lem for this to work (requires lem/ocaml-lib/META.lem). | |||
| 2013-07-12 | Parser in progress, and more src files for plumbing parsing, lexing and ↵ | Kathy Gray | |
| eventual type checking together | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |