summaryrefslogtreecommitdiff
path: root/src/lexer.mll
AgeCommit message (Expand)Author
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-21Strip leading *'s from saildocJessica Clarke
2020-08-13Preserve file structure through initial checkAlasdair
2020-05-15Add coverage tracking toolAlasdair
2019-05-14Add feature that allows functions to require type variables are constantAlasdair Armstrong
2019-02-08Allow internal AST nodes in input when -dmagic_hash is onBrian Campbell
2019-01-14Merge remote-tracking branch 'origin/sail2' into asl_flow2Alasdair
2019-01-08Improvements for v85Alasdair Armstrong
2018-12-29Add separate termination_measure declarationsBrian Campbell
2018-12-26More cleanupAlasdair Armstrong
2018-12-07Working on better flow typing for ASLAlasdair Armstrong
2018-12-06Desugar constraints from atyp rather than n_constraintAlasdair Armstrong
2018-11-30Parser tweaks and fixesAlasdair Armstrong
2018-11-30Improvements for ASL parserAlasdair Armstrong
2018-11-07Move inline forall in function definitionsAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-24Add constraint synonymsAlasdair Armstrong
2018-08-31mappings: Support for unidirectional mapping clausesJon French
2018-06-26Add configuration registers so __SetConfig ASL can be translatedAlasdair Armstrong
2018-06-11change double-caret for string-append-pattern to single caret, since that wou...Jon French
2018-05-01add to parserJon French
2018-05-01starting to also do integer supportJon French
2018-05-01start of string pattern matching: currently only literalsJon French
2018-05-01add { ~~fieldname } sugar to record patterns, expanding to { fieldname = fiel...Jon French
2018-03-14WIP Latex formattingAlasdair Armstrong
2018-02-06Fix lexer so operators cannot start with /* or //Alasdair Armstrong
2018-01-30Fix failing Lem testsAlasdair Armstrong
2018-01-25Add simple conditional processing and file includeAlasdair Armstrong
2018-01-22Add regression test for type synonym with constraints inside existential type...Alasdair Armstrong
2018-01-19Added RISCV test case to test suiteAlasdair Armstrong
2018-01-19Added C-style single line commentsAlasdair Armstrong
2018-01-16Created version of typecheck test suite for sail2 branchAlasdair Armstrong
2018-01-15Refactored and improved ocaml interpreterAlasdair Armstrong
2018-01-05Moved parser, lexer and pretty printer to correct locations.Alasdair Armstrong
2018-01-05Removed legacy parser/lexer and pretty printerAlasdair Armstrong
2017-12-13Use big_nums from LemAlasdair Armstrong
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-12-04Fix warnings in test suiteAlasdair Armstrong
2017-11-24Use unbound precision big_ints throughout sail.Alasdair 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-21Improvements to sail n_constraintsAlasdair Armstrong
2017-07-19Better pretty printing for sail functions with no inline type annotationsAlasdair Armstrong
2017-07-18Added pretty-printing support for real literalsAlasdair 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-28User defined overloaded operatorsAlasdair Armstrong
2017-06-28Improvements to implicit type castingAlasdair Armstrong
2017-05-24Merge branch 'master' of bitbucket.org:Peter_Sewell/sailShaked Flur
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:55:35 +0000