summaryrefslogtreecommitdiff
path: root/src/slice.ml
AgeCommit message (Expand)Author
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-01-16Allow effects on mappingsAlasdair Armstrong
2019-11-11Make sure we include LEXP_cast register refs when slicing the specificationAlasdair Armstrong
2019-10-31Allow sail to be scripted using sailAlasdair
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-08-02Fix all warnings (except for two lem warnings)Alasdair Armstrong
2019-06-13Add AST for greater-than and less-than constraintsBrian Campbell
2019-05-24Add a :thin_slice command to isail to isolate a given set of functionsBrian Campbell
2019-05-20Filter termination measures during slicingBrian Campbell
2019-05-20Speed up graph construction by always keeping graph in normalized formBrian Campbell
2019-05-14Add feature that allows functions to require type variables are constantAlasdair Armstrong
2019-03-27C: Generate C from sliced specificationsAlasdair Armstrong
2019-03-26Rewriter: Expose rewrite passes to interactive modeAlasdair Armstrong
2019-03-06Improve AST slicingAlasdair Armstrong
2019-03-06Add option to slice out printing and tracing functions when generating CAlasdair Armstrong
2019-03-01WIP: Start working on being able to slice single instructions out of specsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:07 +0000