summaryrefslogtreecommitdiff
path: root/src/reporting_basic.ml
AgeCommit message (Expand)Author
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-08-28add __POS__ argument to Err_unreachable for better error reportingJon French
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-06More fixes for polymorphic data typesAlasdair Armstrong
2018-03-14WIP Latex formattingAlasdair Armstrong
2018-02-17Merge master branch into sail2 for OCaml 4.06 compatibilityThomas Bauereiss
2018-02-07Have exceptions working in C backendAlasdair Armstrong
2017-12-16compatibility with OCaml 4.06.0;Shaked Flur
2017-12-13Cleanup code by fixing compiler warnings, and fix ocaml compilationAlasdair Armstrong
2017-12-05Update header files on masterAlasdair Armstrong
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-10-06Various improvements to menhir parser, and performance improvments for Z3 callsAlasdair Armstrong
2017-09-13Fixed code display in error messages that span multiple linesAlasdair Armstrong
2017-09-13Work on improving Sail error messagesAlasdair Armstrong
2017-08-04Various improvements for ASL generationAlasdair Armstrong
2017-02-03fix headersPeter Sewell
2016-06-20Fix error in type checker that put some constraints wrongly into conditional ...Kathy Gray
2016-01-26move closer to power.sail -> power.ml outputKathy Gray
2014-04-02Solve more constraints; fix up test suite bugs uncovered by solving more cons...Kathy Gray
2013-08-08More forms converting from parse_ast to ast; also removed some annot aux homs...Kathy Gray
2013-08-01Lex and discard commentsGabriel Kerneis
2013-07-31Revert "Remove the wrong reporting basic"Gabriel Kerneis
2013-07-31Remove the wrong reporting basicKathy Gray
2013-07-31Adding the real reporting basicKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:43:38 +0000