]>
2006-03-30 | Claudio Sacerdoti... | Added deadline (now 30s) to each test. | blob | commitdiff | raw |
2006-03-27 | Claudio Sacerdoti... | * trust = true | blob | commitdiff | raw | diff to current |
2006-03-27 | Claudio Sacerdoti... | More robust handling of Control-C. | blob | commitdiff | raw | diff to current |
2006-03-27 | Claudio Sacerdoti... | Flush stdout added in proper position. | blob | commitdiff | raw | diff to current |
2006-03-24 | Claudio Sacerdoti... | Unable to parse my own output. Fixed. | blob | commitdiff | raw | diff to current |
2006-03-24 | Claudio Sacerdoti... | % forgot in the output | blob | commitdiff | raw | diff to current |
2006-03-24 | Claudio Sacerdoti... | Serious test for the Coq library added (name test_library). | blob | commitdiff | raw | diff to current |