summaryrefslogtreecommitdiff
path: root/test/typecheck
AgeCommit message (Expand)Author
2019-08-14Update testsThomas Bauereiss
2019-08-02Fix up some edge cases with the bitvector/polyvector splitBrian Campbell
2019-07-17Add another test caseAlasdair Armstrong
2019-07-16Merge remote-tracking branch 'origin/sail2' into separate_bvAlasdair Armstrong
2019-06-18Update test casesThomas Bauereiss
2019-06-10Add well-formedness check for type schemes in valspecs.Brian Campbell
2019-06-05Add some regression testsAlasdair
2019-06-04Merge branch 'sail2' into separate_bvAlasdair Armstrong
2019-05-28Fix typechecking test expected errorAlasdair Armstrong
2019-05-17Experiment with making vector and bitvector distinct typesAlasdair Armstrong
2019-05-14Fix test case for previous commitAlasdair Armstrong
2019-05-14Various bugfixesAlasdair Armstrong
2019-05-14Add feature that allows functions to require type variables are constantAlasdair Armstrong
2019-05-07Merge branch 'sail2' into smt_experimentsAlasdair Armstrong
2019-04-26Fix boolean short-circuiting operators causing some flow-typing unsoundnessAlasdair Armstrong
2019-04-15Fix: Allow zero-length vector literalsAlasdair Armstrong
2019-04-06Various bugfixes and improvementsAlasdair
2019-03-22Tidy up of div and mod operators (C implementation was previously inconsisten...Robert Norton
2019-03-15Fix testsThomas Bauereiss
2019-03-14Add various useful methods to interactive modeAlasdair Armstrong
2019-03-08Fix: Never consider single variable types to be ambiguousAlasdair
2019-03-05Add forgotten recursive function testBrian Campbell
2019-03-04Fix execute splitting to work when constructors have constraints.Alasdair Armstrong
2019-03-04Do not store type synonyms as functions in the environmentAlasdair Armstrong
2019-03-01Add some tricky test cases for quantified Sail AST typesAlasdair Armstrong
2019-03-01Add a test case for previous commitAlasdair Armstrong
2019-03-01Make Sail more flexible with existentials in union typesAlasdair Armstrong
2019-02-25Update some test case error messagesAlasdair Armstrong
2019-02-20Fix bug with missing satisfiablity check in subtypingAlasdair
2019-02-18Add option to linearize constraints containing exponentialsAlasdair Armstrong
2019-02-15Fix bug in Int-synonym expansionAlasdair Armstrong
2019-02-15Use multiple solversAlasdair
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:34:29 +0000