summaryrefslogtreecommitdiff
path: root/src/spec_analysis.ml
AgeCommit message (Expand)Author
2017-12-13Use big_nums from LemAlasdair Armstrong
2017-12-06Add top-level pattern match guards internallyBrian Campbell
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-16Remove unused Typ_wild constructorAlasdair Armstrong
2017-10-31Fix bug in topological sorting of val-specsThomas Bauereiss
2017-10-25Allow mutually recursive functionsThomas Bauereiss
2017-10-24Remove special case for boolean (as opposed to bool)Brian Campbell
2017-10-19Follow AST changes in (Lem) pretty-printersThomas Bauereiss
2017-09-21Refactored AST valspecs into single constructorAlasdair Armstrong
2017-09-21Remove unused kind_def (KD_) nodes from ASTAlasdair Armstrong
2017-09-21Simplify AST by removing LB_val_explicit and replace LB_val_implicit with jus...Alasdair Armstrong
2017-09-21Cleaning up the AST and removing redundant and/or unused nodesAlasdair Armstrong
2017-09-14Fix bug in topological sortingThomas Bauereiss
2017-08-14Existentials in free type var functionsBrian Campbell
2017-08-01Modified the typechecker for ASL generationAlasdair Armstrong
2017-07-27Add cons patterns to pretty-printersThomas Bauereiss
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
2016-01-19Put None and Some into interpreter environmentsKathy Gray
2015-11-10Make first half of sequential interpreter driver compile againKathy 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 13:31:51 +0000