| Age | Commit message (Expand) | Author |
|---|
| 2016-01-22 | mips: fix PC update logic so branches might work. | Robert Norton |
| 2016-01-22 | add some test elf files for mips (pinched from cheri test suite). | Robert Norton |
| 2016-01-21 | Start splitting values/etc into int/big_int for ocaml generation | Kathy Gray |
| 2016-01-21 | build mips interpreter with -g | Robert Norton |
| 2016-01-21 | mips interpreter successfully executes more than one instruction after some w... | Robert Norton |
| 2016-01-21 | mips: rename GPRs so that they sort lexicographically for display. | Robert Norton |
| 2016-01-20 | see writes to registers in the register file for sequential interpreter | Kathy Gray |
| 2016-01-20 | keep specified order of vectors... | Kathy Gray |
| 2016-01-20 | Assorted bug fixes that gets one mips instruction running (then fails for exp... | Kathy Gray |
| 2016-01-20 | trim some obsolete/bitrotted make stuff. | Robert Norton |
| 2016-01-20 | build all mips stuff in _build. Still hacky and might be preferable to use oc... | Robert Norton |
| 2016-01-20 | Decoding a mips instruction :) | Kathy Gray |
| 2016-01-20 | Show opcode in sequential interpreter when decode fails | Kathy Gray |
| 2016-01-19 | Put None and Some into interpreter environments | Kathy Gray |
| 2016-01-19 | hacky initial makery for mips interpreter. Builds stuff in wrong places and n... | Robert Norton |
| 2016-01-14 | small edit to previous commit | Kathy Gray |
| 2016-01-14 | Fix cumulative effects for circumstance when lifting variable introductions o... | Kathy Gray |
| 2016-01-13 | Closes issue #28 and issue #27 | Kathy Gray |
| 2016-01-12 | Fix undefined nvar occurrences that were impacting ARM | Kathy Gray |
| 2016-01-11 | Interpreter interface now supports option<ast> result from decode and etc ins... | Kathy Gray |
| 2016-01-11 | Interpreter that understands assert | Kathy Gray |
| 2016-01-07 | Add E_assert to basic rewriters | Kathy Gray |
| 2016-01-06 | Add new assert expression to Sail | Kathy Gray |
| 2015-12-22 | More make file goo, and fixing a typo in run_with_elf | Kathy Gray |
| 2015-12-22 | More gluing mips to interpreter | Kathy Gray |
| 2015-12-22 | Add mips64 to get_elf in Makefile | Robert Norton |
| 2015-12-21 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher |
| 2015-12-21 | fixes, pp progress | Christopher |
| 2015-12-17 | Remove external functions that the library provides, having added them to the... | Kathy Gray |
| 2015-12-16 | Fix a bug in checking vector accesses and ranges that was hiding some bugs, a... | Kathy Gray |
| 2015-12-16 | rewriter and pp changes for generating ARM output | Christopher |
| 2015-12-15 | better location information | Christopher |
| 2015-12-14 | Adding new location constructor for location of generated terms | Kathy Gray |
| 2015-12-10 | fix | Christopher |
| 2015-12-09 | adapted for Kathy's lexp effect typing changes: register writes should be cor... | Christopher |
| 2015-12-09 | Fix overlooked case of effect tagging for sub register writes. Close issue #2... | Kathy Gray |
| 2015-12-08 | wreg effects and tags now proper for LEXP_field, LEXP_vector LEXP_vector_rang... | Kathy Gray |
| 2015-12-08 | Some easy fixes to vector and list type inference. Closes issue #25 and issue... | Kathy Gray |
| 2015-12-07 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher |
| 2015-12-07 | adapted pp for Kathy's effect type changes | Christopher |
| 2015-12-07 | Interpreter working again with updated tag, effects, and types behaviour | Kathy Gray |
| 2015-12-07 | Reading of register slices and bits should now be tagged and effect annotated... | Kathy Gray |
| 2015-12-04 | First bit of making tags and effects on sub vector accesses work for static c... | Kathy Gray |
| 2015-12-03 | added prompt.lem for connecting to concurrency model and {power,armv8}_extras... | Christopher Pulte |
| 2015-11-25 | non-working sail/mips interpreter integration for kathy to look at and exampl... | Robert Norton |
| 2015-11-25 | fixes, pp | Christopher Pulte |
| 2015-11-24 | Fixup effect equality bug introduced by adding e_escape | Kathy Gray |
| 2015-11-24 | Add BE_escape effect when an E_exit is seen | Kathy Gray |
| 2015-11-22 | do effect annotation updates more systematically, fix dedup | Christopher Pulte |
| 2015-11-20 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher Pulte |
