summaryrefslogtreecommitdiff
path: root/editors
AgeCommit message (Expand)Author
2018-05-03Flow typing and l-expression changes for ASL parserAlasdair Armstrong
2018-04-25Start working on documentationAlasdair Armstrong
2018-04-18Rename BK_nat to BK_int to be consistent with source syntaxAlasdair Armstrong
2018-04-18Updates to latex mode for documentationAlasdair Armstrong
2018-04-06Fix emacs sail2-mode.Prashanth Mundkur
2018-04-06Update sail.tex for wip latex outputAlasdair Armstrong
2018-04-05Fix precedence printing and update aarch64 specAlasdair Armstrong
2018-03-01Cleanup intermediate bytecode representation in C backendAlasdair Armstrong
2018-01-25Add simple conditional processing and file includeAlasdair Armstrong
2018-01-05Added bitfield syntax to replicate register bits typeAlasdair Armstrong
2018-01-04Additional tests for ocaml backendAlasdair 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-11-28Small update to trivial sizeof rewrites so we can handle all cases inAlasdair Armstrong
2017-11-21Expose entry point in elf_loader for Sail modelAlasdair Armstrong
2017-10-18Fixes and updates to ocaml backend to compile aarch64_no_vectorAlasdair Armstrong
2017-10-09Improvements to menhir pretty printer and ocaml backendAlasdair Armstrong
2017-10-04Fixed a bug in vector concatenation l-expressionsAlasdair Armstrong
2017-09-26Added while-do and repeat-until loops to sail for translating ASLAlasdair Armstrong
2017-08-15Emacs mode for syntax of new Menhir parserAlasdair Armstrong
2017-08-15Added exceptions and try/catch blocks to AST and typechecker in orderAlasdair Armstrong
2017-07-26Added syntax for existential typesAlasdair Armstrong
2017-07-21Add a prove builtin that allows testing flow typingAlasdair Armstrong
2017-07-21Improvements to sail n_constraintsAlasdair Armstrong
2017-07-18Added real number literals to sail, to better support full ASL translationAlasdair Armstrong
2017-07-17Added pattern guards to sailAlasdair Armstrong
2017-06-29Created prelude.sail for initial typing environmentAlasdair Armstrong
2017-06-28User defined overloaded operatorsAlasdair Armstrong
2017-06-28Improvements to implicit type castingAlasdair Armstrong
2017-01-25wibPeter Sewell
2017-01-25kathy, peter: fixing sail-mode startupPeter Sewell
2016-09-14Fix mistyped identifier in emacs modeKathy Gray
2016-07-26Fix type abbreviation support oversightKathy Gray
2016-02-23Make small tweaks to emacs modeKathy Gray
2016-02-11fix some bugs in emacs mode for sail; mostly workable now although there's so...Kathy Gray
2014-09-09Get more constraints resolving in power.sailKathy Gray
2014-09-05Add a sail mode for emacs, based heavily on tuaregKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:29:44 +0000