summaryrefslogtreecommitdiff
path: root/src/spec_analysis.ml
AgeCommit message (Expand)Author
2021-02-25Remove accidental use of too-recent Option moduleBrian Campbell
2021-02-25Add -infer_effects optionBrian Campbell
2021-02-24Fill out some missing cases in free variable calculationBrian Campbell
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-04-21Add more monomorphisation rewritesThomas Bauereiss
2020-02-21Distinguish type identifiers in topological sortingThomas Bauereiss
2020-02-21Fix bug in last patch to topological sorting (e5ee087f)Thomas Bauereiss
2020-02-21Move topological sorting code to graph.mlThomas Bauereiss
2020-01-16Allow effects on mappingsAlasdair Armstrong
2019-08-02Fix all warnings (except for two lem warnings)Alasdair Armstrong
2019-07-03Consider references in topological sortingThomas Bauereiss
2019-06-04Remove unused AST constructorAlasdair Armstrong
2019-04-15Basic loop termination measures for CoqBrian Campbell
2019-03-07Extract constant propagation and related functions from monomorphisation.Brian Campbell
2019-02-11Get the order of overrides correct during topsortBrian Campbell
2019-02-08Prevent top_sort throwing away overloads (and other multiple definitions)Brian Campbell
2019-02-05Ensure Lem output doesn't fail if there's a termination measure presentBrian Campbell
2019-01-14Merge remote-tracking branch 'origin/sail2' into asl_flow2Alasdair
2019-01-11Updates for sail-arm releaseAlasdair Armstrong
2018-12-30Sort dependencies of termination measures properlyBrian Campbell
2018-12-26More cleanupAlasdair Armstrong
2018-12-26Some cleanupAlasdair Armstrong
2018-12-12Add a test case for various simple boolean propertiesAlasdair Armstrong
2018-12-12Generalise existentials for non-integer type variablesAlasdair
2018-12-12Remove KOpt_none constructorAlasdair
2018-12-08Compiling againAlasdair
2018-12-07Working on better flow typing for ASLAlasdair Armstrong
2018-12-06Re-factor initial checkAlasdair Armstrong
2018-12-04Remove FES_Fexps constructorAlasdair Armstrong
2018-11-30Remove constraint synonymsAlasdair Armstrong
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:35 +0000