summaryrefslogtreecommitdiff
path: root/src/spec_analysis.mli
AgeCommit message (Expand)Author
2021-02-25Remove accidental use of too-recent Option moduleBrian Campbell
2021-02-25Add -infer_effects optionBrian Campbell
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-04-21Add more monomorphisation rewritesThomas Bauereiss
2019-03-07Extract constant propagation and related functions from monomorphisation.Brian Campbell
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-07-21Everything moved to new typecheckerAlasdair Armstrong
2017-07-21Switch to new typechecker (almost)Thomas Bauereiss
2017-02-03fix headersPeter Sewell
2016-10-13make sail-to-lem rewriting passes use dependency analysis, make dependency an...Christopher Pulte
2016-10-12Add free variable and dependency sorting functions, lifted from internal to e...Kathy Gray
2016-01-21Start splitting values/etc into int/big_int for ocaml generationKathy Gray
2015-11-06fixesChristopher Pulte
2015-11-04Add a new module for writing queries/analyses that aren't type checking but c...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:08 +0000