]>
2004-02-04 | Claudio Sacerdoti... | Added newline. | tree | commitdiff |
2004-02-04 | Claudio Sacerdoti... | Effects of fixing bugs for other regression tests ;-) | tree | commitdiff |
2004-02-04 | Andrea Asperti | Added a new example. | tree | commitdiff |
2004-02-04 | Claudio Sacerdoti... | report files are now produced (and removed) during... | tree | commitdiff |
2004-02-04 | Claudio Sacerdoti... | ... | tree | commitdiff |
2004-02-04 | Claudio Sacerdoti... | - regtest: better argument handling (using Arg) | tree | commitdiff |
2004-02-03 | Claudio Sacerdoti... | regression tests | tree | commitdiff |
2004-02-03 | Claudio Sacerdoti... | New tests for lambdas (that show bugs in applications ;-) | tree | commitdiff |
2004-02-02 | Stefano Zacchiroli | fact regtest | tree | commitdiff |
2004-01-30 | Stefano Zacchiroli | added regression tests | tree | commitdiff |