dewey/tessera
1
10
Fork 2
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Pattern match compiler with exhaustiveness checking and counterexample generation (CS4201)
16 commits 1 branch 0 tags 756 KiB
  • Haskell 98.2%
  • Shell 1.2%
  • Makefile 0.6%
Find a file
Exact
sneeker 853885e5b6
 differentially validate coverage witnesses and compiled dispatch
2020-03-25 12:00:00 +00:00
app construct missing-case witnesses for finite and integer domains 2020-02-19 12:00:00 +00:00
artifacts differentially validate coverage witnesses and compiled dispatch 2020-03-25 12:00:00 +00:00
benchmarks differentially validate coverage witnesses and compiled dispatch 2020-03-25 12:00:00 +00:00
examples implement protocol ast and instruction-selection examples 2020-03-18 12:00:00 +00:00
scripts differentially validate coverage witnesses and compiled dispatch 2020-03-25 12:00:00 +00:00
src/Tessera check match coverage across multiple arguments 2020-02-14 12:00:00 +00:00
tests differentially validate coverage witnesses and compiled dispatch 2020-03-25 12:00:00 +00:00
.gitignore differentially validate coverage witnesses and compiled dispatch 2020-03-25 12:00:00 +00:00
makefile parse algebraic declarations and ordered match clauses 2020-01-13 12:00:00 +00:00
README.md differentially validate coverage witnesses and compiled dispatch 2020-03-25 12:00:00 +00:00
tessera.cabal analyse finite inhabitants of recursive type declarations 2020-02-24 12:00:00 +00:00

README.md

a light theme vim session showing a missing case witness, the fix, the recheck, the compiled run and the strategy comparison