 Ulf Norell
|
552987aa01
More fine-grained blocking (#4782)
|
4 år sedan |
 Víctor López Juan
|
c445e699d8
[ enhance ] Use distinct exit codes for TCM errors, impossibles, etc.
|
5 år sedan |
|
Ulf Norell
|
36e4dc3a17
[ fix #3606 ] don't print problem ids in constraints unless they block other constraints
|
5 år sedan |
 Jesper Cockx
|
273b080874
[ #3813 ] Proper shadowing rules for let-bound variables
|
5 år sedan |
 Andrés Sicard-Ramírez
|
17a99bf8b8
Fixed golden file.
|
5 år sedan |
 Andreas Abel
|
0f19b421a2
[ test/Bugs ] remove debug output from Issue325b
|
5 år sedan |
 G. Allais
|
08dd23df8d
[ fix #3129 ] add 'bugs' target to the test suite (#3970)
|
5 år sedan |
