summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2019-01-31Monomorphisation: improve cast insertion and nexp rewriting on variantsBrian Campbell
2019-01-31Support case splitting on variables as well as sizeof in cast introductionBrian Campbell
2019-01-22Add some more test casesAlasdair Armstrong
2019-01-21Pass Lem library path to IsabelleThomas Bauereiss
2019-01-21Don't require manual set up of Isabelle session directoriesThomas Bauereiss
2018-12-27Coq: avoid putting ambiguous numeric literals in Coq outputBrian Campbell
2018-12-27Coq: fix name clashes and instantiation calculationBrian Campbell
2018-12-20RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ...Robert Norton
2018-12-19Coq: handle pairs of ranges (and other existential types) properlyBrian Campbell
2018-12-14Add some experimental support for non-lexical flow-typing rulesAlasdair Armstrong
2018-12-14Add a few more tests for JenkinsAlasdair Armstrong
2018-12-14A few additional testsAlasdair
2018-12-12Fix some small bugsAlasdair
2018-12-12Add parallelism limit to C and builtins testAlasdair Armstrong
2018-12-12Add a test for flow typing as found in the ARM 32-bit instructionsAlasdair Armstrong
2018-12-12Add a test case for various simple boolean propertiesAlasdair Armstrong
2018-12-12Get typechecking example with boolean argument flow-typing workingAlasdair
2018-12-11Fix all tests with type checking changesAlasdair Armstrong
2018-12-11Fix most remaining tests on branchAlasdair
2018-12-10Various changes:Alasdair Armstrong
2018-12-08Compiling againAlasdair
2018-12-06Re-factor initial checkAlasdair Armstrong
2018-12-03Fix = / == in a couple of monomorphisation testsBrian Campbell
2018-11-30Remove constraint synonymsAlasdair Armstrong
2018-11-30Parser tweaks and fixesAlasdair Armstrong
2018-11-28Allow folding constant expressions into single register readsAlasdair
2018-11-27Fix memory leak in string_of_bitsAlasdair Armstrong
2018-11-27Add an optimisation pass to combine variables if possibleAlasdair Armstrong
2018-11-23Introduce intermediate bitvector representation in CAlasdair Armstrong
2018-11-20Add a test case for a struct with a constrained type variableAlasdair Armstrong
2018-11-20Add full constraints for vector updatesBrian Campbell
2018-11-19Commit the Sail file for config register test not the outputAlasdair Armstrong
2018-11-19Ensure sizeof re-writing occurs for configuration registersAlasdair Armstrong
2018-11-19Add missing constraints on bitvector_access, with regression test.Fixes #24.Robert Norton
2018-11-12Make type checker smarter at inferring l-expressionsAlasdair Armstrong
2018-11-09Add test case for passing register referencesThomas Bauereiss
2018-11-07Move inline forall in function definitionsAlasdair Armstrong
2018-11-06Fix bug with loop indices not being mapped to int64 in CAlasdair Armstrong
2018-11-05Add a regression test for issue #22Alasdair Armstrong
2018-11-01Changes to enable analysing type errors in ASL parserAlasdair Armstrong
2018-10-29Merge pull request #21 from rems-project/riscv_c_platformAlasdair Armstrong
2018-10-24Add constraint synonymsAlasdair Armstrong
2018-10-23RISC-V: switch c tests to use the C platform simulator; update .gitignore.Prashanth Mundkur
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:08:40 +0000