summaryrefslogtreecommitdiff
path: root/test/typecheck
AgeCommit message (Expand)Author
2021-01-05Enum value feature request for AlexandreAlasdair
2021-01-05Don't allow type synonyms with the same name as existing typesAlasdair
2020-11-25Remove bogus pattern completeness warning on singleton enums and unionsBrian Campbell
2020-11-25Fix Lem output for single element enumBrian Campbell
2020-09-25tests: Move copy-pasted code into a shared helper .shAlex Richardson
2020-08-06Forbid duplicate top-level letbindingsAlasdair
2020-07-15Update duplicate ctor warningAlasdair
2020-07-15Add test files missed from last commitMark Wassell
2020-06-17Make `if cond { ... return() };` assert cond in the type environmentBrian Campbell
2020-06-17Add test for if-return patternBrian Campbell
2020-06-05Generate nice error messages for patterns woth duplicate bindingsAlasdair
2020-05-21Merge branch 'sail2' into mono-tweaksAlasdair
2020-05-15Update type error messages for jenkinsAlasdair
2020-04-28Update test error messages, hopefully will make Jenkins happy againAlasdair
2020-04-21Tweak types of loop combinators for prover combinatorsThomas Bauereiss
2020-04-10Make bounds check for vector subrange assignments stricterThomas Bauereiss
2020-04-10Be more careful when flow-typing loopsThomas Bauereiss
2020-03-19Improve a particularly unhelpful type errorAlasdair
2020-03-18Expose details of failed lexp bounds checksThomas Bauereiss
2020-02-24Allow overloading of subrange builtins for non-bitvectorsThomas Bauereiss
2020-02-21Make sure we test that struct literals have a complete set of fields. Fixes #60Alasdair Armstrong
2020-01-31Fix soundness bug found by MarkAlasdair
2020-01-16Allow effects on mappingsAlasdair Armstrong
2019-12-10Introduce new bitfield syntax for ASL translationAlasdair Armstrong
2019-11-05Forbid types declared after a scattered union being used in clausesAlasdair
2019-11-05Improve type error for recursive types slightlyAlasdair Armstrong
2019-11-05Make sure we correctly forbid recursive datatypes that we don't want to supportAlasdair Armstrong
2019-11-01Add a missing well-formedness checkAlasdair
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:15 +0000