summaryrefslogtreecommitdiff
path: root/src/pretty_print_sail.ml
AgeCommit message (Expand)Author
2017-11-08Allow functions to be selectively declared external only for some backendsThomas Bauereiss
2017-11-08Allow for different extern names for different backendsAlasdair Armstrong
2017-11-02Fix a few AST and parsing-related bugsThomas Bauereiss
2017-10-13Improve debugging outputThomas Bauereiss
2017-10-09Improvements to menhir pretty printer and ocaml backendAlasdair Armstrong
2017-10-06Remove BK_effect constructorAlasdair Armstrong
2017-10-04Merge branch 'cleanup' into experimentsAlasdair Armstrong
2017-10-04Add pretty printing for while loopsAlasdair Armstrong
2017-10-03Fixes to new parserAlasdair Armstrong
2017-10-03Fixed some loop bugs for ASL parserAlasdair Armstrong
2017-09-21Refactored AST valspecs into single constructorAlasdair Armstrong
2017-09-21Remove unused kind_def (KD_) nodes from ASTAlasdair Armstrong
2017-09-21Simplify AST by removing LB_val_explicit and replace LB_val_implicit with jus...Alasdair Armstrong
2017-09-21Cleaning up the AST and removing redundant and/or unused nodesAlasdair Armstrong
2017-08-23Started work on an undefined literal removal pass for the ocamlAlasdair Armstrong
2017-08-21Modified sizeof rewriting pass so it can correctly deal with existentials.Alasdair Armstrong
2017-08-17Various sail fixes for ASL hexapodAlasdair Armstrong
2017-08-15Added exceptions and try/catch blocks to AST and typechecker in orderAlasdair Armstrong
2017-08-10Merge remote-tracking branch 'origin/sail_new_tc' into experimentsAlasdair Armstrong
2017-08-07Fixed pretty printing of E_consAlasdair Armstrong
2017-07-31Fixed a bug in the pretty printer that caused ASL parser to output unparseabl...Alasdair Armstrong
2017-07-27Fixed pretty printer for existentialsAlasdair Armstrong
2017-07-25Fixed bug where strings were not escaped correctly within stringAlasdair Armstrong
2017-07-25Improved l-expressionsAlasdair Armstrong
2017-07-24Added cons patterns to sailAlasdair Armstrong
2017-07-21Everything moved to new typecheckerAlasdair 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-17Added pattern guards to sailAlasdair Armstrong
2017-07-13Improved type inference for let statements and assignments with type annotate...Alasdair Armstrong
2017-06-29Various improvements to typecheckerAlasdair Armstrong
2017-03-29Factor out pretty printers into separate files. Hopefully this will make sear...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-13 14:39:41 +0000