summaryrefslogtreecommitdiff
path: root/src/test
AgeCommit message (Expand)Author
2016-02-03add example of elf file which fails to load due to linksem error: get_elf64_g...Robert Norton
2016-01-29mips.sail: it turns out that all sail comparisons are signed contrary to manu...Robert Norton
2016-01-28Add test for sltu. Fixed decode function which was returning wrong ast node b...Robert Norton
2016-01-28add test exposing problem with ddiv.Robert Norton
2016-01-26Add example of test which dies whilst trying to throw exception.Robert Norton
2016-01-26add example of mips test which fails with first instruction (jal)Robert Norton
2016-01-22add some test elf files for mips (pinched from cheri test suite).Robert Norton
2015-12-21fixes, pp progressChristopher
2015-12-15better location informationChristopher
2015-11-25non-working sail/mips interpreter integration for kathy to look at and exampl...Robert Norton
2015-11-05some progress on lem backend: rewrite away mutable variable assignments, rewr...Christopher Pulte
2015-10-20Fixing bugs in pretty printer to ocamlKathy Gray
2015-10-17clean up, more readabilityChristopher Pulte
2015-10-05added funcl pattern rewriting to remove vector concat patternsChristopher Pulte
2014-11-27updated test for power.sailKathy Gray
2014-11-19Correct off-by-one bug in type checking vector slicesKathy Gray
2014-11-16Add overflow checking arithmetic operations. Fix various bugs that this exposedKathy Gray
2014-11-12Stop overzealously looking for constructors, only when the type suggests toKathy Gray
2014-11-04Fixes bugs:Kathy Gray
2014-11-04setup printing for memory on testsKathy Gray
2014-10-31Add a num to bits function; start hooking up the power.ml file to the symbol/...Kathy Gray
2014-10-30Pull in updated elf model, make build work again (at least for me)Kathy Gray
2014-10-27Correct externally visible endianness bugsKathy Gray
2014-10-27debugging tempKathy Gray
2014-10-27add objdump disassembly of hello4 executablePeter Sewell
2014-10-27source and assembly of test hello4Kathy Gray
2014-10-27Add printing for instruction formKathy Gray
2014-10-22Update printing for testing, fix some bugs found along the wayKathy Gray
2014-10-20Separate out printing facility from model driver into printing_functions int...Kathy Gray
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-15Get the actual start address instead of the address of the start addressKathy Gray
2014-10-15Fixup printing on dumping memory to a lem fileKathy Gray
2014-10-15Add ability to print out binary as lem file of memory dump instead of running...Kathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-10-10make run_power.ml compile againKathy Gray
2014-09-30Executing an actual elf fileKathy Gray
2014-09-29Connect up to elf model; which doesn't seem to be representing the elf file p...Kathy Gray
2014-09-29add run_power to last commitKathy Gray
2014-09-04Refine overloading resolution with respect to vectors and rangesKathy Gray
2014-08-28fixes to bugs exposed by arm modelKathy Gray
2014-08-27Changes to get another (slightly larger) executable running;Kathy Gray
2014-08-26small changes for armKathy Gray
2014-08-20Add ability to track register dependencies in interactive stepper; thus testi...Kathy Gray
2014-08-19make test_power_interactive working again; now using interp_interface instead...Kathy Gray
2014-08-19Add file that actually drives command line interpreterKathy Gray
2014-08-18Handling many register reads, writes, and memory reads.Kathy Gray
2014-08-18Switch run_power to use interp_interface. Compilers and begins running, and t...Kathy Gray
2014-08-07Fix bug introduced by last commitKathy Gray
2014-08-07Track taints across machine calls.Kathy Gray
2014-08-01Support separated memory read/write functions.Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 07:41:04 +0000