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

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

2012-06-11	Claudio Sacerdoti...	New nohyps option for /demod/	commit \| commitdiff \| tree \| snapshot
2012-06-08	Claudio Sacerdoti...	New flags for demod:	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	move_char.ma	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	merging of char_move_c and char_move_l	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	A recompiling version	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	Dropping a coercion and some hints due to conflicts...	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	Modifications and refactoring	commit \| commitdiff \| tree \| snapshot
2012-06-08	Claudio Sacerdoti...	Msg reporting via HLogger in the error window made...	commit \| commitdiff \| tree \| snapshot
2012-06-07	Claudio Sacerdoti...	Patch to avoid generating _inv_ind_recTX for X the...	commit \| commitdiff \| tree \| snapshot
2012-06-07	Claudio Sacerdoti...	Sys.Break no longer catched	commit \| commitdiff \| tree \| snapshot
2012-06-07	Claudio Sacerdoti...	New debugging switch in the interface.	commit \| commitdiff \| tree \| snapshot
2012-06-06	Wilmer Ricciotti	More conjectures proved.	commit \| commitdiff \| tree \| snapshot
2012-06-06	Andrea Asperti	new version of move_char_l suign swap	commit \| commitdiff \| tree \| snapshot
2012-06-06	Andrea Asperti	swap machine; move_char revisited	commit \| commitdiff \| tree \| snapshot
2012-06-06	Andrea Asperti	restructuring	commit \| commitdiff \| tree \| snapshot
2012-06-06	Andrea Asperti	Restructuring	commit \| commitdiff \| tree \| snapshot
2012-06-05	Andrea Asperti	Some results on relations. Moved things around.	commit \| commitdiff \| tree \| snapshot
2012-06-05	Andrea Asperti	Completed all proofs in if_machine	commit \| commitdiff \| tree \| snapshot
2012-06-04	Ferruccio Guidi	an addition to basic_2	commit \| commitdiff \| tree \| snapshot
2012-06-04	Ferruccio Guidi	- lambda_delta: subject reduction for nativa type assig...	commit \| commitdiff \| tree \| snapshot
2012-06-04	Andrea Asperti	semantics of the if-machine.	commit \| commitdiff \| tree \| snapshot
2012-06-04	Andrea Asperti	notation	commit \| commitdiff \| tree \| snapshot
2012-06-04	Andrea Asperti	comments	commit \| commitdiff \| tree \| snapshot
2012-06-02	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-06-02	Ferruccio Guidi	- predefined_virtuals: an addition	commit \| commitdiff \| tree \| snapshot
2012-06-01	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	commit \| commitdiff \| tree \| snapshot
2012-06-01	Andrea Asperti	Ci siamo quasi	commit \| commitdiff \| tree \| snapshot
2012-06-01	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-06-01	Ferruccio Guidi	- predefined_virtuals: some additions	commit \| commitdiff \| tree \| snapshot
2012-05-31	Claudio Sacerdoti...	Thanks to Guarrigue, code for Serializer functor simpli...	commit \| commitdiff \| tree \| snapshot
2012-05-31	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-30	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-05-30	Ferruccio Guidi	- nDestructTac: Sys.break handled in two places	commit \| commitdiff \| tree \| snapshot
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-30	Andrea Asperti	some progress	commit \| commitdiff \| tree \| snapshot
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-29	Andrea Asperti	The universal machine!!!	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	trans_step.ma	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	porting move_tape.ma	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	porting move_char_l.ma	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	porting of move_char_c	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	more typos	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	typos	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	graph of a function	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	FinOpt	commit \| commitdiff \| tree \| snapshot
2012-05-28	Andrea Asperti	mem, split	commit \| commitdiff \| tree \| snapshot
2012-05-28	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-26	Ferruccio Guidi	tentative specification of Conway's construction for...	commit \| commitdiff \| tree \| snapshot
2012-05-25	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-05-25	Ferruccio Guidi	- substitution lemma for native type assignmenr proved!	commit \| commitdiff \| tree \| snapshot
2012-05-25	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-25	Andrea Asperti	Porting to the new defintion of finset	commit \| commitdiff \| tree \| snapshot
2012-05-25	Andrea Asperti	New definition of finset.	commit \| commitdiff \| tree \| snapshot
2012-05-25	Andrea Asperti	a bit faster	commit \| commitdiff \| tree \| snapshot
2012-05-24	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-24	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-23	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-23	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-21	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-21	Wilmer Ricciotti	Added move_tape.ma	commit \| commitdiff \| tree \| snapshot
2012-05-21	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-21	Andrea Asperti	New version of init copy	commit \| commitdiff \| tree \| snapshot
2012-05-18	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-18	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-18	Andrea Asperti	init_copy init_match	commit \| commitdiff \| tree \| snapshot
2012-05-18	Wilmer Ricciotti	Progress in semantics of the copy machine.	commit \| commitdiff \| tree \| snapshot
2012-05-17	Ferruccio Guidi	depenences fixup	commit \| commitdiff \| tree \| snapshot
2012-05-17	Andrea Asperti	init_match	commit \| commitdiff \| tree \| snapshot
2012-05-17	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
2012-05-17	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom