summaryrefslogtreecommitdiff
path: root/src/test/test1.sail
AgeCommit message (Expand)Author
2015-10-20Fixing bugs in pretty printer to ocamlKathy Gray
2014-11-16Add overflow checking arithmetic operations. Fix various bugs that this exposedKathy Gray
2014-08-28fixes to bugs exposed by arm modelKathy Gray
2014-07-30working dec vectorsKathy Gray
2014-06-25Add support for actions that read just a slice or single bit of a registerKathy Gray
2014-06-18Make hex constants work; improve utility of casts for selecting overloaded fu...Kathy Gray
2014-03-27Check simple constraints (i.e. ones using only constants).Kathy Gray
2014-03-03Fixing assorted bugs. Adding ability to put a type on the identifier being as...Kathy Gray
2014-02-28Correct bug in parsing and handling a['a:'b] typesKathy Gray
2014-02-14Fix infinite loop bug, and test1.sail type checking bugKathy Gray
2014-02-13Disable line which does not typecheck in test1Gabriel Kerneis
2014-02-13Add definition of ignore to make tests executableGabriel Kerneis
2014-02-07Correct variable-name bug that was throwing away type checking coercions and ...Kathy Gray
2014-02-05Test scattered typedef cross-referenceGabriel Kerneis
2014-02-05Fix type id parsing error ans associated type checking bugs in scatteredsKathy Gray
2014-02-05Typechecking lets, concrete vectors, and function calls (minus effects)Kathy Gray
2014-02-05Adding failing typechecking testGabriel Kerneis
2014-01-17Type check through type definitions and val specifications, building definiti...Kathy Gray
2014-01-09Fixed a single-argument tuple bug on function callsKathy Gray
2014-01-09Fixed bug in resuming after an action (which was manifesting as an apparent p...Kathy Gray
2014-01-07bug: unbound let-defined (and local?) variablesGabriel Kerneis
2014-01-07Add bit and bitvector literal testGabriel Kerneis
2013-12-03Syntax changes per discussion with Peter, as well as L2.ott document clean up.Kathy Gray
2013-11-29minor syntax fixupsKathy Gray
2013-11-28Updated syntax with working examplesKathy Gray
2013-11-27More front-end passes for type identifiersKathy Gray
2013-10-14Run main() to execute testsGabriel Kerneis
2013-10-10Stub test suiteGabriel Kerneis
2013-10-10Use ocamlbuild, no findlib requiredGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 13:43:25 +0000