summaryrefslogtreecommitdiff
path: root/src/util.mli
AgeCommit message (Expand)Author
2017-11-16Fixed some longstanding issues regarding constraints on type constructors.Alasdair Armstrong
2017-11-10Fixed some tricky typechecking bugsAlasdair Armstrong
2017-11-08Allow functions to be selectively declared external only for some backendsThomas Bauereiss
2017-09-02Various fixes for HexapodThomas Bauereiss
2017-08-29Improve flow typingThomas Bauereiss
2017-07-26Experimental existentials in function callsAlasdair Armstrong
2017-07-15Add version of rewriter for new typecheckerThomas Bauereiss
2017-07-05Added split_on_char as a utility function in Util.ml, and replaced usage in s...Alasdair Armstrong
2017-07-03Cleanup, and add support for variable bindings in bitvector patternsThomas Bauereiss
2017-02-03fix headersPeter Sewell
2015-10-20Fixing bugs in pretty printer to ocamlKathy Gray
2015-09-06Improved type system, so that it catches int where there should be natKathy Gray
2015-04-14Get power.sail compiling to Lem againKathy Gray
2013-08-07Starting checks and translation from parse_ast to ast, including an internal ...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 10:28:10 +0000