summaryrefslogtreecommitdiff
path: root/src/pretty_print_lem.ml
AgeCommit message (Expand)Author
2019-01-14Add a function to perform re-writes in parallelAlasdair
2019-01-14Make rewriting of foreach loops for Lem more robustThomas Bauereiss
2019-01-14Merge remote-tracking branch 'origin/sail2' into asl_flow2Alasdair
2019-01-11Updates for sail-arm releaseAlasdair Armstrong
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-12-27refactor val-spec AST to store externs as an assoc-list rather than a functio...Jon French
2018-12-26More cleanupAlasdair Armstrong
2018-12-26Some cleanupAlasdair Armstrong
2018-12-20Fix monomorpisation tests with typechecker changesAlasdair Armstrong
2018-12-18Ensure type-variables have consistent namesAlasdair
2018-12-18Check more carefully for recursive functions when generating LemThomas Bauereiss
2018-12-12Add a test case for various simple boolean propertiesAlasdair Armstrong
2018-12-12Generalise existentials for non-integer type variablesAlasdair
2018-12-12Remove KOpt_none constructorAlasdair
2018-12-08Compiling againAlasdair
2018-12-07Working on better flow typing for ASLAlasdair Armstrong
2018-12-04Remove FES_Fexps constructorAlasdair Armstrong
2018-11-30Remove constraint synonymsAlasdair Armstrong
2018-11-21Escape strings literals in lem pretty printer.Robert Norton
2018-11-19Fix Lem untupling to correctly identify when multiple arguments are usedBrian Campbell
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-22Fix lem arguments for functions with tuple argumentsAlasdair Armstrong
2018-10-22Pretty_print_lem.untuple_args_pat: temporary hack to allow functions that act...Jon French
2018-10-11Change the function type in the ASTAlasdair
2018-09-12Jenkins: Fix deprecation warningsAlasdair Armstrong
2018-08-31fix some compiler warningsJon French
2018-08-28fix some compiler not-matched warnings about Typ_bidir and Typ_internal_unknownJon French
2018-08-28add __POS__ argument to Err_unreachable for better error reportingJon French
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-15Temporary fix for RISC-V Lem generationBrian Campbell
2018-08-07Revert "Warnings: deal with all the deprecation warnings"Alasdair Armstrong
2018-08-07Lem: print more bitvector typesBrian Campbell
2018-08-07Improve cast introduction for LemBrian Campbell
2018-07-27Make type annotations abstract in type_check.mliAlasdair Armstrong
2018-07-26Warnings: deal with all the deprecation warningsAlastair Reid
2018-07-25Remove unused internal AST nodesAlasdair Armstrong
2018-07-09Lem: prefer type variables to constants when looking for equivalent nexpsBrian Campbell
2018-05-17Remove sequential code againBrian Campbell
2018-05-17Use an intermediate base_monad type alias in Lem,Brian Campbell
2018-05-11Add Boolean short-circuiting to state monadThomas Bauereiss
2018-05-11Merge branch 'sail2' into cheri-monoThomas Bauereiss
2018-05-11Remove buggy bit list comparison functions from Lem libraryThomas Bauereiss
2018-05-09Add more annotations for loop bounds in Lem rewritingThomas Bauereiss
2018-05-09Support short-circuiting of Boolean expressions in LemThomas Bauereiss
2018-05-04Add back purely sequential Lem generationThomas Bauereiss
2018-04-26Lem: Add Size class annotations for nested bitvector typesThomas Bauereiss
2018-04-18Fix bug in pretty-printing loops to LemThomas Bauereiss
2018-04-09Stop vector_typ_args_of from failing when order is a variableBrian Campbell
2018-04-04Use solver properly to simplify nexps in mono analysis, Lem printingBrian Campbell
2018-04-04Initial rewrite to move complex nexps in fn sigs into constraintsBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:22:04 +0000