projects
/
helm.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
helm.git
2016-03-21
Ferruccio Guidi
rtmaps with finite colength
commit
|
commitdiff
|
tree
|
snapshot
2016-03-18
Ferruccio Guidi
advances in the theory of drops, lexs, and frees ...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Ferruccio Guidi
- new syntax for let rec/corec with flavor specifier...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-10
Ferruccio Guidi
- ground_2: some additions
commit
|
commitdiff
|
tree
|
snapshot
2016-03-10
Ferruccio Guidi
partial commit in the relocation component to move...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-07
Ferruccio Guidi
more results on after ...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-04
Ferruccio Guidi
small improvements and corrections ...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-04
Ferruccio Guidi
some corrections ...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-04
Ferruccio Guidi
mailstone in ground_2 ...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-04
Ferruccio Guidi
commitcompleted: some files were missing :(
commit
|
commitdiff
|
tree
|
snapshot
2016-03-04
Ferruccio Guidi
rtmap (platform-indepent multple relocation): applicati...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-02
Ferruccio Guidi
- second precommit for rtmap
commit
|
commitdiff
|
tree
|
snapshot
2016-02-23
Ferruccio Guidi
precommit for rtmap ...
commit
|
commitdiff
|
tree
|
snapshot
2016-02-21
Ferruccio Guidi
MaTeX
commit
|
commitdiff
|
tree
|
snapshot
2016-02-15
Ferruccio Guidi
now every object is output in a LaTeX environment,...
commit
|
commitdiff
|
tree
|
snapshot
2016-02-10
Ferruccio Guidi
first commit for lreq ...
commit
|
commitdiff
|
tree
|
snapshot
2016-02-10
Ferruccio Guidi
- ground_2: update ...
commit
|
commitdiff
|
tree
|
snapshot
2016-02-10
Ferruccio Guidi
pre commit for lexs ...
commit
|
commitdiff
|
tree
|
snapshot
2016-02-09
Ferruccio Guidi
general slicing reactivated ...
commit
|
commitdiff
|
tree
|
snapshot
2016-02-07
Ferruccio Guidi
update in ground_2
commit
|
commitdiff
|
tree
|
snapshot
2016-02-07
Ferruccio Guidi
- ground_2: support for relocation updated
commit
|
commitdiff
|
tree
|
snapshot
2016-02-04
Ferruccio Guidi
- ground_2: relocation with nstream is now based on...
commit
|
commitdiff
|
tree
|
snapshot
2016-02-02
Ferruccio Guidi
- scope management completed
commit
|
commitdiff
|
tree
|
snapshot
2016-02-02
Ferruccio Guidi
- scope management begins...
commit
|
commitdiff
|
tree
|
snapshot
2016-02-01
Ferruccio Guidi
improved style sheet
commit
|
commitdiff
|
tree
|
snapshot
2016-01-31
Ferruccio Guidi
renaming ...
commit
|
commitdiff
|
tree
|
snapshot
2016-01-30
Ferruccio Guidi
some renaming ...
commit
|
commitdiff
|
tree
|
snapshot
2016-01-29
Ferruccio Guidi
lift functions and identity map
commit
|
commitdiff
|
tree
|
snapshot
2016-01-26
Ferruccio Guidi
lexicon commands must tbe parsed before grafite command...
commit
|
commitdiff
|
tree
|
snapshot
2016-01-23
Ferruccio Guidi
documentation update
commit
|
commitdiff
|
tree
|
snapshot
2016-01-20
Ferruccio Guidi
nstream: composition completed :)
commit
|
commitdiff
|
tree
|
snapshot
2016-01-14
Ferruccio Guidi
ground_2: web page update
commit
|
commitdiff
|
tree
|
snapshot
2016-01-13
Ferruccio Guidi
missing notation file
commit
|
commitdiff
|
tree
|
snapshot
2016-01-13
Ferruccio Guidi
- ng_kernel: catched Invalid_argument "List.nth" in...
commit
|
commitdiff
|
tree
|
snapshot
2016-01-11
Ferruccio Guidi
- plain anticipation for CIC proofs terms
commit
|
commitdiff
|
tree
|
snapshot
2016-01-04
Ferruccio Guidi
- Const is now processed properly
commit
|
commitdiff
|
tree
|
snapshot
2015-12-30
Ferruccio Guidi
more minor bugs fixed in the web site
commit
|
commitdiff
|
tree
|
snapshot
2015-12-30
Ferruccio Guidi
minor bugs fixed in the web site, and minor updates
commit
|
commitdiff
|
tree
|
snapshot
2015-12-30
Ferruccio Guidi
site update for helena 0.8.3
commit
|
commitdiff
|
tree
|
snapshot
2015-12-29
Ferruccio Guidi
- final commit for helena 0.8.3
commit
|
commitdiff
|
tree
|
snapshot
2015-12-26
Ferruccio Guidi
minor bug fixes ...
commit
|
commitdiff
|
tree
|
snapshot
2015-12-26
Ferruccio Guidi
bug fixes ...
commit
|
commitdiff
|
tree
|
snapshot
2015-12-21
Ferruccio Guidi
byproducts of compilation ignored for svn
commit
|
commitdiff
|
tree
|
snapshot
2015-12-21
Ferruccio Guidi
- First commit of MaTeX:
commit
|
commitdiff
|
tree
|
snapshot
2015-12-10
Ferruccio Guidi
web site minor update
commit
|
commitdiff
|
tree
|
snapshot
2015-12-10
Ferruccio Guidi
web site update
commit
|
commitdiff
|
tree
|
snapshot
2015-10-30
Ferruccio Guidi
update in ground_2
commit
|
commitdiff
|
tree
|
snapshot
2015-10-29
Ferruccio Guidi
- matita: computed auto traces now include the "width...
commit
|
commitdiff
|
tree
|
snapshot
2015-10-25
Ferruccio Guidi
theory of relocation updated .....
commit
|
commitdiff
|
tree
|
snapshot
2015-10-25
Ferruccio Guidi
theory of generic slicing almost completed ....
commit
|
commitdiff
|
tree
|
snapshot
2015-10-21
Ferruccio Guidi
parked material ...
commit
|
commitdiff
|
tree
|
snapshot
2015-10-21
Ferruccio Guidi
new results on multiple relocation
commit
|
commitdiff
|
tree
|
snapshot
2015-10-21
Ferruccio Guidi
theory of multiple relocation completed
commit
|
commitdiff
|
tree
|
snapshot
2015-10-21
Ferruccio Guidi
minor update
commit
|
commitdiff
|
tree
|
snapshot
2015-10-14
Ferruccio Guidi
stats updated for ground_2
commit
|
commitdiff
|
tree
|
snapshot
2015-10-14
Ferruccio Guidi
commit in ground_2
commit
|
commitdiff
|
tree
|
snapshot
2015-10-14
Ferruccio Guidi
colength and identity relocation
commit
|
commitdiff
|
tree
|
snapshot
2015-10-11
Ferruccio Guidi
milestone in ground_2
commit
|
commitdiff
|
tree
|
snapshot
2015-10-11
Ferruccio Guidi
ground_2: added missing file
commit
|
commitdiff
|
tree
|
snapshot
2015-10-11
Ferruccio Guidi
ground_2 milestone: multiple relocation with lists...
commit
|
commitdiff
|
tree
|
snapshot
2015-09-24
Ferruccio Guidi
first constructions with classes
commit
|
commitdiff
|
tree
|
snapshot
2015-09-23
Ferruccio Guidi
optional parameters added to the syntax of definitions,
commit
|
commitdiff
|
tree
|
snapshot
2015-09-20
Ferruccio Guidi
limits: we set up a different foundation
commit
|
commitdiff
|
tree
|
snapshot
2015-09-20
Ferruccio Guidi
old files (re)moved
commit
|
commitdiff
|
tree
|
snapshot
2015-09-12
Ferruccio Guidi
minor site update
commit
|
commitdiff
|
tree
|
snapshot
2015-09-08
Ferruccio Guidi
refactoring meta files for procedural reconstruction...
commit
|
commitdiff
|
tree
|
snapshot
2015-09-07
Ferruccio Guidi
- simplified Makefile.defs using the ?= assignment
commit
|
commitdiff
|
tree
|
snapshot
2015-09-06
Ferruccio Guidi
scripts for lambdadelta_1 updated with minor corrections
commit
|
commitdiff
|
tree
|
snapshot
2015-09-06
Ferruccio Guidi
- the `Implied attribute is now printed
commit
|
commitdiff
|
tree
|
snapshot
2015-09-06
Ferruccio Guidi
flavour and source information exported for the objects...
commit
|
commitdiff
|
tree
|
snapshot
2015-09-05
Ferruccio Guidi
last comment was incomplete by mistake.
commit
|
commitdiff
|
tree
|
snapshot
2015-09-05
Ferruccio Guidi
- New attribute `Implied put beside `Generated and...
commit
|
commitdiff
|
tree
|
snapshot
2015-09-04
Ferruccio Guidi
typo corrected in bibliography
commit
|
commitdiff
|
tree
|
snapshot
2015-09-02
Ferruccio Guidi
last commit completed :)
commit
|
commitdiff
|
tree
|
snapshot
2015-09-02
Ferruccio Guidi
updated bibliography
commit
|
commitdiff
|
tree
|
snapshot
2015-08-07
Ferruccio Guidi
new version of J3a submitted to JFR
commit
|
commitdiff
|
tree
|
snapshot
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
next