 milner
|
9317226bb3
|
differentially validate coverage witnesses and compiled dispatch
|
2020-03-25 12:00:00 +00:00 |
|
|
milner
|
819e78225c
|
implement protocol ast and instruction-selection examples
|
2020-03-18 12:00:00 +00:00 |
|
|
milner
|
d38ebcf1b5
|
render labelled decision trees as graphviz diagrams
|
2020-03-13 12:00:00 +00:00 |
|
|
milner
|
b61a0893a3
|
persist trees and expose execution and diagnostic commands
|
2020-03-09 12:00:00 +00:00 |
|
|
milner
|
d543c82e41
|
select decision columns using inspection-cost heuristics
|
2020-03-04 12:00:00 +00:00 |
|
|
milner
|
d584e97680
|
compile matches into executable decision trees
|
2020-02-28 12:00:00 +00:00 |
|
|
milner
|
a37d3975ed
|
analyse finite inhabitants of recursive type declarations
|
2020-02-24 12:00:00 +00:00 |
|
|
milner
|
41291e8405
|
construct missing-case witnesses for finite and integer domains
|
2020-02-19 12:00:00 +00:00 |
|
|
milner
|
536ecdf0cf
|
check match coverage across multiple arguments
|
2020-02-14 12:00:00 +00:00 |
|
|
milner
|
7e1d712e85
|
detect redundant clauses through usefulness analysis
|
2020-02-10 12:00:00 +00:00 |
|
|
milner
|
2cbbe7bb49
|
specialise matrices by constructors and default cases
|
2020-02-05 12:00:00 +00:00 |
|
|
milner
|
d805be2117
|
represent pattern matrices and typed occurrences
|
2020-01-31 12:00:00 +00:00 |
|
|
milner
|
4fadf4bc01
|
evaluate source matches with ordered clause semantics
|
2020-01-27 12:00:00 +00:00 |
|
|
milner
|
67f24dd845
|
typecheck nested patterns and clause expressions
|
2020-01-22 12:00:00 +00:00 |
|
|
milner
|
fb0fd5431c
|
resolve constructors and validate pattern bindings
|
2020-01-17 12:00:00 +00:00 |
|
|
milner
|
e1d7c8b395
|
parse algebraic declarations and ordered match clauses
|
2020-01-13 12:00:00 +00:00 |
|