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

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

2022-06-08	Ferruccio Guidi	update in lib	tree \| commitdiff
2022-01-08	Ferruccio Guidi	update in lib	tree \| commitdiff
2021-12-10	Ferruccio Guidi	update in delayed updating	tree \| commitdiff
2021-02-26	Ferruccio Guidi	propagating the arithmetics library, partial commit	tree \| commitdiff
2020-09-25	Ferruccio Guidi	minor additions to standard library	tree \| commitdiff
2020-04-30	Ferruccio Guidi	decentralized notation in lambda	tree \| commitdiff
2020-04-09	Ferruccio Guidi	renaming in basics/relations	tree \| commitdiff
2020-03-05	Ferruccio Guidi	update in standard library	tree \| commitdiff
2019-10-14	Ferruccio Guidi	backport of WIP on \lambda\delta to matita 0.99.3	tree \| commitdiff
2019-10-01	Ferruccio Guidi	Merge remote-tracking branch 'origin/matita-lablgtk3'	tree \| commitdiff
2019-09-29	Ferruccio Guidi	Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...	tree \| commitdiff
2019-09-27	Claudio Sacerdoti...	Merge branch 'declarative' into matita-lablgtk3	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Changes to declarative tactics, implementation of equal...	tree \| commitdiff
2019-09-27	Ferruccio Guidi	patches for compilation with ocaml 4.0.5	tree \| commitdiff
2019-09-27	Claudio Sacerdoti...	finite_lambda restored	tree \| commitdiff
2019-09-27	Claudio Sacerdoti...	reverse_complexity lib restored	tree \| commitdiff
2019-09-27	Claudio Sacerdoti...	Broken libs moved to broken_lib	tree \| commitdiff
2019-05-16	Ferruccio Guidi	decentralizing core notation continues ...	tree \| commitdiff
2019-01-08	Ferruccio Guidi	patches for compilation with ocaml 4.0.5	tree \| commitdiff
2019-01-01	Ferruccio Guidi	the decentralization of core notation continues ...	tree \| commitdiff
2018-12-28	Claudio Sacerdoti...	finite_lambda restored	tree \| commitdiff
2018-12-28	Claudio Sacerdoti...	reverse_complexity lib restored	tree \| commitdiff
2018-12-26	Claudio Sacerdoti...	Broken libs moved to broken_lib	tree \| commitdiff
2018-12-17	Ferruccio Guidi	list of failing files updated	tree \| commitdiff
2018-04-20	Ferruccio Guidi	decentralizing core notation continues ...	tree \| commitdiff
2018-03-29	Ferruccio Guidi	decentralizing core notation	tree \| commitdiff
2016-11-24	Ferruccio Guidi	lexer updated with the new reference syntax +	tree \| commitdiff
2016-04-18	Ferruccio Guidi	As required by M. Maietti,	tree \| commitdiff
2016-03-13	Ferruccio Guidi	- new syntax for let rec/corec with flavor specifier...	tree \| commitdiff
2015-01-07	Claudio Sacerdoti...	...	tree \| commitdiff
2014-12-24	Andrea Asperti	removing some old files	tree \| commitdiff
2014-12-24	Andrea Asperti	finite lambda calculus	tree \| commitdiff
2014-12-23	Andrea Asperti	A compiling version	tree \| commitdiff
2014-12-23	Claudio Sacerdoti...	check removed	tree \| commitdiff
2014-12-04	Andrea Asperti	fixing	tree \| commitdiff
2014-12-04	Andrea Asperti	fixing	tree \| commitdiff
2014-12-04	Andrea Asperti	fixing	tree \| commitdiff
2014-10-21	Claudio Sacerdoti...	Typos.	tree \| commitdiff
2014-09-17	Andrea Asperti	big_O.ma	tree \| commitdiff
2014-09-17	Andrea Asperti	toolkit.ma	tree \| commitdiff
2014-09-11	Claudio Sacerdoti...	...	tree \| commitdiff
2014-09-11	Claudio Sacerdoti...	...	tree \| commitdiff
2014-09-10	Claudio Sacerdoti...	New chapter on setoids.	tree \| commitdiff
2014-09-10	Claudio Sacerdoti...	chapter12 (coinductive) -> chapter13	tree \| commitdiff
2014-08-29	Claudio Sacerdoti...	Notes.	tree \| commitdiff
2014-08-29	Claudio Sacerdoti...	A tentative chaptern on coinductive types.	tree \| commitdiff
2014-08-03	Andrea Asperti	new files	tree \| commitdiff
2014-03-07	Andrea Asperti	Minor changes to make the script more robust to strateg...	tree \| commitdiff
2014-03-04	Claudio Sacerdoti...	Inclusions improved to allow compilation from the toplevel.	tree \| commitdiff
2014-02-27	Claudio Sacerdoti...	Porting of HOTT from Coq to Matita.	tree \| commitdiff
2014-01-28	Andrea Asperti	Almost there	tree \| commitdiff
2014-01-28	Andrea Asperti	progress	tree \| commitdiff
2014-01-27	Andrea Asperti	working version	tree \| commitdiff
2014-01-26	Ferruccio Guidi	nat: we added a non-indexed theorem	tree \| commitdiff
2014-01-26	Andrea Asperti	more auxiliary machines	tree \| commitdiff
2014-01-26	Ferruccio Guidi	- nat: some additions, plus_minus_commutative renamed...	tree \| commitdiff
2013-12-04	Andrea Asperti	New approach: we use "iterator" steps in place of pointers.	tree \| commitdiff
2013-12-02	Claudio Sacerdoti...	1. more bugs fixed	tree \| commitdiff
2013-12-02	Claudio Sacerdoti...	More progress.	tree \| commitdiff
2013-12-02	Claudio Sacerdoti...	Some progress in the correctness proof and a bug fixed.	tree \| commitdiff
2013-11-29	Andrea Asperti	A first example that uses a status monad where the...	tree \| commitdiff
2013-11-26	Ferruccio Guidi	- natural numbers with infinity for lambdadelta	tree \| commitdiff
2013-11-25	Ferruccio Guidi	- xoa: the definitions file now includes the notations...	tree \| commitdiff
2013-11-15	Wilmer Ricciotti	Final version of the binary machine (all proofs completed).	tree \| commitdiff
2013-11-07	Wilmer Ricciotti	Closes many daemons.	tree \| commitdiff
2013-11-06	Wilmer Ricciotti	Full rework of the semantics of the binary machine...	tree \| commitdiff
2013-11-03	Wilmer Ricciotti	Almost finished...	tree \| commitdiff
2013-11-03	Wilmer Ricciotti	Major bugfix/reorganization/improvement of the partial...	tree \| commitdiff
2013-10-28	Andrea Asperti	Splitted star	tree \| commitdiff
2013-10-25	Andrea Asperti	full.ma	tree \| commitdiff
2013-10-24	Andrea Asperti	step (almost) done	tree \| commitdiff
2013-10-24	Andrea Asperti	The step machine (draft)	tree \| commitdiff
2013-10-24	Andrea Asperti	many changes	tree \| commitdiff
2013-10-20	Wilmer Ricciotti	Completes all the phases of the binary machine (modulo...	tree \| commitdiff
2013-10-19	Andrea Asperti	Slowly porting to an enriched tape alphabet	tree \| commitdiff
2013-10-18	Andrea Asperti	The moves (almost)	tree \| commitdiff
2013-10-15	Andrea Asperti	added sem_seq_app for the mono case	tree \| commitdiff
2013-10-15	Andrea Asperti	renaming files	tree \| commitdiff
2013-10-14	Andrea Asperti	almost there	tree \| commitdiff
2013-10-14	Wilmer Ricciotti	Completed phases 0, 1, and 3.	tree \| commitdiff
2013-10-12	Andrea Asperti	Still a problem to be fixed: after reaching the border...	tree \| commitdiff
2013-10-12	Andrea Asperti	shift a trace from an extremity	tree \| commitdiff
2013-10-12	Andrea Asperti	splitting files	tree \| commitdiff
2013-10-12	Andrea Asperti	Moved multi_to_mono.ma inside multi_to_mono	tree \| commitdiff
2013-10-09	Wilmer Ricciotti	progress in the semantics of binary machines	tree \| commitdiff
2013-10-07	Wilmer Ricciotti	Starting proof about semantics of binary machines.	tree \| commitdiff
2013-10-07	Wilmer Ricciotti	Completes the definition of binaryTM.	tree \| commitdiff
2013-10-06	Andrea Asperti	progress in the deifinition of the semantics of the...	tree \| commitdiff
2013-10-03	Wilmer Ricciotti	Adds transformation of generic monotape machines into...	tree \| commitdiff
2013-10-02	Andrea Asperti	a vector of finsets is a finset (in progress)	tree \| commitdiff
2013-09-07	Ferruccio Guidi	support for nat-labeled reflexive and transitive closur...	tree \| commitdiff
2013-08-09	Ferruccio Guidi	- we added nat-labeled reflexive and transitive closure...	tree \| commitdiff
2013-08-01	Ferruccio Guidi	partial commit: just the components before "static...	tree \| commitdiff
2013-06-19	Ferruccio Guidi	- partial commit :(	tree \| commitdiff
2013-06-05	Ferruccio Guidi	some work on extended reduction ...	tree \| commitdiff
2013-05-31	Andrea Asperti	iteration.ma	tree \| commitdiff
2013-05-31	Andrea Asperti	bounded quantifiers and pidgeon_hole	tree \| commitdiff
2013-05-31	Andrea Asperti	gap.ma	tree \| commitdiff
2013-05-17	Andrea Asperti	Improved version	tree \| commitdiff
2013-05-17	Andrea Asperti	more functions	tree \| commitdiff
next

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

RSS Atom