matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/utilities/test

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/utilities/test_library.ml

2006-04-13	Claudio Sacerdoti...	Utime + Systime used in place of gettimeofday.	blob \| commitdiff \| raw
2006-04-11	Claudio Sacerdoti...	CicEnvironment is emptied when a size treshold is reached.	blob \| commitdiff \| raw \| diff to current
2006-03-30	Claudio Sacerdoti...	Added deadline (now 30s) to each test.	blob \| commitdiff \| raw \| diff to current
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

Unnamed repository; edit this file 'description' to name the repository.