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

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

2016-03-23	Ferruccio Guidi	- ng_kernel: we print the offending term when guarded_by_con...	commit \| commitdiff \| tree
2016-03-21	Ferruccio Guidi	update in ground_2	commit \| commitdiff \| tree
2016-03-21	Ferruccio Guidi	rtmaps with finite colength	commit \| commitdiff \| tree
2016-03-18	Ferruccio Guidi	advances in the theory of drops, lexs, and frees ...	commit \| commitdiff \| tree
2016-03-13	Ferruccio Guidi	- new syntax for let rec/corec with flavor specifier...	commit \| commitdiff \| tree
2016-03-10	Ferruccio Guidi	- ground_2: some additions	commit \| commitdiff \| tree
2016-03-10	Ferruccio Guidi	partial commit in the relocation component to move...	commit \| commitdiff \| tree
2016-03-07	Ferruccio Guidi	more results on after ...	commit \| commitdiff \| tree
2016-03-04	Ferruccio Guidi	small improvements and corrections ...	commit \| commitdiff \| tree
2016-03-04	Ferruccio Guidi	some corrections ...	commit \| commitdiff \| tree
2016-03-04	Ferruccio Guidi	mailstone in ground_2 ...	commit \| commitdiff \| tree
2016-03-04	Ferruccio Guidi	commitcompleted: some files were missing :(	commit \| commitdiff \| tree
2016-03-04	Ferruccio Guidi	rtmap (platform-indepent multple relocation): application...	commit \| commitdiff \| tree
2016-03-02	Ferruccio Guidi	- second precommit for rtmap	commit \| commitdiff \| tree
2016-02-23	Ferruccio Guidi	precommit for rtmap ...	commit \| commitdiff \| tree
2016-02-21	Ferruccio Guidi	MaTeX	commit \| commitdiff \| tree
2016-02-15	Ferruccio Guidi	now every object is output in a LaTeX environment,...	commit \| commitdiff \| tree
2016-02-10	Ferruccio Guidi	first commit for lreq ...	commit \| commitdiff \| tree
2016-02-10	Ferruccio Guidi	- ground_2: update ...	commit \| commitdiff \| tree
2016-02-10	Ferruccio Guidi	pre commit for lexs ...	commit \| commitdiff \| tree
2016-02-09	Ferruccio Guidi	general slicing reactivated ...	commit \| commitdiff \| tree
2016-02-07	Ferruccio Guidi	update in ground_2	commit \| commitdiff \| tree
2016-02-07	Ferruccio Guidi	- ground_2: support for relocation updated	commit \| commitdiff \| tree
2016-02-04	Ferruccio Guidi	- ground_2: relocation with nstream is now based on...	commit \| commitdiff \| tree
2016-02-02	Ferruccio Guidi	- scope management completed	commit \| commitdiff \| tree
2016-02-02	Ferruccio Guidi	- scope management begins...	commit \| commitdiff \| tree
2016-02-01	Ferruccio Guidi	improved style sheet	commit \| commitdiff \| tree
2016-01-31	Ferruccio Guidi	renaming ...	commit \| commitdiff \| tree
2016-01-30	Ferruccio Guidi	some renaming ...	commit \| commitdiff \| tree
2016-01-29	Ferruccio Guidi	lift functions and identity map	commit \| commitdiff \| tree
2016-01-26	Ferruccio Guidi	lexicon commands must tbe parsed before grafite commands...	commit \| commitdiff \| tree
2016-01-23	Ferruccio Guidi	documentation update	commit \| commitdiff \| tree
2016-01-20	Ferruccio Guidi	nstream: composition completed :)	commit \| commitdiff \| tree
2016-01-14	Ferruccio Guidi	ground_2: web page update	commit \| commitdiff \| tree
2016-01-13	Ferruccio Guidi	missing notation file	commit \| commitdiff \| tree
2016-01-13	Ferruccio Guidi	- ng_kernel: catched Invalid_argument "List.nth" in...	commit \| commitdiff \| tree
2016-01-11	Ferruccio Guidi	- plain anticipation for CIC proofs terms	commit \| commitdiff \| tree
2016-01-04	Ferruccio Guidi	- Const is now processed properly	commit \| commitdiff \| tree
2015-12-30	Ferruccio Guidi	more minor bugs fixed in the web site	commit \| commitdiff \| tree
2015-12-30	Ferruccio Guidi	minor bugs fixed in the web site, and minor updates	commit \| commitdiff \| tree
2015-12-30	Ferruccio Guidi	site update for helena 0.8.3	commit \| commitdiff \| tree
2015-12-29	Ferruccio Guidi	- final commit for helena 0.8.3	commit \| commitdiff \| tree
2015-12-26	Ferruccio Guidi	minor bug fixes ...	commit \| commitdiff \| tree
2015-12-26	Ferruccio Guidi	bug fixes ...	commit \| commitdiff \| tree
2015-12-21	Ferruccio Guidi	byproducts of compilation ignored for svn	commit \| commitdiff \| tree
2015-12-21	Ferruccio Guidi	- First commit of MaTeX:	commit \| commitdiff \| tree
2015-12-10	Ferruccio Guidi	web site minor update	commit \| commitdiff \| tree
2015-12-10	Ferruccio Guidi	web site update	commit \| commitdiff \| tree
2015-10-30	Ferruccio Guidi	update in ground_2	commit \| commitdiff \| tree
2015-10-29	Ferruccio Guidi	- matita: computed auto traces now include the "width...	commit \| commitdiff \| tree
2015-10-25	Ferruccio Guidi	theory of relocation updated .....	commit \| commitdiff \| tree
2015-10-25	Ferruccio Guidi	theory of generic slicing almost completed ....	commit \| commitdiff \| tree
2015-10-21	Ferruccio Guidi	parked material ...	commit \| commitdiff \| tree
2015-10-21	Ferruccio Guidi	new results on multiple relocation	commit \| commitdiff \| tree
2015-10-21	Ferruccio Guidi	theory of multiple relocation completed	commit \| commitdiff \| tree
2015-10-21	Ferruccio Guidi	minor update	commit \| commitdiff \| tree
2015-10-14	Ferruccio Guidi	stats updated for ground_2	commit \| commitdiff \| tree
2015-10-14	Ferruccio Guidi	commit in ground_2	commit \| commitdiff \| tree
2015-10-14	Ferruccio Guidi	colength and identity relocation	commit \| commitdiff \| tree
2015-10-11	Ferruccio Guidi	milestone in ground_2	commit \| commitdiff \| tree
2015-10-11	Ferruccio Guidi	ground_2: added missing file	commit \| commitdiff \| tree
2015-10-11	Ferruccio Guidi	ground_2 milestone: multiple relocation with lists...	commit \| commitdiff \| tree
2015-09-24	Ferruccio Guidi	first constructions with classes	commit \| commitdiff \| tree
2015-09-23	Ferruccio Guidi	optional parameters added to the syntax of definitions,	commit \| commitdiff \| tree
2015-09-20	Ferruccio Guidi	limits: we set up a different foundation	commit \| commitdiff \| tree
2015-09-20	Ferruccio Guidi	old files (re)moved	commit \| commitdiff \| tree
2015-09-12	Ferruccio Guidi	minor site update	commit \| commitdiff \| tree
2015-09-08	Ferruccio Guidi	refactoring meta files for procedural reconstruction...	commit \| commitdiff \| tree
2015-09-07	Ferruccio Guidi	- simplified Makefile.defs using the ?= assignment	commit \| commitdiff \| tree
2015-09-06	Ferruccio Guidi	scripts for lambdadelta_1 updated with minor corrections	commit \| commitdiff \| tree
2015-09-06	Ferruccio Guidi	- the `Implied attribute is now printed	commit \| commitdiff \| tree
2015-09-06	Ferruccio Guidi	flavour and source information exported for the objects...	commit \| commitdiff \| tree
2015-09-05	Ferruccio Guidi	last comment was incomplete by mistake.	commit \| commitdiff \| tree
2015-09-05	Ferruccio Guidi	- New attribute `Implied put beside `Generated and...	commit \| commitdiff \| tree
2015-09-04	Ferruccio Guidi	typo corrected in bibliography	commit \| commitdiff \| tree
2015-09-02	Ferruccio Guidi	last commit completed :)	commit \| commitdiff \| tree
2015-09-02	Ferruccio Guidi	updated bibliography	commit \| commitdiff \| tree
2015-08-07	Ferruccio Guidi	new version of J3a submitted to JFR	commit \| commitdiff \| tree
2015-07-14	Ferruccio Guidi	- subtraction (and related notions) removed	commit \| commitdiff \| tree
2015-07-07	Ferruccio Guidi	compile-time feature PROFV to profile validation without...	commit \| commitdiff \| tree
2015-07-07	Ferruccio Guidi	grundlagen for coq with timing information	commit \| commitdiff \| tree
2015-07-07	Ferruccio Guidi	= test2 for byte and opt	commit \| commitdiff \| tree
2015-07-06	Ferruccio Guidi	- multi-file exportation for teyjus	commit \| commitdiff \| tree
2015-07-05	Ferruccio Guidi	more flexibility in the exported data for Teyjus	commit \| commitdiff \| tree
2015-07-04	Ferruccio Guidi	- conditional compilation continues ...	commit \| commitdiff \| tree
2015-07-02	Ferruccio Guidi	initial support for bytecode compilation	commit \| commitdiff \| tree
2015-07-01	Ferruccio Guidi	- simpler attribute system	commit \| commitdiff \| tree
2015-06-29	Ferruccio Guidi	we are optimizing the code by conditional compilation.	commit \| commitdiff \| tree
2015-06-28	Ferruccio Guidi	new semantics of the -g option completed	commit \| commitdiff \| tree
2015-06-27	Ferruccio Guidi	- bug fix in the static analyzer allows better Pi/forall...	commit \| commitdiff \| tree
2015-06-25	Ferruccio Guidi	advances on exportation to prolog	commit \| commitdiff \| tree
2015-06-22	Ferruccio Guidi	command line options rearranged	commit \| commitdiff \| tree
2015-06-19	Ferruccio Guidi	new options activated	commit \| commitdiff \| tree
2015-06-16	Ferruccio Guidi	new syntax of abstractions propagated to complete_rg	commit \| commitdiff \| tree
2015-06-10	Ferruccio Guidi	- siimplifified RTM (one register less) now counts...	commit \| commitdiff \| tree
2015-06-08	Ferruccio Guidi	exportation to \lambda\delta representation in elpi	commit \| commitdiff \| tree
2015-05-11	Ferruccio Guidi	some changes in lambdadelta butterflies	commit \| commitdiff \| tree
2015-03-25	Ferruccio Guidi	- revision of ground_2 and basic_2	commit \| commitdiff \| tree
2015-03-07	Ferruccio Guidi	performance data for basic_1 on dev.helm	commit \| commitdiff \| tree
2015-03-06	Ferruccio Guidi	with matita 0.99.2 we can validate lambdadelta_1 (as...	commit \| commitdiff \| tree
next

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

RSS Atom