summaryrefslogtreecommitdiff
path: root/src/util.mli
AgeCommit message (Expand)Author
2019-11-07Backport fixes to SMT generation from poly_mapping branchAlasdair Armstrong
2019-10-31Allow sail interactive toplevel to connect to a running QEMU instance using G...Alasdair Armstrong
2019-05-22Move Util.warn to Reporting, and make it take the location as a parameterAlasdair Armstrong
2019-04-11SMT: Add property and counterexample directiveAlasdair Armstrong
2019-03-11Improve ocamldoc commentsAlasdair Armstrong
2019-03-09C: Fix miscompilation of constrained struct field accessAlasdair
2019-01-11Updates for sail-arm releaseAlasdair Armstrong
2019-01-10Fixes so 8.5 with vector instructions compiles to CAlasdair Armstrong
2018-11-09Improvements to latex generationAlasdair Armstrong
2018-11-06Fix bug with loop indices not being mapped to int64 in CAlasdair Armstrong
2018-11-01Changes to enable analysing type errors in ASL parserAlasdair Armstrong
2018-10-24Add constraint synonymsAlasdair Armstrong
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-03-14WIP Latex formattingAlasdair Armstrong
2018-03-02Use sail_lib.lem values in C backendAlasdair Armstrong
2018-02-13Support for large bitvector literals in C backendAlasdair Armstrong
2018-02-08Can now generate control flow graphs with C backendAlasdair Armstrong
2018-01-30Updates to C backendAlasdair Armstrong
2018-01-25Add pattern completness check for match statementsAlasdair Armstrong
2018-01-25Add simple conditional processing and file includeAlasdair Armstrong
2018-01-23Started working on C backend for sailAlasdair Armstrong
2018-01-03Updates to interpreterAlasdair Armstrong
2017-12-11Prototype interactive mode for sail.Alasdair Armstrong
2017-12-06Merge remote branch 'experiments' into experimentsThomas Bauereiss
2017-12-06Make AST after rewriting for Lem backend type-checkableThomas Bauereiss
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
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-01-31 08:06:59 +0000