matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2007-07-10	Claudio Sacerdoti...	New reduction strategy: the new reduction strategy...	commit \| commitdiff \| tree
2007-07-09	Claudio Sacerdoti...	Interesting theorem added (but still to be proved).	commit \| commitdiff \| tree
2007-07-05	Claudio Sacerdoti...	Exadecimal numbers are now used. This is a great speed-up.	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	Example program executed for x,y=0.	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	Quick hack: matita natural numbers are now accepted...	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	Bug fixed: a ~with_cast is now inserted when appropriate...	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	In place of conclude, obtain FIXMEXXX is now generated...	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	1. Code simplification	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	is_top_down was not propageted correctly under a bottom...	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	1. "by proof" now allowed as a justification in equality...	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	Added ~with_cast to the change tactic.	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	Bug fixed: name in letin was printed as "previous"...	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	More opcodes (badly) implemented.	commit \| commitdiff \| tree
2007-07-04	Claudio Sacerdoti...	List.ma: added function nth (with default value in...	commit \| commitdiff \| tree
2007-06-30	Claudio Sacerdoti...	In order to generate executable declarative scripts...	commit \| commitdiff \| tree
2007-06-30	Claudio Sacerdoti...	Bug fixed in bottom-up conversion.	commit \| commitdiff \| tree
2007-06-30	Claudio Sacerdoti...	BU Conversion was not generated for Rels fixed. I wonder...	commit \| commitdiff \| tree
2007-06-30	Claudio Sacerdoti...	Nicer layout but possibly more bugged.	commit \| commitdiff \| tree
2007-06-30	Claudio Sacerdoti...	Spurious "we need to prove" at the beginning of Intros...	commit \| commitdiff \| tree
2007-06-14	Claudio Sacerdoti...	Incompatible syntax problem between MySql e Sqlite3...	commit \| commitdiff \| tree
2007-06-04	Claudio Sacerdoti...	Another optimization, already done for geq.	commit \| commitdiff \| tree
2007-06-01	Claudio Sacerdoti...	Some interesting optimizations to prevent many bad...	commit \| commitdiff \| tree
2007-06-01	Claudio Sacerdoti...	Profiling enabled again.	commit \| commitdiff \| tree
2007-06-01	Claudio Sacerdoti...	I do not know why, but	commit \| commitdiff \| tree
2007-05-31	Claudio Sacerdoti...	Final (???) bug fixed.	commit \| commitdiff \| tree
2007-05-31	Claudio Sacerdoti...	DOOMSDAY 1.0:	commit \| commitdiff \| tree
2007-05-31	Claudio Sacerdoti...	Bug fixed: wrong id.	commit \| commitdiff \| tree
2007-05-31	Claudio Sacerdoti...	Ferruccio has changed the semantics of the old ~pattern...	commit \| commitdiff \| tree
2007-05-31	Claudio Sacerdoti...	More exceptions pretty-printed.	commit \| commitdiff \| tree
2007-05-30	Claudio Sacerdoti...	theory_explorer now communicates directly with matitawiki...	commit \| commitdiff \| tree
2007-05-29	Claudio Sacerdoti...	1. Profiling enabled.	commit \| commitdiff \| tree
2007-05-28	Claudio Sacerdoti...	Bug fixed (hopefully without introducing new ones)...	commit \| commitdiff \| tree
2007-05-26	Claudio Sacerdoti...	1. Now I save a log.ma file that is exactly what is...	commit \| commitdiff \| tree
2007-05-26	Claudio Sacerdoti...	log.ma is now created. But it does not contain the...	commit \| commitdiff \| tree
2007-05-25	Claudio Sacerdoti...	log.ma is now created. It records all the tests (both...	commit \| commitdiff \| tree
2007-05-25	Claudio Sacerdoti...	Yet another assert failure fixed.	commit \| commitdiff \| tree
2007-05-25	Claudio Sacerdoti...	More warnings.	commit \| commitdiff \| tree
2007-05-24	Claudio Sacerdoti...	New asserts.	commit \| commitdiff \| tree
2007-05-24	Claudio Sacerdoti...	More assert failures and some bugs (detected by assert...	commit \| commitdiff \| tree
2007-05-24	Claudio Sacerdoti...	All known bugs fixed.	commit \| commitdiff \| tree
2007-05-24	Claudio Sacerdoti...	It no longer generates double arcs between nodes.	commit \| commitdiff \| tree
2007-05-24	Claudio Sacerdoti...	Still bugged.	commit \| commitdiff \| tree
2007-05-24	Claudio Sacerdoti...	theory_explorer_do_not_trust_auto.ml is the version...	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	I am now using tred to remove transitive dependencies...	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	1. generation of log file commented out (it gets too...	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	Yet another patch to LibraryClean.	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	HSql.Error ==> HSql.Error of string	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	prerr_endine ==> debug_print everywhere	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	Reindented.	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	Even more color (for new nodes).	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	Use different colors to understand what is going on.	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	Unlinked nodes are now printed.	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	xxx.dot improved	commit \| commitdiff \| tree
2007-05-23	Claudio Sacerdoti...	Automatic exploration of the theory of intuitionistic...	commit \| commitdiff \| tree
2007-05-22	Claudio Sacerdoti...	Slightly more efficient patch.	commit \| commitdiff \| tree
2007-05-18	Claudio Sacerdoti...	In some cases (e.g. JM equality) the inversion principle...	commit \| commitdiff \| tree
2007-04-24	Claudio Sacerdoti...	goal ==> focus	commit \| commitdiff \| tree
2007-04-23	Claudio Sacerdoti...	Deprecated "goal" removed.	commit \| commitdiff \| tree
2007-04-20	Claudio Sacerdoti...	A new test on some non punctuation tacticals.	commit \| commitdiff \| tree
2007-04-20	Claudio Sacerdoti...	The declarative rewriting step now tries auto timeout...	commit \| commitdiff \| tree
2007-04-20	Claudio Sacerdoti...	added skip, removed end	commit \| commitdiff \| tree
2007-04-20	Claudio Sacerdoti...	Much ado about nothing:	commit \| commitdiff \| tree
2007-04-20	Claudio Sacerdoti...	Bug fixed: off by one array access in the last patch.	commit \| commitdiff \| tree
2007-04-20	Claudio Sacerdoti...	Interface of the argument to Continuationals.Make greately...	commit \| commitdiff \| tree
2007-04-19	Claudio Sacerdoti...	EXPERIMENTAL and _INCOMPLETE_ COMMIT:	commit \| commitdiff \| tree
2007-04-19	Claudio Sacerdoti...	The night test now shows the last commits and blames...	commit \| commitdiff \| tree
2007-04-18	Claudio Sacerdoti...	New query result diff.	commit \| commitdiff \| tree
2007-04-18	Claudio Sacerdoti...	Only benches with the same result are compared for...	commit \| commitdiff \| tree
2007-04-18	Claudio Sacerdoti...	Added new query to time-diff the last mark with the...	commit \| commitdiff \| tree
2007-04-18	Claudio Sacerdoti...	tassi/sacerdot	commit \| commitdiff \| tree
2007-03-26	Claudio Sacerdoti...	Serious bug fixed: a variable was captured during unfolding...	commit \| commitdiff \| tree
2007-03-22	Claudio Sacerdoti...	Several instances of the same bug fixed at once: when...	commit \| commitdiff \| tree
2007-03-22	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2007-03-13	Claudio Sacerdoti...	Role of	commit \| commitdiff \| tree
2007-02-09	Claudio Sacerdoti...	Avoid generating invalid names with "'" in the middle...	commit \| commitdiff \| tree
2007-02-09	Claudio Sacerdoti...	The ApplyTransformation.txt_of_term function has been...	commit \| commitdiff \| tree
2007-02-09	Claudio Sacerdoti...	Exceptions should never escape the final exception...	commit \| commitdiff \| tree
2007-02-09	Claudio Sacerdoti...	Debugging code fixed. To enable debugging just set...	commit \| commitdiff \| tree
2007-02-09	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2007-02-08	Claudio Sacerdoti...	More progress in technicalities/setoids.ma.	commit \| commitdiff \| tree
2007-02-08	Claudio Sacerdoti...	Manual for the "default" command updated.	commit \| commitdiff \| tree
2007-02-08	Claudio Sacerdoti...	* 'default "equality"' command changed to consider...	commit \| commitdiff \| tree
2007-02-08	Claudio Sacerdoti...	If a pretty printed term spans on multiple lines, then...	commit \| commitdiff \| tree
2007-02-08	Claudio Sacerdoti...	Important commit:	commit \| commitdiff \| tree
2007-02-07	Claudio Sacerdoti...	New dependency over acic_procedural.	commit \| commitdiff \| tree
2007-02-06	Claudio Sacerdoti...	More stuff in technicalities/setoids.ma	commit \| commitdiff \| tree
2007-02-06	Claudio Sacerdoti...	Debugging deactivated.	commit \| commitdiff \| tree
2007-02-06	Claudio Sacerdoti...	Bug fixed in the computation of the disambiguation...	commit \| commitdiff \| tree
2007-02-06	Claudio Sacerdoti...	Incredible bug fixed in Fix and CoFix. The types of...	commit \| commitdiff \| tree
2007-02-05	Claudio Sacerdoti...	Second formulation of a constructive (positive) proof...	commit \| commitdiff \| tree
2007-02-02	Claudio Sacerdoti...	Serious bug fixed: the types of a real mutual fix definition...	commit \| commitdiff \| tree
2007-01-31	Claudio Sacerdoti...	Several bugs fixed:	commit \| commitdiff \| tree
2007-01-31	Claudio Sacerdoti...	New test for mutual recursive definitions.	commit \| commitdiff \| tree
2007-01-30	Claudio Sacerdoti...	Proof size nicely reduced using distributive branching...	commit \| commitdiff \| tree
2007-01-30	Claudio Sacerdoti...	Even more (painful) work on setoids.	commit \| commitdiff \| tree
2007-01-30	Claudio Sacerdoti...	Behaviour of CicRefine.type_of_aux' on MutCases changed...	commit \| commitdiff \| tree
2007-01-29	Claudio Sacerdoti...	More work on setoids.	commit \| commitdiff \| tree
2007-01-29	Claudio Sacerdoti...	Some more datatypes lifted to Type.	commit \| commitdiff \| tree
2007-01-27	Claudio Sacerdoti...	Added option datatype. Required (for technicalities...	commit \| commitdiff \| tree
2007-01-26	Claudio Sacerdoti...	"Warning/error/debug/infos" messages now sent on stderr.	commit \| commitdiff \| tree
next

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

RSS Atom