summaryrefslogtreecommitdiff
path: root/src/ast_util.ml
AgeCommit message (Expand)Author
2019-02-12Improvements for emacs modeAlasdair Armstrong
2019-02-08Add parameterization support for bitfields.Prashanth Mundkur
2019-02-08Updates for asl_parserAlasdair Armstrong
2019-02-07Replace equality check for declared effects by subset checkThomas Bauereiss
2019-02-04Fix some warningsAlasdair Armstrong
2019-02-02Merge remote-tracking branch 'origin/sail2' into asl_flow2Alasdair
2019-01-31Add missing cases to constraint comparisonBrian Campbell
2019-01-29Merge branch 'sail2' into asl_flow2Thomas Bauereiss
2019-01-22Add a pragma for unrolling recursive functionsAlasdair Armstrong
2019-01-11Updates for sail-arm releaseAlasdair Armstrong
2019-01-08Improvements for v85Alasdair Armstrong
2018-12-26More cleanupAlasdair Armstrong
2018-12-19Improve sizeof rewriting performanceAlasdair Armstrong
2018-12-18Fix rewriter issuesAlasdair Armstrong
2018-12-17Changes for ASL parserAlasdair 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-12Fix various boolean type-variable related issuesAlasdair
2018-12-11Fix all tests with type checking changesAlasdair Armstrong
2018-12-10Various changes:Alasdair Armstrong
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-12-04Simplify kinds in the ASTAlasdair Armstrong
2018-11-30Remove constraint synonymsAlasdair Armstrong
2018-11-19Merge branch 'latex' into sail2Robert Norton
2018-11-16Canonicalise functions types in val specsAlasdair Armstrong
2018-11-15ast_utils: simplify numeric constraints in inequalities.Robert Norton
2018-11-05Ensure type-synonyms are handled correctly in register dependenciesAlasdair Armstrong
2018-11-01Changes to enable analysing type errors in ASL parserAlasdair Armstrong
2018-10-31Remove Parse_ast.Int, add unique locationsAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-31Improve error messages for unsolved function quantifiersAlasdair Armstrong
2018-10-24Add constraint synonymsAlasdair Armstrong
2018-10-11Change the function type in the ASTAlasdair
2018-09-28Fix optimisation bug for certain if statementsAlasdair Armstrong
2018-09-27Add new functions in ast_util.ml for working with locationsAlasdair Armstrong
2018-09-18Fix issues with tuple Constructors taking multiple argumentsAlasdair Armstrong
2018-08-31mappings: Support for unidirectional mapping clausesJon French
2018-08-28add __POS__ argument to Err_unreachable for better error reportingJon French
2018-08-24fix a couple of pretty print inaccuraciesJon French
2018-08-23Fix interpreter after re-writer changeAlasdair Armstrong
2018-08-22Fix a bug in nested vector concatenation patternsAlasdair Armstrong
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-16Remove unused ref typeAlasdair Armstrong
2018-08-16Various cleanups to ott grammarAlasdair Armstrong
2018-07-27Make type annotations abstract in type_check.mliAlasdair Armstrong
2018-07-26Patterns: add or and not patternsAlastair Reid
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:40:54 +0000