summaryrefslogtreecommitdiff
path: root/src/test
AgeCommit message (Collapse)Author
2014-02-05Replace symbolic link by actual fileGabriel Kerneis
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-05First bit of Power specGabriel Kerneis
Only chapter about branches (except system calls because of sail typechecking issue). Decoding seems to work. Execution typechecks currently, but is pretty surely broken otherwise.
2014-02-05Adding failing typechecking testGabriel Kerneis
File "test/test1.sail", line 27, character 22 to line 27, character 26 Type error: Type mismatch :(6() * ) , bit
2014-01-31More type checking and conversionsKathy Gray
(Temporarily turning off unbound identifier checks, until all variable-introducing forms are checked)
2014-01-17Type 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-15Test indexed matchGabriel Kerneis
2014-01-14Fix vector concat pattern matchingGabriel Kerneis
The concatenation list was reversed.
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 ↵Kathy Gray
pattern match bug, which was actually working fine).
2014-01-08More tests for various vector patterns bugsGabriel Kerneis
2014-01-08Between Scylla and CharybdisGabriel Kerneis
2014-01-08Fix pretty-printing of switch-casesGabriel Kerneis
Weird bug, cf. test/pattern.sail.
2014-01-07Add first operationnal tests for vectorsGabriel Kerneis
2014-01-07bug: unbound let-defined (and local?) variablesGabriel Kerneis
In test/test1.sail, trying to resolve variable v1 in main yields: test1: error: unbound identifier
2014-01-07Add bit and bitvector literal testGabriel Kerneis
2013-12-16minor wip on tiny modelGabriel Kerneis
2013-12-13Fix effect annotation pretty-printingGabriel Kerneis
There is also a bug for parsing effect annotations (in fundecl). But for some reason, my fix for the parser does not work: test/test2.sail still refuses to parse (chokes on "effect pure"), even with "Effect" added to parser.mly.
2013-12-03Syntax 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-29minor syntax fixupsKathy Gray
2013-11-28Updated syntax with working examplesKathy Gray
2013-11-27More front-end passes for type identifiersKathy Gray
2013-11-21Begin tiny conversionGabriel Kerneis
2013-11-20Remove workaround in test3Gabriel Kerneis
2013-11-12Define and test addition in libraryGabriel Kerneis
Notice the need for double parentheses in test/test3.sail, because the interpreter does not perform curryfication automatically (only the first parameter in kept with List_extra.head): add ((1, 3)) (* works *) add (1, 3) (* fails, equivalent to: add (1) *) Fortunately enough, infix functions work correctly by default. A dirty quickfix would be easy, but I'm not sure at which level this should be addressed properly (interpreter? typing? etc.).
2013-11-05De-infix operator before looking it up in the interpreterGabriel Kerneis
2013-11-05Parsing of infix operatorsGabriel Kerneis
The interpreter is broken for infix calls (fails to find the relevant function, either internal or external).
2013-11-05Support parsing for extern callsGabriel Kerneis
2013-10-16Basic MEM and register implementation for interpreterGabriel Kerneis
This is extremely naive, and does not support slices.
2013-10-15Resume interpreter after actionsGabriel Kerneis
At the moment, writes are ignored and reads always return unit.
2013-10-15Test for value-returning blocksGabriel Kerneis
2013-10-14Test read/write reg/mem syntaxGabriel Kerneis
2013-10-14Test function returnGabriel Kerneis
2013-10-14Run main() to execute testsGabriel Kerneis
Tests do not pass because of weird pattern-matching errors in the interpreter.
2013-10-10Another stupid testGabriel 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-10 10:58:04 +0000