| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |