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

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

2015-07-14	Ferruccio Guidi	- subtraction (and related notions) removed	commit \| commitdiff \| tree \| snapshot
2015-07-07	Ferruccio Guidi	compile-time feature PROFV to profile validation withou...	commit \| commitdiff \| tree \| snapshot
2015-07-07	Ferruccio Guidi	grundlagen for coq with timing information	commit \| commitdiff \| tree \| snapshot
2015-07-07	Ferruccio Guidi	= test2 for byte and opt	commit \| commitdiff \| tree \| snapshot
2015-07-06	Ferruccio Guidi	- multi-file exportation for teyjus	commit \| commitdiff \| tree \| snapshot
2015-07-05	Ferruccio Guidi	more flexibility in the exported data for Teyjus	commit \| commitdiff \| tree \| snapshot
2015-07-04	Ferruccio Guidi	- conditional compilation continues ...	commit \| commitdiff \| tree \| snapshot
2015-07-02	Ferruccio Guidi	initial support for bytecode compilation	commit \| commitdiff \| tree \| snapshot
2015-07-01	Ferruccio Guidi	- simpler attribute system	commit \| commitdiff \| tree \| snapshot
2015-06-29	Ferruccio Guidi	we are optimizing the code by conditional compilation.	commit \| commitdiff \| tree \| snapshot
2015-06-28	Ferruccio Guidi	new semantics of the -g option completed	commit \| commitdiff \| tree \| snapshot
2015-06-27	Ferruccio Guidi	- bug fix in the static analyzer allows better Pi/foral...	commit \| commitdiff \| tree \| snapshot
2015-06-25	Ferruccio Guidi	advances on exportation to prolog	commit \| commitdiff \| tree \| snapshot
2015-06-22	Ferruccio Guidi	command line options rearranged	commit \| commitdiff \| tree \| snapshot
2015-06-19	Ferruccio Guidi	new options activated	commit \| commitdiff \| tree \| snapshot
2015-06-16	Ferruccio Guidi	new syntax of abstractions propagated to complete_rg	commit \| commitdiff \| tree \| snapshot
2015-06-10	Ferruccio Guidi	- siimplifified RTM (one register less) now counts...	commit \| commitdiff \| tree \| snapshot
2015-06-08	Ferruccio Guidi	exportation to \lambda\delta representation in elpi	commit \| commitdiff \| tree \| snapshot
2015-05-11	Ferruccio Guidi	some changes in lambdadelta butterflies	commit \| commitdiff \| tree \| snapshot
2015-03-25	Ferruccio Guidi	- revision of ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2015-03-07	Ferruccio Guidi	performance data for basic_1 on dev.helm	commit \| commitdiff \| tree \| snapshot
2015-03-06	Ferruccio Guidi	with matita 0.99.2 we can validate lambdadelta_1 (as...	commit \| commitdiff \| tree \| snapshot
2015-03-06	Ferruccio Guidi	legacy_1, ground_1, and basic_1 recommitted without...	commit \| commitdiff \| tree \| snapshot
2015-03-06	Ferruccio Guidi	updated bibliography for text J1	commit \| commitdiff \| tree \| snapshot
2015-03-06	Ferruccio Guidi	- new naming sheme for documentation yields more stable...	commit \| commitdiff \| tree \| snapshot
2015-03-05	Ferruccio Guidi	news update and some bugs fixed	commit \| commitdiff \| tree \| snapshot
2015-03-05	Ferruccio Guidi	basic_1: COMMIT COMPLETED	commit \| commitdiff \| tree \| snapshot
2015-03-05	Ferruccio Guidi	components: pc1, pc3, ty3, csubt, ex1	commit \| commitdiff \| tree \| snapshot
2015-03-05	Ferruccio Guidi	components: sc3, csubc	commit \| commitdiff \| tree \| snapshot
2015-03-04	Ferruccio Guidi	components: nf2, sn3, ex2	commit \| commitdiff \| tree \| snapshot
2015-03-04	Ferruccio Guidi	components: arity, csuba	commit \| commitdiff \| tree \| snapshot
2015-02-25	Ferruccio Guidi	component: pr3	commit \| commitdiff \| tree \| snapshot
2015-02-24	Ferruccio Guidi	components: wcpr0 pr1 pr2	commit \| commitdiff \| tree \| snapshot
2015-02-23	Ferruccio Guidi	component: pr0	commit \| commitdiff \| tree \| snapshot
2015-02-22	Ferruccio Guidi	components: A asucc aplus leq llt aprem ex0	commit \| commitdiff \| tree \| snapshot
2015-02-21	Ferruccio Guidi	- update for helena 0.8.2 and related files	commit \| commitdiff \| tree \| snapshot
2015-02-21	Ferruccio Guidi	additional commit for version 0.8.2	commit \| commitdiff \| tree \| snapshot
2015-02-19	Ferruccio Guidi	components: G, next_plus, sty0, sty1	commit \| commitdiff \| tree \| snapshot
2015-02-18	Ferruccio Guidi	first article on lambdadelta version 3	commit \| commitdiff \| tree \| snapshot
2015-02-11	Ferruccio Guidi	components: subst1 csubst0 csubst1 fsubst0	commit \| commitdiff \| tree \| snapshot
2015-02-11	Ferruccio Guidi	components: subst csubv	commit \| commitdiff \| tree \| snapshot
2015-02-10	Ferruccio Guidi	components: subst0	commit \| commitdiff \| tree \| snapshot
2015-02-09	Ferruccio Guidi	components: clen lift1 drop1	commit \| commitdiff \| tree \| snapshot
2015-02-08	Ferruccio Guidi	components: clear getl cimp	commit \| commitdiff \| tree \| snapshot
2015-02-08	Ferruccio Guidi	components cnt drop	commit \| commitdiff \| tree \| snapshot
2015-02-06	Ferruccio Guidi	some improvements in the anticipator	commit \| commitdiff \| tree \| snapshot
2015-02-05	Ferruccio Guidi	depend update	commit \| commitdiff \| tree \| snapshot
2015-02-04	Ferruccio Guidi	components C r flt app lift	commit \| commitdiff \| tree \| snapshot
2015-02-04	Ferruccio Guidi	- matitac: now directories are allowed as command line...	commit \| commitdiff \| tree \| snapshot
2015-02-04	Ferruccio Guidi	- some improvements in the generation of terms	commit \| commitdiff \| tree \| snapshot
2015-02-03	Ferruccio Guidi	- we generate the terms in anticipated form (the are...	commit \| commitdiff \| tree \| snapshot
2015-01-30	Ferruccio Guidi	porting of basic_1 for the ng_kernel: first step ...	commit \| commitdiff \| tree \| snapshot
2015-01-30	Ferruccio Guidi	notation ast updated to comply with the toplevel let...	commit \| commitdiff \| tree \| snapshot
2015-01-22	Ferruccio Guidi	refactoring of \lambda\delta version 1 in matita	commit \| commitdiff \| tree \| snapshot
2015-01-22	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree \| snapshot
2015-01-22	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree \| snapshot
2015-01-22	Ferruccio Guidi	informational page on ground_1	commit \| commitdiff \| tree \| snapshot
2015-01-20	Ferruccio Guidi	basic_1: we separate theorems and lemmas as in basic_2	commit \| commitdiff \| tree \| snapshot
2015-01-19	Ferruccio Guidi	update in web page for basic_1	commit \| commitdiff \| tree \| snapshot
2015-01-18	Ferruccio Guidi	- we add an informational page on \lambda\delta version...	commit \| commitdiff \| tree \| snapshot
2015-01-16	Ferruccio Guidi	lambdadelta_1: bugfix	commit \| commitdiff \| tree \| snapshot
2015-01-16	Ferruccio Guidi	infrastructure to browse lambdadelta_1 remotely	commit \| commitdiff \| tree \| snapshot
2015-01-15	Ferruccio Guidi	lambdadelta_1 updated with new part names	commit \| commitdiff \| tree \| snapshot
2015-01-11	Ferruccio Guidi	we restored the scripts of \lambda\delta version 1	commit \| commitdiff \| tree \| snapshot
2015-01-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2015-01-04	Ferruccio Guidi	- xhtbl: minor improvement	commit \| commitdiff \| tree \| snapshot
2014-12-31	Ferruccio Guidi	last commit for helena 0.8.2	commit \| commitdiff \| tree \| snapshot
2014-12-26	Ferruccio Guidi	the corrected "Grundlagen" is online	commit \| commitdiff \| tree \| snapshot
2014-12-25	Ferruccio Guidi	lddl update with the disambiguated "grundlagen"	commit \| commitdiff \| tree \| snapshot
2014-12-24	Ferruccio Guidi	- bugfix is refreshed state of AutCrg: now we return...	commit \| commitdiff \| tree \| snapshot
2014-12-24	Andrea Asperti	removing some old files	commit \| commitdiff \| tree \| snapshot
2014-12-24	Andrea Asperti	finite lambda calculus	commit \| commitdiff \| tree \| snapshot
2014-12-23	Andrea Asperti	A compiling version	commit \| commitdiff \| tree \| snapshot
2014-12-23	Ferruccio Guidi	- bug fix in the RTM	commit \| commitdiff \| tree \| snapshot
2014-12-23	Claudio Sacerdoti...	check removed	commit \| commitdiff \| tree \| snapshot
2014-12-23	Claudio Sacerdoti...	0.5.9 released	commit \| commitdiff \| tree \| snapshot
2014-12-16	Ferruccio Guidi	- we add the missing layer constraint on applicability...	commit \| commitdiff \| tree \| snapshot
2014-12-15	Ferruccio Guidi	now type inclusion is correctly managed in the RTM	commit \| commitdiff \| tree \| snapshot
2014-12-14	Ferruccio Guidi	- we are moving from old (patched) management of sort...	commit \| commitdiff \| tree \| snapshot
2014-12-14	Ferruccio Guidi	- we removed a flag from the kernel status	commit \| commitdiff \| tree \| snapshot
2014-12-06	Ferruccio Guidi	- helena: the improved attribute system allows to expor...	commit \| commitdiff \| tree \| snapshot
2014-12-04	Andrea Asperti	fixing	commit \| commitdiff \| tree \| snapshot
2014-12-04	Andrea Asperti	fixing	commit \| commitdiff \| tree \| snapshot
2014-12-04	Andrea Asperti	fixing	commit \| commitdiff \| tree \| snapshot
2014-12-01	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree \| snapshot
2014-11-30	Ferruccio Guidi	level disambiguation cmpleted! the Grafite file is...	commit \| commitdiff \| tree \| snapshot
2014-11-28	Ferruccio Guidi	- bug fix in the static disambiguation of unified binders	commit \| commitdiff \| tree \| snapshot
2014-11-28	Ferruccio Guidi	- the disambiguation of unified binders continues	commit \| commitdiff \| tree \| snapshot
2014-11-25	Ferruccio Guidi	- ld.dtd updated	commit \| commitdiff \| tree \| snapshot
2014-11-24	Ferruccio Guidi	- static disambiguation of Automath unified binders	commit \| commitdiff \| tree \| snapshot
2014-11-23	Ferruccio Guidi	- new attributes system	commit \| commitdiff \| tree \| snapshot
2014-11-20	Ferruccio Guidi	new intermediate language complete_rg,	commit \| commitdiff \| tree \| snapshot
2014-11-12	Ferruccio Guidi	new message reporting system improves performance signi...	commit \| commitdiff \| tree \| snapshot
2014-11-11	Ferruccio Guidi	- commit completed :)	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the commit contnues by updating the RTM and modifying...	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the commit continues	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the commit continues with some refactoring ...	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the commit continues with the support for validation...	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the partial commit continues	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	we begin the commit of the validation procedure	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom