summaryrefslogtreecommitdiff
path: root/language/Makefile
AgeCommit message (Expand)Author
2018-07-10remove obsolete files from language directory.Robert Norton
2018-02-17Merge master branch into sail2 for OCaml 4.06 compatibilityThomas Bauereiss
2018-01-31changed directory structure after migration to githubShaked Flur
2017-10-17Start of alignment of Ott definition with new implementation of type checker ...Mark Wassell
2017-10-04Alasdair, Peter: towards new Sail ottPeter Sewell
2017-07-21remove -merge true from ott makefile -- lem at least doesn't build with itJon French
2017-04-06typesetting tt vs non-ttPeter Sewell
2017-03-15rename "manual.tex" to "type_system.tex"Peter Sewell
2017-01-30switch to github ottPeter Sewell
2017-01-30remove "rm *.tex" from language/Makefile "make clean"Peter Sewell
2015-05-09use less confusing Ott binaryPeter Sewell
2015-01-26update ott pathKathy Gray
2015-01-23remove dependency on having ott in ones pathKathy Gray
2014-11-27Start having a manual of sorts. At least specify the built in functionsKathy Gray
2014-02-21Add type annotations to lem grammar, including printing out the annotated ast...Kathy Gray
2013-10-04Clean up build systemGabriel Kerneis
2013-09-09Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ...Kathy Gray
2013-09-05workaround likely aux rule bugPeter Sewell
2013-09-05More type checking, and trying to generate Lem from the ottKathy Gray
2013-07-26Remove white space/terminal trackingKathy Gray
2013-07-17wibPeter Sewell
2013-07-17Separated ott file for parsable AST and parser changesKathy Gray
2013-07-12Parser in progress, and more src files for plumbing parsing, lexing and event...Kathy Gray
2013-07-11and matching .ottPeter Sewell
2013-07-03Clean up some missed _ s in ott file; move the generated ml file to be ast in...Kathy Gray
2013-06-22use new Ott aux hom to auto-generate location-annotated rules (to reducePeter Sewell
2013-06-20Initial commit adding the language files, as requested by Peter in our meeting.Dominic Mulligan
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 02:50:40 +0000