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

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

2007-04-27	Andrea Asperti	Apply_with_subst now returns a subst with a correct...	commit \| commitdiff \| tree \| snapshot
2007-04-26	Ferruccio Guidi	procedural: bug fixes	commit \| commitdiff \| tree \| snapshot
2007-04-26	Ferruccio Guidi	bug fix in subst tactic	commit \| commitdiff \| tree \| snapshot
2007-04-24	Claudio Sacerdoti...	goal ==> focus	commit \| commitdiff \| tree \| snapshot
2007-04-24	Andrea Asperti	Subsumption_subst re-added to initial.	commit \| commitdiff \| tree \| snapshot
2007-04-24	Andrea Asperti	@	commit \| commitdiff \| tree \| snapshot
2007-04-23	Claudio Sacerdoti...	Deprecated "goal" removed.	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	A new test on some non punctuation tacticals.	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	The declarative rewriting step now tries auto timeout...	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	added skip, removed end	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	Much ado about nothing:	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	Bug fixed: off by one array access in the last patch.	commit \| commitdiff \| tree \| snapshot
2007-04-20	Enrico Tassi	developments root are now part of default inclusion...	commit \| commitdiff \| tree \| snapshot
2007-04-20	Enrico Tassi	added library_auto/ to tests.	commit \| commitdiff \| tree \| snapshot
2007-04-20	Enrico Tassi	fixed paths and prefixes of included files	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	Interface of the argument to Continuationals.Make great...	commit \| commitdiff \| tree \| snapshot
2007-04-20	Cristian Armentano	changed base uri	commit \| commitdiff \| tree \| snapshot
2007-04-20	Cristian Armentano	initial import	commit \| commitdiff \| tree \| snapshot
2007-04-19	Claudio Sacerdoti...	EXPERIMENTAL and _INCOMPLETE_ COMMIT:	commit \| commitdiff \| tree \| snapshot
2007-04-19	Claudio Sacerdoti...	The night test now shows the last commits and blames...	commit \| commitdiff \| tree \| snapshot
2007-04-18	Enrico Tassi	more discriminate	commit \| commitdiff \| tree \| snapshot
2007-04-18	Enrico Tassi	handles failures (sometimes you can't inject)	commit \| commitdiff \| tree \| snapshot
2007-04-18	Claudio Sacerdoti...	New query result diff.	commit \| commitdiff \| tree \| snapshot
2007-04-18	Claudio Sacerdoti...	Only benches with the same result are compared for...	commit \| commitdiff \| tree \| snapshot
2007-04-18	Claudio Sacerdoti...	Added new query to time-diff the last mark with the...	commit \| commitdiff \| tree \| snapshot
2007-04-18	Claudio Sacerdoti...	tassi/sacerdot	commit \| commitdiff \| tree \| snapshot
2007-04-17	Ferruccio Guidi	"end" keyword added	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	one more step toward a decent destruct	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	RT_BASEDIR changed to a sensible path	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	broken list fix	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	fixed a list.nth called on a too short list	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	added generation of hne and heq problems	commit \| commitdiff \| tree \| snapshot
2007-04-16	Enrico Tassi	better simplify	commit \| commitdiff \| tree \| snapshot
2007-04-16	Enrico Tassi	simplify has a brand new semantics!	commit \| commitdiff \| tree \| snapshot
2007-04-16	Ferruccio Guidi	subst tactic put in a file on its own	commit \| commitdiff \| tree \| snapshot
2007-04-16	Enrico Tassi	closed all axioms	commit \| commitdiff \| tree \| snapshot
2007-04-12	Enrico Tassi	HACK for indtype checking	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	fixed case	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	set -> type	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	match x in IDENT and not TERM	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	still not completely working but at least non dumb...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	you can case even if only a right appears... so, substi...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-06	Enrico Tassi	eval_from_stream is now tail recursive!	commit \| commitdiff \| tree \| snapshot
2007-04-05	Enrico Tassi	pattern with match fixed	commit \| commitdiff \| tree \| snapshot
2007-04-05	Enrico Tassi	many printings added	commit \| commitdiff \| tree \| snapshot
2007-04-05	Enrico Tassi	fixed the pretty (notation aware) printer	commit \| commitdiff \| tree \| snapshot
2007-04-04	Ferruccio Guidi	alpha equivalence fixed: in the case "meta against...	commit \| commitdiff \| tree \| snapshot
2007-04-04	Ferruccio Guidi	alpha equivalence test factorized and moved to CicUtil	commit \| commitdiff \| tree \| snapshot
2007-04-03	Enrico Tassi	new case implementation	commit \| commitdiff \| tree \| snapshot
2007-04-02	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree \| snapshot
2007-04-02	Ferruccio Guidi	Procedural: refactoring	commit \| commitdiff \| tree \| snapshot
2007-04-02	Ferruccio Guidi	Cic2acic : added some debugging information	commit \| commitdiff \| tree \| snapshot
2007-04-02	Enrico Tassi	added some tests for cases	commit \| commitdiff \| tree \| snapshot
2007-04-02	Enrico Tassi	hopefully fixed cases implementation	commit \| commitdiff \| tree \| snapshot
2007-03-30	Ferruccio Guidi	Optimizer: refactored according to its formal description	commit \| commitdiff \| tree \| snapshot
2007-03-26	Claudio Sacerdoti...	Serious bug fixed: a variable was captured during unfol...	commit \| commitdiff \| tree \| snapshot
2007-03-26	Enrico Tassi	added eta expansion to avoid universe inconsistency.	commit \| commitdiff \| tree \| snapshot
2007-03-22	Claudio Sacerdoti...	Several instances of the same bug fixed at once: when...	commit \| commitdiff \| tree \| snapshot
2007-03-22	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2007-03-16	Ferruccio Guidi	elim tactic: it needs two arguments, a term as well...	commit \| commitdiff \| tree \| snapshot
2007-03-16	Andrea Asperti	New contrib moebius.ma.	commit \| commitdiff \| tree \| snapshot
2007-03-16	Andrea Asperti	Extensions required for the moebius function (in Z).	commit \| commitdiff \| tree \| snapshot
2007-03-13	Claudio Sacerdoti...	Role of	commit \| commitdiff \| tree \| snapshot
2007-03-13	Ferruccio Guidi	elim tactic: now takes a pattern instead of just a...	commit \| commitdiff \| tree \| snapshot
2007-03-13	Andrea Asperti	Few theorems added.`	commit \| commitdiff \| tree \| snapshot
2007-03-13	Andrea Asperti	new version of div_and_mod	commit \| commitdiff \| tree \| snapshot
2007-03-13	Andrea Asperti	Capturing Invalid_argument inside pp (otherwise we...	commit \| commitdiff \| tree \| snapshot
2007-03-11	Ferruccio Guidi	case to elim conversion works fine	commit \| commitdiff \| tree \| snapshot
2007-03-10	Ferruccio Guidi	added a test for rewrite under Pi	commit \| commitdiff \| tree \| snapshot
2007-03-10	Ferruccio Guidi	rewrite tactic: bug fix in rewriting under Pi's:	commit \| commitdiff \| tree \| snapshot
2007-03-09	Ferruccio Guidi	Procedural: 2 bug fix in eta expansion + 1 bug fix...	commit \| commitdiff \| tree \| snapshot
2007-03-08	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree \| snapshot
2007-03-07	Ferruccio Guidi	Procedural: bug fix	commit \| commitdiff \| tree \| snapshot
2007-03-07	Ferruccio Guidi	Relational: one file was missing :-)	commit \| commitdiff \| tree \| snapshot
2007-03-07	Ferruccio Guidi	Procedural : cic object preprocessor added	commit \| commitdiff \| tree \| snapshot
2007-03-02	Ferruccio Guidi	Procedural: now patterns for rewrite are generated...	commit \| commitdiff \| tree \| snapshot
2007-03-01	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree \| snapshot
2007-03-01	Ferruccio Guidi	procedural proof of ty3_gen_cast	commit \| commitdiff \| tree \| snapshot
2007-03-01	Enrico Zoli	"by j let x : T such that P(x)" generalized to allow...	commit \| commitdiff \| tree \| snapshot
2007-02-27	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-27	Ferruccio Guidi	- Procedural: some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-26	Ferruccio Guidi	decompose: delta-expansion of the type to eliminate...	commit \| commitdiff \| tree \| snapshot
2007-02-25	Ferruccio Guidi	RELATIONAL: new undecomposable definition of NLE	commit \| commitdiff \| tree \| snapshot
2007-02-21	Ferruccio Guidi	decompose now works without premises	commit \| commitdiff \| tree \| snapshot
2007-02-21	Ferruccio Guidi	procedural : some improvements.	commit \| commitdiff \| tree \| snapshot
2007-02-20	Ferruccio Guidi	acic_procedural: changed module compilation order	commit \| commitdiff \| tree \| snapshot
2007-02-20	notin	small fix to make it compile again	commit \| commitdiff \| tree \| snapshot
2007-02-19	Enrico Tassi	added some code to print the praamodulation proofs...	commit \| commitdiff \| tree \| snapshot
2007-02-19	Ferruccio Guidi	Unified-Sub: lift_comm completed	commit \| commitdiff \| tree \| snapshot
2007-02-17	Ferruccio Guidi	contribs: some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-15	Ferruccio Guidi	contribs: some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-15	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree \| snapshot
2007-02-14	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-14	Ferruccio Guidi	Procedural : some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-12	Ferruccio Guidi	LexiconAstPp: fixed syntax for include	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom