summaryrefslogtreecommitdiff
path: root/editors
AgeCommit message (Expand)Author
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-01-31 08:13:42 +0000