| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-01 | Remove old test directory in src/test | Alasdair Armstrong | |
| 2015-10-20 | Fixing bugs in pretty printer to ocaml | Kathy Gray | |
| 2014-11-16 | Add overflow checking arithmetic operations. Fix various bugs that this exposed | Kathy Gray | |
| Of note: Interp_lib.to_num now takes an Unsigned or a Signed constructor, rather than a boolean | |||
| 2014-08-28 | fixes to bugs exposed by arm model | Kathy Gray | |
| 2014-07-30 | working dec vectors | Kathy Gray | |
| 2014-06-25 | Add support for actions that read just a slice or single bit of a register | Kathy Gray | |
| 2014-06-18 | Make hex constants work; improve utility of casts for selecting overloaded ↵ | Kathy Gray | |
| functions | |||
| 2014-03-27 | Check simple constraints (i.e. ones using only constants). | Kathy Gray | |
| Changes syntax of tuple type from * to , so that nexps of the form 8 * 'n can be supported in the parser, which was apparently not true before. | |||
| 2014-03-03 | Fixing assorted bugs. Adding ability to put a type on the identifier being ↵ | Kathy Gray | |
| assigned to in assignments. | |||
| 2014-02-28 | Correct bug in parsing and handling a['a:'b] types | Kathy Gray | |
| 2014-02-14 | Fix infinite loop bug, and test1.sail type checking bug | Kathy Gray | |
| 2014-02-13 | Disable line which does not typecheck in test1 | Gabriel Kerneis | |
| We need to fix that one, but I don't know if the bug is in test1 or in the type checker. | |||
| 2014-02-13 | Add definition of ignore to make tests executable | Gabriel Kerneis | |
| 2014-02-07 | Correct variable-name bug that was throwing away type checking coercions and ↵ | Kathy Gray | |
| type annotations | |||
| 2014-02-05 | Test scattered typedef cross-reference | Gabriel Kerneis | |
| 2014-02-05 | Fix type id parsing error ans associated type checking bugs in scattereds | Kathy Gray | |
| 2014-02-05 | Typechecking lets, concrete vectors, and function calls (minus effects) | Kathy Gray | |
| 2014-02-05 | Adding failing typechecking test | Gabriel Kerneis | |
| File "test/test1.sail", line 27, character 22 to line 27, character 26 Type error: Type mismatch :(6() * ) , bit | |||
| 2014-01-17 | Type check through type definitions and val specifications, building ↵ | Kathy Gray | |
| definition environment. Skipping function definition, let bind, and expression checking for this commit (to come). | |||
| 2014-01-09 | Fixed a single-argument tuple bug on function calls | Kathy Gray | |
| 2014-01-09 | Fixed bug in resuming after an action (which was manifesting as an apparent ↵ | Kathy Gray | |
| pattern match bug, which was actually working fine). | |||
| 2014-01-07 | bug: unbound let-defined (and local?) variables | Gabriel Kerneis | |
| In test/test1.sail, trying to resolve variable v1 in main yields: test1: error: unbound identifier | |||
| 2014-01-07 | Add bit and bitvector literal test | Gabriel Kerneis | |
| 2013-12-03 | Syntax changes per discussion with Peter, as well as L2.ott document clean up. | Kathy Gray | |
| Could not at this time return lists to [| |] from [|| ||] as the parser cannot distinguish a cast with enum’s syntactic sugar from the start of a parenthesised list (i.e. ( [|3|] ) And there are still conflicts with moving enums to [3], so those changes can’t be pushed in with current parser technology. | |||
| 2013-11-29 | minor syntax fixups | Kathy Gray | |
| 2013-11-28 | Updated syntax with working examples | Kathy Gray | |
| 2013-11-27 | More front-end passes for type identifiers | Kathy Gray | |
| 2013-10-14 | Run main() to execute tests | Gabriel Kerneis | |
| Tests do not pass because of weird pattern-matching errors in the interpreter. | |||
| 2013-10-10 | Stub test suite | Gabriel Kerneis | |
| 2013-10-10 | Use ocamlbuild, no findlib required | Gabriel Kerneis | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |