summaryrefslogtreecommitdiff
path: root/src/isail.ml
AgeCommit message (Expand)Author
2021-02-17Make sure :step_function appears in :commandsAlasdair
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-08-13Preserve file structure through initial checkAlasdair
2020-04-22Add an interactive command to evaluate until the end of a functionAlasdair
2020-04-15Add more intuitive defaults to interactive toplevelAlasdair
2019-11-11Update libsail slightly with recent changesAlasdair Armstrong
2019-11-06Add toplevel commands to fix specific register values and simply spec accordi...Alasdair Armstrong
2019-11-04Allow overriding the interpreter effectsAlasdair Armstrong
2019-10-31Allow sail to be scripted using sailAlasdair
2019-10-31Allow sail interactive toplevel to connect to a running QEMU instance using G...Alasdair Armstrong
2019-10-25Some more interpreter tweaksAlasdair Armstrong
2019-10-25Allow interactive commands to be setup outside isail.mlAlasdair Armstrong
2019-10-14Add -Ofixed_int and -Ofixed_bits to assume fixed-precision ints and bitvector...Alasdair Armstrong
2019-06-19Rewriting improvements for monomorphic aarch64_smallBrian Campbell
2019-05-31Change specialization interface slightlyAlasdair Armstrong
2019-05-24Add a :thin_slice command to isail to isolate a given set of functionsBrian Campbell
2019-04-15Merge branch 'sail2' into rmem_interpreterJon French
2019-04-05Lem: Make generated assertion messages look nicer in prover outputAlasdair
2019-03-27C: Generate C from sliced specificationsAlasdair Armstrong
2019-03-27Interactive: Refactor sail.ml some moreAlasdair Armstrong
2019-03-27Interactive: Refactor sail.mlAlasdair Armstrong
2019-03-27Rewriter: Finish refactoring rewrite sequencesAlasdair Armstrong
2019-03-26Rewriter: Expose rewrite passes to interactive modeAlasdair Armstrong
2019-03-15Interactive: Auto-complete options and add hintsAlasdair Armstrong
2019-03-15Interactive: Auto-complete file namesAlasdair Armstrong
2019-03-14Add various useful methods to interactive modeAlasdair Armstrong
2019-03-14Merge branch 'sail2' into rmem_interpreterJon French
2019-03-13Refactor interpreter monad to include pp in effect requests/failuresJon French
2019-03-11Improve ocamldoc commentsAlasdair Armstrong
2019-03-08C: Refactor C backendAlasdair Armstrong
2019-03-04Merge branch 'sail2' into rmem_interpreterJon French
2019-02-25Allow int-specialization for non-externs onlyAlasdair Armstrong
2019-02-25Merge branch 'sail2' into rmem_interpreterJon French
2019-02-22Fix some bugs in int-specializationAlasdair Armstrong
2019-02-19Refactor specializationAlasdair Armstrong
2019-02-14Don't do any rewrites when checking files for EmacsAlasdair Armstrong
2019-02-13Merge branch 'sail2' into rmem_interpreterJon French
2019-02-12Improvements for emacs modeAlasdair Armstrong
2019-02-08Rewrite type definitions in rewrite_nexp_idsThomas Bauereiss
2019-02-06Emacs mode understands relationships between Sail filesAlasdair
2019-02-06Improve emacs modeAlasdair Armstrong
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-12-27pass typechecking environment around interpreter and rewritersJon French
2018-12-26Some cleanupAlasdair Armstrong
2018-12-22Improve error messages and debuggingAlasdair Armstrong
2018-12-20Fix monomorpisation tests with typechecker changesAlasdair Armstrong
2018-12-19Improve sizeof rewriting performanceAlasdair Armstrong
2018-12-10Various changes:Alasdair Armstrong
2018-12-06Re-factor initial checkAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:59:27 +0000