summaryrefslogtreecommitdiff
path: root/editors
AgeCommit message (Expand)Author
2020-04-14Add add_symbol to the API of Process_fileAlasdair
2020-02-23set vscode syntax highlighting extension up for publicationjp
2020-02-12add vscode syntax highlighting modejp
2020-02-12improve syntax highlightingjp
2019-10-29add simple html syntax highlighter based on prism.jsjp
2019-06-04Merge branch 'sail2' into separate_bvAlasdair Armstrong
2019-05-22Move Util.warn to Reporting, and make it take the location as a parameterAlasdair Armstrong
2019-05-17Experiment with making vector and bitvector distinct typesAlasdair Armstrong
2019-04-11SMT: Add property and counterexample directiveAlasdair Armstrong
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:49:57 +0000