lcnr
|
b64b25b99e
|
normalizes-to disable infer var check
|
2024-10-21 16:25:42 +02:00 |
|
Michael Goulet
|
8528387743
|
Be better at reporting alias errors
|
2024-10-15 20:42:17 -04:00 |
|
Michael Goulet
|
44040a0670
|
Also passthrough for projection clauses
|
2024-06-12 19:10:02 -04:00 |
|
lcnr
|
24b5466892
|
drop region constraints for ambiguous goals
|
2024-05-24 20:32:35 +00:00 |
|
Michael Goulet
|
3e03b1b190
|
Use a proof tree visitor to refine the Obligation for error reporting
|
2024-05-02 21:56:14 -04:00 |
|
lcnr
|
efa4269e54
|
move tests
|
2024-03-18 16:29:00 +01:00 |
|
lcnr
|
f26e1e8b63
|
NormalizesTo return nested goals
|
2024-03-18 15:53:16 +01:00 |
|
Michael Goulet
|
0b6b3307fc
|
Move project -> normalize, move normalize tests
|
2024-03-11 19:16:39 +00:00 |
|