summaryrefslogtreecommitdiff
path: root/src/test
AgeCommit message (Expand)Author
2018-08-01Remove old test directory in src/testAlasdair Armstrong
2018-07-09Changes for anonymisation. Ensure headers are in correct format. Remove some ...Robert Norton
2018-02-17Merge master branch into sail2 for OCaml 4.06 compatibilityThomas Bauereiss
2017-12-28use ocamlfind to locate lem and zarith (missed this Makefile)Shaked Flur
2017-08-17Merge remote-tracking branch 'origin' into mono-experimentsBrian Campbell
2017-08-02fix sail library test interpreter glue for API change. Also fix build_context...Robert Norton
2017-08-01Modified the typechecker for ASL generationAlasdair Armstrong
2017-07-19split library tests into separate files to avoid risk of sail compiler stack ...Robert Norton
2017-07-19borrow some of aa's bash code to convert library test suite output to junit ...Robert Norton
2017-07-06Tests for (almost) all sail builtins. Many interesting things discovered. Lib...Robert Norton
2017-07-04further testing of sail library.Robert Norton
2017-06-30add more tests for sail library. Can't compile entire file due to sail perfor...Robert Norton
2017-06-29beginnings of a sail library test suite.Robert Norton
2017-01-27failing test with c128Robert Norton
2016-10-10changed the way registers/register fields work, fixes, nicer names for new le...Christopher Pulte
2016-09-21fixesChristopher Pulte
2016-09-07push some lem pp changesChristopher Pulte
2016-07-12sail-to-lem and lem library fixesChristopher
2016-06-07add a test for failing TLB translation during instruction fetch.Robert Norton
2016-06-06remove mips test elf files no longer expected to work due to having incorrect...Robert Norton
2016-06-06add test for failing tlb translation using current sail.Robert Norton
2016-06-03Add test demonstrating recently introduced regression where tlb match fail.Robert Norton
2016-05-09commit test which fails due to not writing C31.offset in TranslateAddress.Robert Norton
2016-04-15add cheri test for tagged memory.Robert Norton
2016-04-13add failing test from cheri test suite.Robert Norton
2016-03-09add elf file with capability instructionsRobert Norton
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 21:24:39 +0000