|
|
826dde759f
|
Finish a draft of the UCC evaluator article
|
2021-11-28 16:50:28 -08:00 |
|
|
|
30c395151d
|
Use a different representation of values and prove equivalence of UCC evalutor
|
2021-11-28 01:08:56 -08:00 |
|
|
|
abdc8e5056
|
Cleanup DawnEval.v
|
2021-11-27 14:17:09 -08:00 |
|
|
|
bc754c7a7d
|
Start working on a verified UCC evaluator.
|
2021-11-26 01:40:04 -08:00 |
|
