summaryrefslogtreecommitdiff
path: root/language
AgeCommit message (Expand)Author
2018-03-07Make union types consistent in the ASTAlasdair Armstrong
2018-03-02Use sail_lib.lem values in C backendAlasdair Armstrong
2018-02-26Add some obvious optimisations to C backend.Alasdair Armstrong
2018-02-21Have aarch64/no_vector compiling to CAlasdair Armstrong
2018-02-17Merge master branch into sail2 for OCaml 4.06 compatibilityThomas Bauereiss
2018-02-15List support in C backendAlasdair Armstrong
2018-02-13Support for large bitvector literals in C backendAlasdair Armstrong
2018-02-12Add support for top-level letbindings to C backendAlasdair Armstrong
2018-02-09Improve IR pretty-printing for debuggingAlasdair Armstrong
2018-02-09Formalize C backend intermediate representation in OttAlasdair Armstrong
2018-02-06Add aux constructor to type patterns for consistencyAlasdair Armstrong
2018-02-05Add typ patterns for destructuring existentialsAlasdair Armstrong
2018-01-31changed directory structure after migration to githubShaked Flur
2018-01-05Added bitfield syntax to replicate register bits typeAlasdair Armstrong
2018-01-03Lots of experimental changes on this branchAlasdair Armstrong
2018-01-03Updates to interpreterAlasdair Armstrong
2018-01-02Experimenting with power specAlasdair Armstrong
2017-12-13Use big_nums from LemAlasdair Armstrong
2017-12-11Prototype interactive mode for sail.Alasdair Armstrong
2017-12-07Resolve function clause guard parsing ambiguity by requiring parenthesesBrian Campbell
2017-12-06Add top-level pattern match guards internallyBrian Campbell
2017-11-24Use unbound precision big_ints throughout sail.Alasdair Armstrong
2017-11-24Attempt to document intermediate language used by Sail in ott.Alasdair Armstrong
2017-11-17Fix interpreter to work with new typecheckerAlasdair Armstrong
2017-11-16Made l2.ott generate an ast.lem which is is valid w.r.t. -lem_ast output.Alasdair Armstrong
2017-11-16Remove unused Typ_wild constructorAlasdair Armstrong
2017-11-15Allow user defined operations in nexps (experimental)Alasdair Armstrong
2017-11-08Allow functions to be selectively declared external only for some backendsThomas Bauereiss
2017-11-08Allow for different extern names for different backendsAlasdair Armstrong
2017-10-25Allow mutually recursive functionsThomas Bauereiss
2017-10-25Generate ast.ml from ott file and update makefile.Alasdair Armstrong
2017-10-25ast.ml generated from l2.ott compiles with rest of ./srcMark Wassell
2017-10-23Aligning Ott generated AST with actual ast.ml. Almost a drop-in replacement b...Mark Wassell
2017-10-17Start of alignment of Ott definition with new implementation of type checker ...Mark Wassell
2017-10-04Alasdair, Peter: towards new Sail ottPeter Sewell
2017-07-24move value type definitions to ott, and introduce new E_internal_value ast no...Jon French
2017-07-21remove -merge true from ott makefile -- lem at least doesn't build with itJon French
2017-07-21l2.ott: port across additions to base_effect from rmemJon French
2017-07-21l2.ott: factor ocaml 'l' type reference into ott definition of 'l'Jon French
2017-07-21l2.ott, l2_parse.ott: remove unnecessary 'type text = string'Jon French
2017-04-06typesetting tt vs non-ttPeter Sewell
2017-04-06fix typesetting of standalone grammar documentPeter Sewell
2017-03-15rename "manual.tex" to "type_system.tex"Peter Sewell
2017-02-25wibPeter Sewell
2017-02-13wibPeter Sewell
2017-02-13make syntax typeset in manual in ASCII-friendly style rather than usingPeter Sewell
2017-02-13tidyingPeter Sewell
2017-02-13tidyingPeter Sewell
2017-02-10wibPeter Sewell
2017-02-10wibPeter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:15:05 +0000