summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-01-29Further updates to C backendAlasdair Armstrong
2018-01-29Added ecall/mret and exception support.Prashanth Mundkur
2018-01-29Fix a bug where structs containing unions would generate bad to_string functionsAlasdair Armstrong
2018-01-29Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2Alasdair Armstrong
2018-01-29Shaked removing generation of now-uncessary uint dependencyPeter Sewell
2018-01-29Linksem does not use uint anymoreShaked Flur
2018-01-29Turn off constraint substitution in monoBrian Campbell
2018-01-29Use fresh variables when dealing with (multiple) literal patternsBrian Campbell
2018-01-29Turn off warnings when rechecking after monoBrian Campbell
2018-01-29Avoid generating (_ as n) in mono, broke atom type rewritingBrian Campbell
2018-01-27Add Makefile for RISC-VThomas Bauereiss
2018-01-26Fixed loading ARM elf filesAlasdair Armstrong
2018-01-26One more mono rewriteBrian Campbell
2018-01-26Missing -ocamlfindBrian Campbell
2018-01-26Add replacement of complex nexp sizes by equivalent variables in monoBrian Campbell
2018-01-26Preserve more typing info in monomorphisation for later stagesBrian Campbell
2018-01-26More work on C backendAlasdair Armstrong
2018-01-26Give LEM test suite a more useful name for benefit of jenkins.Robert Norton
2018-01-26Shebang must be first line of file. Fixes RISCV test failing on jenkins due t...Robert Norton
2018-01-25Add mli file for pattern completeness moduleAlasdair Armstrong
2018-01-25Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2Alasdair Armstrong
2018-01-25Add pattern completness check for match statementsAlasdair Armstrong
2018-01-25Use set asserts as case splits in monomorphisationBrian Campbell
2018-01-25Missing type expansionBrian Campbell
2018-01-25Handle bound variables properly with precise case splittingBrian Campbell
2018-01-25Fix building bytecode sailBrian Campbell
2018-01-25Basic support for match x[5 .. 2] with case splitsBrian Campbell
2018-01-25Implement basic case splitting based on found case expressionsBrian Campbell
2018-01-25Extend RISCV main loop with support for tohost interface used by test suite f...Robert Norton
2018-01-25Omit redundant let-bindings when rewriting (bit-)vector patternsThomas Bauereiss
2018-01-25Rewrite bitvector patterns for OCaml and C backendsThomas Bauereiss
2018-01-25Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2Alasdair Armstrong
2018-01-25Fix -ocaml_trace optionAlasdair Armstrong
2018-01-25riscv: remove case for non-existent constructor in match that was being treat...Robert Norton
2018-01-25work in progress riscv CSR implementation.Robert Norton
2018-01-25Fix more type annotations in rewriterThomas Bauereiss
2018-01-25Add simple conditional processing and file includeAlasdair Armstrong
2018-01-24Have some simple sail programs compiling to CAlasdair Armstrong
2018-01-24Fixed riscv ocaml compilationAlasdair Armstrong
2018-01-24More work on C compilationAlasdair Armstrong
2018-01-24More work on experimental C backendAlasdair Armstrong
2018-01-23Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2Alasdair Armstrong
2018-01-23Started working on C backend for sailAlasdair Armstrong
2018-01-23Run tests for Lem shallow embeddingThomas Bauereiss
2018-01-23Added additional tests, and fixed ocaml build of ARM testsAlasdair Armstrong
2018-01-22Update Lem shallow embedding to Sail2Thomas Bauereiss
2018-01-22Added rewriter that specializes all function calls in a specification.Alasdair Armstrong
2018-01-22Add regression test for type synonym with constraints inside existential type...Alasdair Armstrong
2018-01-22Update and fix test suiteAlasdair Armstrong
2018-01-19Added RISCV test case to test suiteAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 15:19:11 +0000