summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2018-10-16Merge branch 'sail2' into rmem_interpreterJon French
2018-10-15Add interpreted RISC-V model to test suiteJon French
2018-10-12Prevent accidental test failures when Coq compiles in the wrong orderBrian Campbell
2018-09-28Add a regression test for bug in commit 88b25e9Alasdair Armstrong
2018-09-27Add an additional type checking testAlasdair Armstrong
2018-09-21Remove cheri and mips specs -- they now have their own repository.Robert Norton
2018-09-13C: Fix an issue with assigning to unitialized variables at end of blocksAlasdair Armstrong
2018-09-12Jenkins: Fix deprecation warningsAlasdair Armstrong
2018-09-10Various fixesAlasdair Armstrong
2018-09-07Jenkins: Fix Jenkins issue with RISC-V test suiteAlasdair Armstrong
2018-09-07RISCV: Run RISC-V tests using version compiled to CAlasdair Armstrong
2018-09-06C: Fix a bug with shadowing in nested let-bindingsAlasdair
2018-08-30C: Fix a bug where function argument type becomes more specific due to flow t...Alasdair Armstrong
2018-08-30C: Fix an issue with struct field being generalised inside polymorphic constr...Alasdair Armstrong
2018-08-29C: Fix some issues with tuples as arguments to polymorphic constructorsAlasdair Armstrong
2018-08-24Fix rewriter issuesAlasdair Armstrong
2018-08-23Fix interpreter after re-writer changeAlasdair Armstrong
2018-08-22Fix a bug in nested vector concatenation patternsAlasdair Armstrong
2018-08-21C: Correctly handle the kinds of patterns generated by mappingsAlasdair Armstrong
2018-08-20Refactor tuple conversions in Sail to C compilationAlasdair Armstrong
2018-08-20Add some more test cases for C compilationAlasdair Armstrong
2018-08-18Correctly handle specialising polymorphic types in nested unionsAlasdair
2018-08-18Correctly specialise type annotation in polymorphic functionsAlasdair
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-16Ressurect builtin tests, and add parallel test runner scriptAlasdair Armstrong
2018-08-14Improve error messages from C backend, and fix issues with assigning to pointersAlasdair Armstrong
2018-08-14Merge remote-tracking branch 'origin/sail2' into polymorphic_variantsAlasdair Armstrong
2018-08-13Sort ctype_defs in dependency order after specialisationAlasdair
2018-08-09Fix a bug by ensuring that monomorphic variant constructors do not get lifted...Alasdair Armstrong
2018-08-09Fix bugs involving multi-argument variant type constructorsAlasdair Armstrong
2018-08-07Lem: print more bitvector typesBrian Campbell
2018-08-06Add a simple test case for polymorphic variant typeAlasdair Armstrong
2018-07-27Coq: patterns on bit literalsBrian Campbell
2018-07-26Some tweaks to not and or patternsAlasdair Armstrong
2018-07-24Merge branch 'c_fixes' into sail2Alasdair Armstrong
2018-07-24Merge remote-tracking branch 'origin/sail2' into c_fixesAlasdair Armstrong
2018-07-24Move monomorphisation after mapping rewritesBrian Campbell
2018-07-23Coq test for a few non-trivial atom typesBrian Campbell
2018-07-23Coq: make all pattern matches in the output exhaustiveBrian Campbell
2018-07-12make unziping freebsd kernel more robust if run again.Robert Norton
2018-07-12Fixes for ARM Sail tests, and get_time_ns for interpreterAlasdair
2018-07-11Add FreeBSD boot to mips test suite.Robert Norton
2018-07-11Update CHERI code extraction from IsabelleThomas Bauereiss
2018-07-09Update CHERI code generation from IsabelleThomas Bauereiss
2018-07-09Simplify treating of undefined_bool in Lem libraryThomas Bauereiss
2018-07-07Add the lrsc tests from riscv-tests.Prashanth Mundkur
2018-07-07Coq: bbv have reorganised their repositoryBrian Campbell
2018-07-05Fix equality comparisons for structsAlasdair
2018-07-05Fix CHERI test that was failing when compiled to CAlasdair Armstrong
2018-07-03Fix a bug in foreach loopsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 08:13:15 +0000