summaryrefslogtreecommitdiff
path: root/test/typecheck
AgeCommit message (Expand)Author
2019-02-11Add an additional test caseAlasdair
2019-02-11Add tests for implicit argumentsAlasdair Armstrong
2019-02-08Add parameterization support for bitfields.Prashanth Mundkur
2019-02-08Updates for asl_parserAlasdair Armstrong
2019-02-07Fix implicits in v8.2 public ARM specAlasdair Armstrong
2019-02-06Add typechecking test from MarkAlasdair Armstrong
2019-02-06Fix some testsAlasdair Armstrong
2019-02-01Add test cases for integer synonymsAlasdair
2019-01-29Merge branch 'sail2' into asl_flow2Thomas Bauereiss
2019-01-25Coq: add enough to generate some output for arm-v8.5-aBrian Campbell
2019-01-22Add some more test casesAlasdair Armstrong
2019-01-08Improvements for v85Alasdair Armstrong
2018-12-26More error messages improvmentsAlasdair Armstrong
2018-12-22Improve error messages and debuggingAlasdair Armstrong
2018-12-18Ensure type-variables have consistent namesAlasdair
2018-12-18Revert "Experiment with generating type variable names in a repeatable way"Alasdair
2018-12-18Experiment with generating type variable names in a repeatable wayAlasdair Armstrong
2018-12-18Store function instantiation information within annotations, so we don'tAlasdair
2018-12-17Changes for ASL parserAlasdair Armstrong
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-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-11-30Remove constraint synonymsAlasdair Armstrong
2018-11-30Parser tweaks and fixesAlasdair 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-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-01Changes to enable analysing type errors in ASL parserAlasdair Armstrong
2018-10-24Add constraint synonymsAlasdair Armstrong
2018-09-27Add an additional type checking testAlasdair Armstrong
2018-09-12Jenkins: Fix deprecation warningsAlasdair Armstrong
2018-07-26Some tweaks to not and or patternsAlasdair Armstrong
2018-06-11actually fix exist_pattern testJon French
2018-06-11fix test exist_pattern.sail -- lem needed much more of the stdlib to be importedJon French
2018-06-06Some work on improving error messagesAlasdair Armstrong
2018-05-24Revert "Allow instantiation of type or order type variables without kind decl...Brian Campbell
2018-05-12Fix bug in handling of registers with option typeThomas Bauereiss
2018-05-09Run ARM built-in tests for Lem backend (via OCaml)Thomas Bauereiss
2018-05-03Flow typing and l-expression changes for ASL parserAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:17:16 +0000