summaryrefslogtreecommitdiff
path: root/lib/flow.sail
AgeCommit message (Expand)Author
2019-05-14Various bugfixesAlasdair Armstrong
2019-05-13Parse dereferences in orderinary expressionsAlasdair
2019-02-13Merge branch 'sail2' into rmem_interpreterJon French
2019-02-06Fix some testsAlasdair Armstrong
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-12-18Fix rewriter issuesAlasdair Armstrong
2018-12-17Changes for ASL parserAlasdair Armstrong
2018-12-11Fix most remaining tests on branchAlasdair
2018-12-10Various changes:Alasdair Armstrong
2018-11-09Improvements to latex generationAlasdair Armstrong
2018-10-24Interpreter: don't silently use OCaml externs, only interpreter externsJon French
2018-09-04C: Tweaks to RISC-V to get compiling to CAlasdair Armstrong
2018-08-20Add some more test cases for C compilationAlasdair Armstrong
2018-07-12Coq: handle all bool conjunctions/disjunctionsBrian Campbell
2018-07-07Coq: eq_range should take proofsBrian Campbell
2018-06-22Coq: project away range types in comparisonsBrian Campbell
2018-06-20Coq: port handling of effectful and/or from Lem backendBrian Campbell
2018-06-18Coq: fix up some comparison operations in preludeBrian Campbell
2018-05-03Work in progress on the coq backendBrian Campbell
2018-04-11Fix neq_range in flow.sailAlasdair Armstrong
2018-04-10Porting some minisail changes to sail2 branchAlasdair Armstrong
2018-04-06Add integer comparisons to overloads in flow typing libraryAlasdair Armstrong
2018-04-03Added test cases for builtinsAlasdair Armstrong
2018-03-01fix typo in flow.sailRobert Norton
2018-02-22More updates to C backendAlasdair Armstrong
2018-02-19Have generic vectors working in C backendAlasdair Armstrong
2018-02-06Compile union types in C backendAlasdair Armstrong
2018-02-01More work on C compilationAlasdair Armstrong
2018-01-31More updates to C backend - matching and tuplesAlasdair Armstrong
2018-01-30Fix failing Lem testsAlasdair Armstrong
2018-01-26Fixed loading ARM elf filesAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:13:00 +0000