summaryrefslogtreecommitdiff
path: root/editors
AgeCommit message (Expand)Author
2019-02-12Improvements for emacs modeAlasdair Armstrong
2019-02-06Emacs mode understands relationships between Sail filesAlasdair
2019-02-06Improve emacs modeAlasdair Armstrong
2019-02-05Simpler implicit argumentsAlasdair Armstrong
2019-02-01Use same license as Sail for emacs modeAlasdair Armstrong
2019-01-31sail-mode: add ELPA metadataAustin Seipp
2019-01-22Add a pragma for unrolling recursive functionsAlasdair Armstrong
2019-01-21Remove old emacs mode to avoid confusionAlasdair Armstrong
2018-12-12Add a test case for various simple boolean propertiesAlasdair Armstrong
2018-12-07Working on better flow typing for ASLAlasdair Armstrong
2018-11-30Parser tweaks and fixesAlasdair Armstrong
2018-11-30Improvements for ASL parserAlasdair Armstrong
2018-11-09Improvements to latex generationAlasdair Armstrong
2018-11-07Move inline forall in function definitionsAlasdair Armstrong
2018-10-24Add constraint synonymsAlasdair Armstrong
2018-09-06Allow options to be set in the interactive modeAlasdair Armstrong
2018-08-02Support for comment commands in emacs modeBrian Campbell
2018-06-26Add configuration registers so __SetConfig ASL can be translatedAlasdair Armstrong
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 07:03:19 +0000