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

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

2012-08-29	Claudio Sacerdoti...	Code to make all global names in a file fresh.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Capitalization of variables bound in patterns fixed.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Fixed indentation, which is semantic in Haskell.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	(Part of previous two commits)	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	(Part of previous commit)	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Extraction is now integrated with the usual machinery...	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Top used also for fixes.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Match in types handled using top.	commit \| commitdiff \| tree \| snapshot
2012-08-29	Claudio Sacerdoti...	Match in types handled using Top.	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Match in classification of non-terms taken in account.	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Known bug fixed: the rhs of a match over a small single...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Wilmer Ricciotti	progress in uni_step	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Basics/logic.ma no longer raises exception.	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Bug fixed: when extracting pattern matching on singleto...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Fixed pretty-printing of types of variables bound in...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Patterns are now computed according to the extracted...	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	pattern arguments where printed in reverse order	commit \| commitdiff \| tree \| snapshot
2012-08-28	Claudio Sacerdoti...	Bug fixed: rhs in match were printed in wrong context.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Code for computing patterns the way Haskell likes them...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Fixed pretty-printing of mutual recursive stuff and...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	1. fixed pretty-printing of constructors, type variable...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Self contained now.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	1. added Skip to terms to maintain consistency between...	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Fixed left/right context distinction in inductive types.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Pretty printing of context (variable refreshing) fixed.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	size_of_type fixed and simplified	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	No pattern matching over empty types in Haskell	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Infos stored for inductive types.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Preliminary extraction of constructors.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	Added kind signatures to data declaration.	commit \| commitdiff \| tree \| snapshot
2012-08-27	Claudio Sacerdoti...	1. Dominic:	commit \| commitdiff \| tree \| snapshot
2012-08-27	Wilmer Ricciotti	End of copy.ma	commit \| commitdiff \| tree \| snapshot
2012-08-25	Ferruccio Guidi	update of logo completed!	commit \| commitdiff \| tree \| snapshot
2012-08-25	Ferruccio Guidi	still updating ...	commit \| commitdiff \| tree \| snapshot
2012-08-25	Ferruccio Guidi	we are updating the logo of lambda_delta ...	commit \| commitdiff \| tree \| snapshot
2012-08-24	Ferruccio Guidi	sample table for character classes	commit \| commitdiff \| tree \| snapshot
2012-08-24	Ferruccio Guidi	- Makefile update	commit \| commitdiff \| tree \| snapshot
2012-08-24	Ferruccio Guidi	- renaming complete	commit \| commitdiff \| tree \| snapshot
2012-08-24	Ferruccio Guidi	some renaming ...	commit \| commitdiff \| tree \| snapshot
2012-08-23	Ferruccio Guidi	we updated the contribution porting it to the new matit...	commit \| commitdiff \| tree \| snapshot
2012-08-22	Claudio Sacerdoti...	Preliminary work on (co)inductive types.	commit \| commitdiff \| tree \| snapshot
2012-08-15	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2012-08-09	Wilmer Ricciotti	Work in progress.	commit \| commitdiff \| tree \| snapshot
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	commit \| commitdiff \| tree \| snapshot
2012-08-08	Andrea Asperti	porting to termination	commit \| commitdiff \| tree \| snapshot
2012-08-07	Andrea Asperti	guarded realizability	commit \| commitdiff \| tree \| snapshot
2012-08-06	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree \| snapshot
2012-08-03	Andrea Asperti	A compiling version (not complete).	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	Bug fixed: the context generated by l.h.s. binders...	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	Pretty printing of patterns done almost correctly.	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	Tentative code for Fixpoint. Still to be completed.	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	Path fixed.	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	Code extraction branched.	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	Temporary stuff to test code extraction. Running make...	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	1. Implemented type inference for Fomega to extract...	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	Bugs fixed:	commit \| commitdiff \| tree \| snapshot
2012-08-01	Claudio Sacerdoti...	Bugs related to pretty printing of names fixed (capital...	commit \| commitdiff \| tree \| snapshot
2012-08-01	Claudio Sacerdoti...	Tests for code extraction; to be moved elsewhere.	commit \| commitdiff \| tree \| snapshot
2012-08-01	Claudio Sacerdoti...	Bug fixed: Haskell forces capitalisation.	commit \| commitdiff \| tree \| snapshot
2012-08-01	Claudio Sacerdoti...	Begin of porting of code extraction to the new Matita.	commit \| commitdiff \| tree \| snapshot
2012-07-31	Andrea Asperti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-07-31	Andrea Asperti	Termination!	commit \| commitdiff \| tree \| snapshot
2012-07-30	Wilmer Ricciotti	Wip	commit \| commitdiff \| tree \| snapshot
2012-07-30	Andrea Asperti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-07-29	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-07-29	Ferruccio Guidi	- context free computation for terms and local environments	commit \| commitdiff \| tree \| snapshot
2012-07-27	Ferruccio Guidi	additions and corrections to basic_2	commit \| commitdiff \| tree \| snapshot
2012-07-27	Ferruccio Guidi	- support for pointwise extensions of a term relation...	commit \| commitdiff \| tree \| snapshot
2012-07-27	Wilmer Ricciotti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-07-27	Andrea Asperti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-07-26	Ferruccio Guidi	polarized binders introduced in basic_2	commit \| commitdiff \| tree \| snapshot
2012-07-26	Ferruccio Guidi	- matita: reset_font_size () added after matita.conf...	commit \| commitdiff \| tree \| snapshot
2012-07-24	Ferruccio Guidi	one file was missing ...	commit \| commitdiff \| tree \| snapshot
2012-07-23	Ferruccio Guidi	- lambda_delta: we updated some notation	commit \| commitdiff \| tree \| snapshot
2012-07-22	Ferruccio Guidi	- we polarized binders to control zeta reduction	commit \| commitdiff \| tree \| snapshot
2012-07-21	Andrea Asperti	An executable version of the tutorial.	commit \| commitdiff \| tree \| snapshot
2012-07-20	Wilmer Ricciotti	progress in termination of marks.ma	commit \| commitdiff \| tree \| snapshot
2012-07-19	Claudio Sacerdoti...	One less warning.	commit \| commitdiff \| tree \| snapshot
2012-07-19	Claudio Sacerdoti...	Some debugging times exposed.	commit \| commitdiff \| tree \| snapshot
2012-07-19	Claudio Sacerdoti...	Major speed up improvement after every tactic application.	commit \| commitdiff \| tree \| snapshot
2012-07-19	Andrea Asperti	Few changes	commit \| commitdiff \| tree \| snapshot
2012-07-19	Ferruccio Guidi	- intermediate commit to allow debugging of auto tactic...	commit \| commitdiff \| tree \| snapshot
2012-07-19	Andrea Asperti	adding tutorial	commit \| commitdiff \| tree \| snapshot
2012-07-17	Andrea Asperti	porting to termination	commit \| commitdiff \| tree \| snapshot
2012-07-13	Ferruccio Guidi	- we added a time specification in the generated web...	commit \| commitdiff \| tree \| snapshot
2012-07-13	Ferruccio Guidi	more symbols added for lambda_delta	commit \| commitdiff \| tree \| snapshot
2012-07-13	Ferruccio Guidi	- dynamic type assignment dismissed for now	commit \| commitdiff \| tree \| snapshot
2012-07-10	matitaweb	commit by user mkmluser	commit \| commitdiff \| tree \| snapshot
2012-07-10	matitaweb	commit by user mkmluser	commit \| commitdiff \| tree \| snapshot
2012-07-10	matitaweb	commit by user mkmluser	commit \| commitdiff \| tree \| snapshot
2012-07-09	matitaweb	manual commit	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom