matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/regtest.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/regtest.ml

[helm.git] / helm / gTopLevel / regtest.ml

2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	blob \| commitdiff \| raw
2004-11-26	Stefano Zacchiroli	ported to Mysql	blob \| commitdiff \| raw \| diff to current
2004-03-05	Claudio Sacerdoti...	HelmLogger logging function connected to MathQL Interpr...	blob \| commitdiff \| raw \| diff to current
2004-03-02	Claudio Sacerdoti...	Big bug fixed: batchParser applied the varsprefix prefi...	blob \| commitdiff \| raw \| diff to current
2004-03-02	Stefano Zacchiroli	- regtest now handles more than one interpretation...	blob \| commitdiff \| raw \| diff to current
2004-03-02	Claudio Sacerdoti...	The regression tests now check also the generated disam...	blob \| commitdiff \| raw \| diff to current
2004-03-02	Claudio Sacerdoti...	Regtest fixed. It can now work also with multiple answers.	blob \| commitdiff \| raw \| diff to current
2004-03-02	Claudio Sacerdoti...	The disambiguation now returns a list of interpretations.	blob \| commitdiff \| raw \| diff to current
2004-02-26	Claudio Sacerdoti...	One MQInterpreter commit broke regtest.ml. Fixed.	blob \| commitdiff \| raw \| diff to current
2004-02-18	Ferruccio Guidi	mathql interpreter flags can be now red from helm registry	blob \| commitdiff \| raw \| diff to current
2004-02-18	Ferruccio Guidi	batchParser and regtest patched to avoid a non encapsul...	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	new getter, logger, and the hell	blob \| commitdiff \| raw \| diff to current
2004-02-07	Stefano Zacchiroli	- added options "-vars" and "-varsprefix"	blob \| commitdiff \| raw \| diff to current
2004-02-05	Stefano Zacchiroli	flush stdout after print_string	blob \| commitdiff \| raw \| diff to current
2004-02-04	Claudio Sacerdoti...	report files are now produced (and removed) during...	blob \| commitdiff \| raw \| diff to current
2004-02-04	Claudio Sacerdoti...	Improved regression testing reporting.	blob \| commitdiff \| raw \| diff to current
2004-02-04	Claudio Sacerdoti...	- regtest: better argument handling (using Arg)	blob \| commitdiff \| raw \| diff to current
2004-02-03	Stefano Zacchiroli	- comment inside .test file that explain what follows	blob \| commitdiff \| raw \| diff to current
2004-02-03	Claudio Sacerdoti...	Check missed: the two metasenv were not compared.	blob \| commitdiff \| raw \| diff to current
2004-02-03	Claudio Sacerdoti...	Debuggin infos removed.	blob \| commitdiff \| raw \| diff to current
2004-02-03	Claudio Sacerdoti...	- do not crash any longer if type-checking or reduction...	blob \| commitdiff \| raw \| diff to current
2004-02-03	Stefano Zacchiroli	catch exceptions and mark corresponding tests as failed	blob \| commitdiff \| raw \| diff to current
2004-01-30	Stefano Zacchiroli	added regression tests	blob \| commitdiff \| raw \| diff to current

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

RSS Atom