summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-01-25mips.sail: modify overflow check to do exactly what is described in the spec....Robert Norton
2016-01-22mips: revert accidental removal of overflow check from daddi. It is broken bu...Robert Norton
2016-01-22mips: fix PC update logic so branches might work.Robert Norton
2016-01-22add some test elf files for mips (pinched from cheri test suite).Robert Norton
2016-01-21mips.sail: fix alignment check for memory accesses.Robert Norton
2016-01-21add another encoding for HCF instruction and add execute clause -> first comp...Robert Norton
2016-01-21Start splitting values/etc into int/big_int for ocaml generationKathy Gray
2016-01-21build mips interpreter with -gRobert Norton
2016-01-21mips interpreter successfully executes more than one instruction after some w...Robert Norton
2016-01-21mips: rename GPRs so that they sort lexicographically for display.Robert Norton
2016-01-20see writes to registers in the register file for sequential interpreterKathy Gray
2016-01-20keep specified order of vectors...Kathy Gray
2016-01-20Assorted bug fixes that gets one mips instruction running (then fails for exp...Kathy Gray
2016-01-20trim some obsolete/bitrotted make stuff.Robert Norton
2016-01-20build all mips stuff in _build. Still hacky and might be preferable to use oc...Robert Norton
2016-01-20Decoding a mips instruction :)Kathy Gray
2016-01-20Show opcode in sequential interpreter when decode failsKathy Gray
2016-01-19Put None and Some into interpreter environmentsKathy Gray
2016-01-19hacky initial makery for mips interpreter. Builds stuff in wrong places and n...Robert Norton
2016-01-15mips.sail: Add commented out alternative DSLLV implementation using bitslicin...Robert Norton
2016-01-14small edit to previous commitKathy Gray
2016-01-14Fix cumulative effects for circumstance when lifting variable introductions o...Kathy Gray
2016-01-13Closes issue #28 and issue #27Kathy Gray
2016-01-12Fix undefined nvar occurrences that were impacting ARMKathy Gray
2016-01-11Interpreter interface now supports option<ast> result from decode and etc ins...Kathy Gray
2016-01-11Interpreter that understands assertKathy Gray
2016-01-07make mips.sail pass sail type checker againKathy Gray
2016-01-07Add E_assert to basic rewritersKathy Gray
2016-01-06Add new assert expression to SailKathy Gray
2015-12-22More make file goo, and fixing a typo in run_with_elfKathy Gray
2015-12-22More gluing mips to interpreterKathy Gray
2015-12-22Add mips64 to get_elf in MakefileRobert Norton
2015-12-21Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2Christopher
2015-12-21fixes, pp progressChristopher
2015-12-17Remove external functions that the library provides, having added them to the...Kathy Gray
2015-12-17First bit of gluing mips onto interpreter and eventually ppcmem infrastructureKathy Gray
2015-12-16Fix a bug in checking vector accesses and ranges that was hiding some bugs, a...Kathy Gray
2015-12-16rewriter and pp changes for generating ARM outputChristopher
2015-12-15better location informationChristopher
2015-12-14Adding new location constructor for location of generated termsKathy Gray
2015-12-10fixChristopher
2015-12-09adapted for Kathy's lexp effect typing changes: register writes should be cor...Christopher
2015-12-09Fix overlooked case of effect tagging for sub register writes. Close issue #2...Kathy Gray
2015-12-08wreg effects and tags now proper for LEXP_field, LEXP_vector LEXP_vector_rang...Kathy Gray
2015-12-08Some easy fixes to vector and list type inference. Closes issue #25 and issue...Kathy Gray
2015-12-07Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2Christopher
2015-12-07adapted pp for Kathy's effect type changesChristopher
2015-12-07Interpreter working again with updated tag, effects, and types behaviourKathy Gray
2015-12-07Reading of register slices and bits should now be tagged and effect annotated...Kathy Gray
2015-12-04First bit of making tags and effects on sub vector accesses work for static c...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 09:43:31 +0000