-
853885e5b6
differentially validate coverage witnesses and compiled dispatch
master
sneeker
2020-03-25 12:00:00 +00:00
-
5e8bc13794
implement protocol ast and instruction-selection examples
sneeker
2020-03-18 12:00:00 +00:00
-
d16ff1aa0d
render labelled decision trees as graphviz diagrams
sneeker
2020-03-13 12:00:00 +00:00
-
e8a2f30163
persist trees and expose execution and diagnostic commands
sneeker
2020-03-09 12:00:00 +00:00
-
6d750d74c9
select decision columns using inspection-cost heuristics
sneeker
2020-03-04 12:00:00 +00:00
-
048910f945
compile matches into executable decision trees
sneeker
2020-02-28 12:00:00 +00:00
-
a3c6216bb6
analyse finite inhabitants of recursive type declarations
sneeker
2020-02-24 12:00:00 +00:00
-
8d303292d9
construct missing-case witnesses for finite and integer domains
sneeker
2020-02-19 12:00:00 +00:00
-
06520bb54c
check match coverage across multiple arguments
sneeker
2020-02-14 12:00:00 +00:00
-
7cead3848e
detect redundant clauses through usefulness analysis
sneeker
2020-02-10 12:00:00 +00:00
-
e02c5b3559
specialise matrices by constructors and default cases
sneeker
2020-02-05 12:00:00 +00:00
-
c19434936d
represent pattern matrices and typed occurrences
sneeker
2020-01-31 12:00:00 +00:00
-
1963651fbb
evaluate source matches with ordered clause semantics
sneeker
2020-01-27 12:00:00 +00:00
-
e8d5e19344
typecheck nested patterns and clause expressions
sneeker
2020-01-22 12:00:00 +00:00
-
c08983f97e
resolve constructors and validate pattern bindings
sneeker
2020-01-17 12:00:00 +00:00
-
1f2da0302b
parse algebraic declarations and ordered match clauses
sneeker
2020-01-13 12:00:00 +00:00