summaryrefslogtreecommitdiff
path: root/test/typecheck
AgeCommit message (Expand)Author
2017-06-29Added support for set constraintsAlasdair Armstrong
2017-06-29Additional tests for overloading and vector patternsAlasdair Armstrong
2017-06-29Various improvements to typecheckerAlasdair Armstrong
2017-06-28User defined overloaded operatorsAlasdair Armstrong
2017-06-28Improvements to implicit type castingAlasdair Armstrong
2017-06-27More features in bi-directional typecheckerAlasdair Armstrong
2017-06-24Added implicit castingAlasdair Armstrong
2017-06-23Support for more sail constructsAlasdair Armstrong
2017-06-22Added vector subrange support, and testsAlasdair Armstrong
2017-06-22Added support for vector append and indexingAlasdair Armstrong
2017-06-22Can now typecheck register declarations and assignmentsAlasdair Armstrong
2017-06-22Added support for bitvectorsAlasdair Armstrong
2017-06-16Some small changes to bi-directional checkerAlasdair Armstrong
2017-06-15Added support for default order declarations.Alasdair Armstrong
2017-06-15Prototype Bi-directional type checking algorithm for sailAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 20:42:57 +0000