Michael Goulet
|
b0c1474381
|
better error message for normalizes-to ambiguities
|
2024-06-12 19:03:37 -04:00 |
|
Michael Goulet
|
52b2c88bdf
|
Walk into alias-eq nested goals even if normalization fails
|
2024-06-12 19:03:37 -04:00 |
|
Michael Goulet
|
01e6b43a07
|
Mark some next-solver-behavior tests explicitly with revisions
|
2024-03-10 23:23:46 -04:00 |
|
许杰友 Jieyou Xu (Joe)
|
ec2cc761bc
|
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
|
2024-02-16 20:02:50 +00:00 |
|
whtahy
|
232d685e61
|
add known-bug test for unsound issue 57893
|
2023-04-22 00:47:07 -04:00 |
|