summaryrefslogtreecommitdiff
path: root/src/spec_analysis.ml
AgeCommit message (Expand)Author
2018-11-05Ensure type-synonyms are handled correctly in register dependenciesAlasdair Armstrong
2018-11-05Make sure undefined_type functions are generated before registersAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-11Change the function type in the ASTAlasdair
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-07-27Make type annotations abstract in type_check.mliAlasdair Armstrong
2018-07-25Remove unused internal AST nodesAlasdair Armstrong
2018-06-26Add configuration registers so __SetConfig ASL can be translatedAlasdair Armstrong
2018-05-01fv funcs for bidir typesJon French
2018-03-12ELF loading for C backendAlasdair Armstrong
2018-03-07Make union types consistent in the ASTAlasdair Armstrong
2018-01-18Merge remote-tracking branch 'origin/experiments' into sail2Alasdair Armstrong
2018-01-17Rewrite topological sortingThomas Bauereiss
2018-01-12OCaml interactive mode can now run full aarch64 examples, and ocaml test cases.Alasdair Armstrong
2018-01-05Moved parser, lexer and pretty printer to correct locations.Alasdair Armstrong
2018-01-05Added bitfield syntax to replicate register bits typeAlasdair Armstrong
2018-01-02Experimenting with power specAlasdair Armstrong
2017-12-14Fix all compiler warning except in lem pretty printer and monomorphisationAlasdair Armstrong
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-03-01 08:35:59 +0000