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

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

[helm.git] / helm / software / components / binaries /

2023-02-14	Claudio Sacerdoti...	mod change (-x)	tree \| commitdiff
2023-02-04	Claudio Sacerdoti...	mod change (-x)	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	.depend{.opt} files changed	tree \| commitdiff
2015-01-22	Ferruccio Guidi	dependences update	tree \| commitdiff
2015-01-22	Ferruccio Guidi	dependences update	tree \| commitdiff
2014-07-08	Ferruccio Guidi	update for CamlP5	tree \| commitdiff
2010-03-31	Andrea Asperti	Tracing mechanism for auto. Interface changed to solve...	tree \| commitdiff
2010-03-24	Claudio Sacerdoti...	...	tree \| commitdiff
2010-03-17	Claudio Sacerdoti...	...	tree \| commitdiff
2010-02-19	Andrea Asperti	Added an implicit parameter to branch_tac to allow...	tree \| commitdiff
2009-11-16	Wilmer Ricciotti	Implementation of ndestruct tactic (including destructi...	tree \| commitdiff
2009-10-07	Claudio Sacerdoti...	- oCic2NCic and nCic2OCic moved to ng_library	tree \| commitdiff
2009-10-06	Wilmer Ricciotti	Inverters/Inversion:	tree \| commitdiff
2009-10-05	Enrico Tassi	added auto_cache in the dupable status after an	tree \| commitdiff
2009-10-02	Wilmer Ricciotti	Updated command ninverter. Syntax:	tree \| commitdiff
2009-10-02	Claudio Sacerdoti...	...	tree \| commitdiff
2009-09-30	Wilmer Ricciotti	Added initial support for inversion principles in Matit...	tree \| commitdiff
2009-09-09	Enrico Tassi	depends	tree \| commitdiff
2009-07-29	Andrea Asperti	Added the benchmark with the new demodulation function.	tree \| commitdiff
2009-07-28	denes	New reference benchmark with CPU Time	tree \| commitdiff
2009-07-27	denes	Removed internal default timeout	tree \| commitdiff
2009-07-27	denes	Removed old logs	tree \| commitdiff
2009-07-27	denes	Moved benchmarks to new folder	tree \| commitdiff
2009-07-20	denes	Removed status printing by processes	tree \| commitdiff
2009-07-20	denes	Fixed multiple printing	tree \| commitdiff
2009-07-20	Wilmer Ricciotti	Final version, submitted to CASC-22.	tree \| commitdiff
2009-07-16	denes	Sorted version of eligible problems list	tree \| commitdiff
2009-07-15	Enrico Tassi	...	tree \| commitdiff
2009-07-13	Enrico Tassi	better spacing	tree \| commitdiff
2009-07-13	Enrico Tassi	statistics are used, when possible, to sort	tree \| commitdiff
2009-07-13	denes	Added statistics printings	tree \| commitdiff
2009-07-13	Enrico Tassi	matitaprover is now flexible enough to allow the comput...	tree \| commitdiff
2009-07-13	Claudio Sacerdoti...	Coercion hiding implemented. Notes:	tree \| commitdiff
2009-07-09	Enrico Tassi	New functorialization: paramod is abstracted over a...	tree \| commitdiff
2009-07-09	Enrico Tassi	1 process for now	tree \| commitdiff
2009-07-09	Enrico Tassi	...	tree \| commitdiff
2009-07-07	Claudio Sacerdoti...	1) Include files for NG were neither recursively proces...	tree \| commitdiff
2009-07-06	denes	Fixed printing of number of problems solved	tree \| commitdiff
2009-07-02	denes	Corrected type for bag	tree \| commitdiff
2009-07-02	Enrico Tassi	better output handling	tree \| commitdiff
2009-07-01	Enrico Tassi	...	tree \| commitdiff
2009-07-01	Enrico Tassi	...	tree \| commitdiff
2009-07-01	Wilmer Ricciotti	Version number set to 1.0.0-rc1	tree \| commitdiff
2009-07-01	denes	Fixed type of bag	tree \| commitdiff
2009-06-30	Enrico Tassi	parallel	tree \| commitdiff
2009-06-30	Enrico Tassi	attempt of using 2 different orderings	tree \| commitdiff
2009-06-30	Enrico Tassi	....	tree \| commitdiff
2009-06-30	denes	Corrected a few typos	tree \| commitdiff
2009-06-30	Enrico Tassi	...	tree \| commitdiff
2009-06-29	Enrico Tassi	...	tree \| commitdiff
2009-06-29	Enrico Tassi	new make test target	tree \| commitdiff
2009-06-26	Andrea Asperti	the timeout is passed to test last chance	tree \| commitdiff
2009-06-26	Andrea Asperti	fixed parsing	tree \| commitdiff
2009-06-26	Andrea Asperti	convenient problem lists	tree \| commitdiff
2009-06-26	Andrea Asperti	an easy for loop	tree \| commitdiff
2009-06-25	Enrico Tassi	...	tree \| commitdiff
2009-06-25	Enrico Tassi	better doc	tree \| commitdiff
2009-06-25	Enrico Tassi	timeouts are passed as arguments, so that tptpprover can	tree \| commitdiff
2009-06-25	Ferruccio Guidi	- some depend files :)	tree \| commitdiff
2009-06-25	Enrico Tassi	the prover is almost OK, types in fuctors a bit extended to	tree \| commitdiff
2009-06-25	Enrico Tassi	...	tree \| commitdiff
2009-06-25	Enrico Tassi	matitaprover is almost there	tree \| commitdiff
2009-06-25	Enrico Tassi	...	tree \| commitdiff
2009-06-25	Enrico Tassi	initial import of standalone matitaprover binary	tree \| commitdiff
2009-06-15	Enrico Tassi	EXPERIMENTAL COMMIT (by CSC,actuall :-)	tree \| commitdiff
2009-06-15	Enrico Tassi	huge commit regarding the grafite_status:	tree \| commitdiff
2009-06-11	Ferruccio Guidi	- some depend files fixed	tree \| commitdiff
2009-06-10	Ferruccio Guidi	- library/list/list.ma: unused code commented	tree \| commitdiff
2009-06-09	Ferruccio Guidi	- Procedural: more support for the Debug inline option...	tree \| commitdiff
2009-06-06	Claudio Sacerdoti...	Previous commit reverted, as explained in that log.	tree \| commitdiff
2009-06-06	Claudio Sacerdoti...	This commit restores the ids_to_father_ids table.	tree \| commitdiff
2009-06-05	Ferruccio Guidi	- Procedural convertible rewrites in the conclusion...	tree \| commitdiff
2009-06-05	denes	First tests for paramodulation (pretty printer, unifica...	tree \| commitdiff
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	tree \| commitdiff
2009-05-28	Ferruccio Guidi	- cicInspect: relevant nodes count updated: letin nodes...	tree \| commitdiff
2009-05-27	Ferruccio Guidi	- Procedural: we specify more unifiers for apply to...	tree \| commitdiff
2009-05-18	Enrico Tassi	in the new kernel you can type Type[i] to mean Type_i...	tree \| commitdiff
2009-05-08	Claudio Sacerdoti...	...	tree \| commitdiff
2009-05-05	Ferruccio Guidi	- hExtlib: new function "list_assoc_all"	tree \| commitdiff
2009-04-28	Enrico Tassi	huge commit in automation:	tree \| commitdiff
2009-04-22	Ferruccio Guidi	- transcript: we have now two styles of mma's from...	tree \| commitdiff
2009-04-21	Ferruccio Guidi	- MatitaMisc: we factorized here the function out_pream...	tree \| commitdiff
2009-04-20	Enrico Tassi	- init_cache_and_tables rewritten using the automation_...	tree \| commitdiff
2009-04-16	Ferruccio Guidi	Procedural: we corrected two errors about the handling...	tree \| commitdiff
2009-04-16	Enrico Tassi	Universe is used only locally to tactics/	tree \| commitdiff
2009-04-15	Ferruccio Guidi	- transcript: bugfix	tree \| commitdiff
2009-04-14	Ferruccio Guidi	we rebuilt the dependences	tree \| commitdiff
2009-04-14	Ferruccio Guidi	- Procedural: generation of "exact" is now complete	tree \| commitdiff
2009-04-09	Enrico Tassi	...	tree \| commitdiff
2009-04-06	Claudio Sacerdoti...	New tactic clear; new syntax # _; to introduce and...	tree \| commitdiff
2009-03-30	Enrico Tassi	tentative subst-sexpand and change	tree \| commitdiff
2009-03-25	Enrico Tassi	new tactics are almost ready	tree \| commitdiff
2008-11-30	Ferruccio Guidi	lambda-delta/toplevel: improved transformation from...	tree \| commitdiff
2008-11-25	Ferruccio Guidi	cicUtil: we moved here pp_term from proceduralHelpers	tree \| commitdiff
2008-09-26	Enrico Tassi	auto was compiraing lazy proof terms with = ... fixed	tree \| commitdiff
2008-09-05	Ferruccio Guidi	transcript: we now check for non-existing objects	tree \| commitdiff
2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	tree \| commitdiff
2008-09-04	Ferruccio Guidi	transcript: we improved the parser/lexer to read the...	tree \| commitdiff
2008-08-25	Ferruccio Guidi	transcript: bug fix in the generation of axioms	tree \| commitdiff
2008-08-23	Ferruccio Guidi	Procedural: explicit flavour specification for constant...	tree \| commitdiff
next

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

RSS Atom