summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2016-01-27Make mips build againKathy Gray
2016-01-27Fix issue where constraint solver wasn't rewriting enough equality constraint...Kathy Gray
2016-01-27start adding breakpointKathy Gray
2016-01-26Stop turning all decreasing vectors into indexed ones : i.e. let's print them...Kathy Gray
2016-01-26fix starting indices for mips initial register values.Robert Norton
2016-01-26Fix some bugs in writing registers with slices in the sequential interpreterKathy Gray
2016-01-26tweak to dependencies to hopefully reduce need to rebuild mips.sail.Robert Norton
2016-01-26Add example of test which dies whilst trying to throw exception.Robert Norton
2016-01-26print reg dump in correct format for cheri test suite. Reinstate timing of ex...Robert Norton
2016-01-26Fix problem in run_with_model where we forgot that ppcmem2 treats everything ...Kathy Gray
2016-01-26move closer to power.sail -> power.ml outputKathy Gray
2016-01-26add example of mips test which fails with first instruction (jal)Robert Norton
2016-01-26dump registers in format expected by cheri test suite when halting. Remove di...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-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-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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 23:05:05 +0000