WIP: GADT-aware patmat exhaustivity checking#3454

Closed

abgruszecki wants to merge 6 commits intoscala:masterfrom

abgruszecki:wip/gadt-patmat-exhaustivity-checker

Commits on Nov 22, 2017

Add new space definitions and operations
Aleksander Boruch-Gruszecki
committed
Add NaiveConstraintChecker
Aleksander Boruch-Gruszecki
committed
SpaceEngine: implement debug functions
Aleksander Boruch-Gruszecki
committed
Rename Space.scala to SpaceEngine.scala
Aleksander Boruch-Gruszecki
committed
Use new code in SpaceEngine
Aleksander Boruch-Gruszecki
committed
Workaround for #3479 #1932
Aleksander Boruch-Gruszecki
committed