summaryrefslogtreecommitdiff
path: root/editors/sail-mode.el
AgeCommit message (Expand)Author
2020-04-14Add add_symbol to the API of Process_fileAlasdair
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
2017-09-26Added while-do and repeat-until loops to sail for translating ASLAlasdair 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-03-01 22:50:52 +0000