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

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

2012-05-17	Wilmer Ricciotti	Added step machine for universal machine.	commit \| commitdiff \| tree \| snapshot
2012-05-17	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-05-17	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2012-05-17	Claudio Sacerdoti...	Efficient hashing used.	commit \| commitdiff \| tree \| snapshot
2012-05-17	Claudio Sacerdoti...	hash function exported	commit \| commitdiff \| tree \| snapshot
2012-05-17	Claudio Sacerdoti...	The lpo cache is now implemented as an hastbl for more...	commit \| commitdiff \| tree \| snapshot
2012-05-17	Wilmer Ricciotti	move tape right	commit \| commitdiff \| tree \| snapshot
2012-05-17	Andrea Asperti	filtering on a list without repetitions	commit \| commitdiff \| tree \| snapshot
2012-05-17	Wilmer Ricciotti	Added null character.	commit \| commitdiff \| tree \| snapshot
2012-05-16	Claudio Sacerdoti...	Added cache to lpo implementation.	commit \| commitdiff \| tree \| snapshot
2012-05-16	Claudio Sacerdoti...	Orientation of equalities is now displayed.	commit \| commitdiff \| tree \| snapshot
2012-05-16	Claudio Sacerdoti...	Orientation of equalities is now displayed.	commit \| commitdiff \| tree \| snapshot
2012-05-16	Claudio Sacerdoti...	Removed duplicated notation and interaction with the...	commit \| commitdiff \| tree \| snapshot
2012-05-16	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-05-16	Ferruccio Guidi	- a caracterization of the top elements of the local...	commit \| commitdiff \| tree \| snapshot
2012-05-16	Claudio Sacerdoti...	Compare was not compatible with eq!	commit \| commitdiff \| tree \| snapshot
2012-05-16	Claudio Sacerdoti...	New, faster implementation of lpo checked against old...	commit \| commitdiff \| tree \| snapshot
2012-05-16	Claudio Sacerdoti...	Added alias instance=1 to avoid interaction with the...	commit \| commitdiff \| tree \| snapshot
2012-05-16	Andrea Asperti	New implementation of lpo (the previous one was sometim...	commit \| commitdiff \| tree \| snapshot
2012-05-16	Andrea Asperti	a bit more	commit \| commitdiff \| tree \| snapshot
2012-05-15	Claudio Sacerdoti...	Pruning generalized from Vars to applied Vars.	commit \| commitdiff \| tree \| snapshot
2012-05-15	Claudio Sacerdoti...	Bug fixed in does_not_occur when a LetIn was found...	commit \| commitdiff \| tree \| snapshot
2012-05-15	Claudio Sacerdoti...	print => debug	commit \| commitdiff \| tree \| snapshot
2012-05-15	Claudio Sacerdoti...	Patch by Ferruccio that enables \top/\bot for False...	commit \| commitdiff \| tree \| snapshot
2012-05-15	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-15	Ferruccio Guidi	we added the standard notation for True and False ...	commit \| commitdiff \| tree \| snapshot
2012-05-15	Claudio Sacerdoti...	Divergence during indexing fixed: (? t = t') was not...	commit \| commitdiff \| tree \| snapshot
2012-05-15	Claudio Sacerdoti...	Sys.Break no longer caught during indexing	commit \| commitdiff \| tree \| snapshot
2012-05-15	Andrea Asperti	sempre li	commit \| commitdiff \| tree \| snapshot
2012-05-15	Wilmer Ricciotti	Added universal machine (mockup)	commit \| commitdiff \| tree \| snapshot
2012-05-14	Wilmer Ricciotti	Added copy machine (mockup)	commit \| commitdiff \| tree \| snapshot
2012-05-14	Andrea Asperti	progresprogresss	commit \| commitdiff \| tree \| snapshot
2012-05-14	Andrea Asperti	almost there	commit \| commitdiff \| tree \| snapshot
2012-05-14	Andrea Asperti	progress	commit \| commitdiff \| tree \| snapshot
2012-05-11	Wilmer Ricciotti	Definition of the structure of the transition table...	commit \| commitdiff \| tree \| snapshot
2012-05-11	Andrea Asperti	poca roba	commit \| commitdiff \| tree \| snapshot
2012-05-11	Andrea Asperti	restructuring	commit \| commitdiff \| tree \| snapshot
2012-05-11	Wilmer Ricciotti	Finished wsem_compare proof.	commit \| commitdiff \| tree \| snapshot
2012-05-11	Andrea Asperti	progress	commit \| commitdiff \| tree \| snapshot
2012-05-10	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-10	Ferruccio Guidi	- notation changes in basic_2	commit \| commitdiff \| tree \| snapshot
2012-05-10	Ferruccio Guidi	- predefined_virtuals: an addition	commit \| commitdiff \| tree \| snapshot
2012-05-10	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-10	Claudio Sacerdoti...	Patch to improve the pretty-printing of error messages.	commit \| commitdiff \| tree \| snapshot
2012-05-10	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-05-10	Ferruccio Guidi	- lib: some additions	commit \| commitdiff \| tree \| snapshot
2012-05-10	Claudio Sacerdoti...	Sys.Break no longer captured in two places.	commit \| commitdiff \| tree \| snapshot
2012-05-10	Andrea Asperti	axiomatization of acc_if	commit \| commitdiff \| tree \| snapshot
2012-05-09	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-09	Wilmer Ricciotti	Progress in compare.ma (some machines have been moved...	commit \| commitdiff \| tree \| snapshot
2012-05-08	Wilmer Ricciotti	progress in turing/universal/compare.ma	commit \| commitdiff \| tree \| snapshot
2012-05-08	Wilmer Ricciotti	Added compare auxiliary machine for universal turing...	commit \| commitdiff \| tree \| snapshot
2012-05-07	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2012-05-07	Andrea Asperti	Prove di terminazione	commit \| commitdiff \| tree \| snapshot
2012-05-07	Andrea Asperti	More examples	commit \| commitdiff \| tree \| snapshot
2012-05-07	Andrea Asperti	starl	commit \| commitdiff \| tree \| snapshot
2012-05-04	Wilmer Ricciotti	Forgotten in previous commit: move_char machines.	commit \| commitdiff \| tree \| snapshot
2012-05-04	Claudio Sacerdoti...	(no commit message)	commit \| commitdiff \| tree \| snapshot
2012-05-04	Claudio Sacerdoti...	(no commit message)	commit \| commitdiff \| tree \| snapshot
2012-05-04	Wilmer Ricciotti	Added a turing/universal directory for the universal...	commit \| commitdiff \| tree \| snapshot
2012-05-04	Wilmer Ricciotti	progress	commit \| commitdiff \| tree \| snapshot
2012-05-03	Claudio Sacerdoti...	Speed up: moved a #ppterm inside the lazy it belongs to.	commit \| commitdiff \| tree \| snapshot
2012-05-03	Wilmer Ricciotti	progress in while test machine	commit \| commitdiff \| tree \| snapshot
2012-05-03	Ferruccio Guidi	additions in basic_2	commit \| commitdiff \| tree \| snapshot
2012-05-03	Ferruccio Guidi	- more properties on lifting, slicing, delifting and...	commit \| commitdiff \| tree \| snapshot
2012-05-03	Andrea Asperti	prod fin set	commit \| commitdiff \| tree \| snapshot
2012-05-03	Andrea Asperti	bool and segments of natural numbers	commit \| commitdiff \| tree \| snapshot
2012-05-02	Wilmer Ricciotti	While semantics.	commit \| commitdiff \| tree \| snapshot
2012-05-02	Andrea Asperti	split e merge	commit \| commitdiff \| tree \| snapshot
2012-05-02	Andrea Asperti	progress	commit \| commitdiff \| tree \| snapshot
2012-05-02	Andrea Asperti	while machine	commit \| commitdiff \| tree \| snapshot
2012-05-02	Wilmer Ricciotti	Added weak realizability.	commit \| commitdiff \| tree \| snapshot
2012-05-02	Andrea Asperti	Added wmono.	commit \| commitdiff \| tree \| snapshot
2012-04-30	Wilmer Ricciotti	More proofs in if-then-else machine.	commit \| commitdiff \| tree \| snapshot
2012-04-30	Andrea Asperti	Le configurazioni sono definite non su macchine ma...	commit \| commitdiff \| tree \| snapshot
2012-04-30	Andrea Asperti	Definition of accRealize	commit \| commitdiff \| tree \| snapshot
2012-04-30	Andrea Asperti	If machine	commit \| commitdiff \| tree \| snapshot
2012-04-30	Wilmer Ricciotti	Monotape turing machines update.	commit \| commitdiff \| tree \| snapshot
2012-04-27	Wilmer Ricciotti	more loop proofs	commit \| commitdiff \| tree \| snapshot
2012-04-27	Wilmer Ricciotti	loop functions	commit \| commitdiff \| tree \| snapshot
2012-04-27	Andrea Asperti	loop functions	commit \| commitdiff \| tree \| snapshot
2012-04-27	Andrea Asperti	Mono tape turing machines	commit \| commitdiff \| tree \| snapshot
2012-04-27	Andrea Asperti	Extensions to finset (sum) and auxiliary lemmas.	commit \| commitdiff \| tree \| snapshot
2012-04-26	Ferruccio Guidi	- notation (possibly affecting all .ma files):	commit \| commitdiff \| tree \| snapshot
2012-04-25	Ferruccio Guidi	additions in basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-25	Ferruccio Guidi	- lambda_delta: bug fix in static type assignment	commit \| commitdiff \| tree \| snapshot
2012-04-24	Wilmer Ricciotti	Update to universal turing machine (preliminaries).	commit \| commitdiff \| tree \| snapshot
2012-04-24	Wilmer Ricciotti	More turing machines (still not compiling)	commit \| commitdiff \| tree \| snapshot
2012-04-24	Wilmer Ricciotti	Started converting informal definition of the machines...	commit \| commitdiff \| tree \| snapshot
2012-04-23	Wilmer Ricciotti	Added universal turing machines (only comments for...	commit \| commitdiff \| tree \| snapshot
2012-04-21	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-21	Ferruccio Guidi	- lambda_delta: static type assignment is defined	commit \| commitdiff \| tree \| snapshot
2012-04-19	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-19	Ferruccio Guidi	- firs theorems on native type assignment	commit \| commitdiff \| tree \| snapshot
2012-04-17	Claudio Sacerdoti...	Fixed w.r.t. new yelp.	commit \| commitdiff \| tree \| snapshot
2012-04-16	Ferruccio Guidi	- milestone update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-04-16	Ferruccio Guidi	- subject equivalence for atomic arity assignment compl...	commit \| commitdiff \| tree \| snapshot
2012-04-13	Andrea Asperti	Definition of complexity	commit \| commitdiff \| tree \| snapshot
2012-04-10	matitaweb	commit by user ricciott	commit \| commitdiff \| tree \| snapshot
2012-04-10	matitaweb	commit by user	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom