16 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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