| 2008-02-24 |
Ferruccio Guidi | $(H) added :) |
tree | commitdiff |
| 2008-02-24 |
Ferruccio Guidi | LAMBDA-TYPES: dependences calculation improved |
tree | commitdiff |
| 2008-02-23 |
Ferruccio Guidi | LAMBDA-TYPES: |
tree | commitdiff |
| 2008-02-22 |
Ferruccio Guidi | - added some options to matitadep: -stdout and -exclude |
tree | commitdiff |
| 2008-02-22 |
Wilmer Ricciotti | sieve of erathostene (proof of soundness almost done) |
tree | commitdiff |
| 2008-02-21 |
Claudio Sacerdoti... | A new very simple example for recursive functions.... |
tree | commitdiff |
| 2008-02-21 |
Claudio Sacerdoti... | Avoid translating back recursive fixes to the same... |
tree | commitdiff |
| 2008-02-21 |
Claudio Sacerdoti... | Avoid application to 0 arguments. |
tree | commitdiff |
| 2008-02-21 |
Claudio Sacerdoti... | Better handling of exceptions. |
tree | commitdiff |
| 2008-02-21 |
Ferruccio Guidi | svn:ignores fixed |
tree | commitdiff |
| 2008-02-20 |
Ferruccio Guidi | -onepass option removed from Makefile to comile Base... |
tree | commitdiff |
| 2008-02-20 |
Ferruccio Guidi | LambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES |
tree | commitdiff |
| 2008-02-20 |
Enrico Tassi | splat_args is now better understood and debugged: we... |
tree | commitdiff |
| 2008-02-20 |
Enrico Tassi | added small test, fixed some bugs |
tree | commitdiff |
| 2008-02-20 |
Enrico Tassi | many fixed in translation functions |
tree | commitdiff |
| 2008-02-19 |
Ferruccio Guidi | dependences needed a fix :) |
tree | commitdiff |
| 2008-02-19 |
Ferruccio Guidi | we are moving the devel root one dir level up |
tree | commitdiff |
| 2008-02-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-02-19 |
Enrico Tassi | snapshot inverse tranformation |
tree | commitdiff |
| 2008-02-19 |
Enrico Tassi | transformation almost finisced, not tested |
tree | commitdiff |
| 2008-02-19 |
Ferruccio Guidi | now inline "file.ma" is allowed. |
tree | commitdiff |
| 2008-02-19 |
Andrea Asperti | Added o.ma (some results about the magnitude of functio... |
tree | commitdiff |
| 2008-02-19 |
Enrico Tassi | initial steps of convertibility |
tree | commitdiff |
| 2008-02-18 |
Enrico Tassi | some bits of reduction, reusing psubst |
tree | commitdiff |
| 2008-02-18 |
Andrea Asperti | Complete proof of Bertrand for n >= 256. |
tree | commitdiff |
| 2008-02-14 |
Andrea Asperti | Prima versione di bertrand. Tanti cambiamenti qua e la. |
tree | commitdiff |
| 2008-02-13 |
Ferruccio Guidi | baseuris removed from files |
tree | commitdiff |
| 2008-02-13 |
Ferruccio Guidi | fixed dependences |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | conversion half inplemented |
tree | commitdiff |
| 2008-02-13 |
Ferruccio Guidi | renaming |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | reordered cases |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | reorganization of sources |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | substituion and lifting implemented |
tree | commitdiff |
| 2008-02-13 |
Ferruccio Guidi | renaming |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | factorized common components of objects |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | added Local pragma, moved leftno and inductive into... |
tree | commitdiff |
| 2008-02-13 |
Enrico Tassi | added leftno to indtypes, better indentation and comments |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | nCic almost finished |
tree | commitdiff |
| 2008-02-12 |
Ferruccio Guidi | renaming |
tree | commitdiff |
| 2008-02-12 |
Ferruccio Guidi | regeneration with new results |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | fixed path for matitadep |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | fixed make dist |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | better error message in case inclusion failed |
tree | commitdiff |
| 2008-02-12 |
Enrico Tassi | allow to use "../foo/bar.ma" as a path for the include... |
tree | commitdiff |
| 2008-02-08 |
Andrea Asperti | progress. |
tree | commitdiff |
| 2008-02-08 |
Claudio Sacerdoti... | A formalization of modified realisability with truth... |
tree | commitdiff |
| 2008-02-08 |
Claudio Sacerdoti... | Bug fixed in generation of elimination principles of... |
tree | commitdiff |
| 2008-02-08 |
Claudio Sacerdoti... | prodT merged with prod |
tree | commitdiff |
| 2008-02-07 |
Claudio Sacerdoti... | ProdT was a perfect copy of Prod. Removed. |
tree | commitdiff |
| 2008-02-07 |
Andrea Asperti | Results about Chebyshev teta function. |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | cic defined (half) |
tree | commitdiff |
| 2008-02-05 |
Andrea Asperti | Some more theorems. |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | reindent |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | oldenv2newenv cache |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | uri and references(uri) |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | uri -> reference (2) |
tree | commitdiff |
| 2008-02-05 |
Enrico Tassi | uri -> reference |
tree | commitdiff |
| 2008-02-05 |
Wilmer Ricciotti | lower bound for neper's constant |
tree | commitdiff |
| 2008-02-04 |
Enrico Tassi | sad snapshot |
tree | commitdiff |
| 2008-02-04 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-02-04 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-02-04 |
Andrea Asperti | Improved approximations for A and prim. |
tree | commitdiff |
| 2008-02-04 |
Andrea Asperti | Some improvement. |
tree | commitdiff |
| 2008-02-01 |
Enrico Tassi | very bad bug found, asert false in cicReduction when... |
tree | commitdiff |
| 2008-01-31 |
Wilmer Ricciotti | One Obj.magic implemented, trust changed to false. |
tree | commitdiff |
| 2008-01-31 |
Wilmer Ricciotti | Transformation back and forth between old and new repre... |
tree | commitdiff |
| 2008-01-31 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-01-31 |
Enrico Tassi | new uri defined |
tree | commitdiff |
| 2008-01-31 |
Wilmer Ricciotti | Square root added. |
tree | commitdiff |
| 2008-01-31 |
Enrico Tassi | snapshot] |
tree | commitdiff |
| 2008-01-31 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-01-30 |
Enrico Tassi | added meta for the new kernel |
tree | commitdiff |
| 2008-01-30 |
Enrico Tassi | stub functions to make all compile |
tree | commitdiff |
| 2008-01-30 |
Enrico Tassi | basic organization of the new kernel |
tree | commitdiff |
| 2008-01-30 |
Andrea Asperti | Improved approximations |
tree | commitdiff |
| 2008-01-29 |
Andrea Asperti | New approximtions. |
tree | commitdiff |
| 2008-01-24 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-01-23 |
Enrico Tassi | snapshot with more duality, almost where we left withou... |
tree | commitdiff |
| 2008-01-22 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-01-22 |
Wilmer Ricciotti | Bertrand's conjecture (weak), some work in progress |
tree | commitdiff |
| 2008-01-21 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-01-21 |
Claudio Sacerdoti... | Matitac now accepts multiple targets :-) (but only... |
tree | commitdiff |
| 2008-01-21 |
Claudio Sacerdoti... | Hack for code extraction re-linked, but disactivated. |
tree | commitdiff |
| 2008-01-21 |
Claudio Sacerdoti... | Old tiny freescale experiment get rid of. |
tree | commitdiff |
| 2008-01-21 |
Claudio Sacerdoti... | Typo fixed. |
tree | commitdiff |
| 2008-01-21 |
Enrico Tassi | snopshot before isabellization |
tree | commitdiff |
| 2008-01-16 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-01-16 |
Enrico Tassi | 3.27 ok |
tree | commitdiff |
| 2008-01-16 |
Enrico Tassi | yes! the lattice_(#) -> prelattice(<) -> lattice(<... |
tree | commitdiff |
| 2008-01-15 |
Wilmer Ricciotti | update: upper bound for prim |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | more lemmas, til 3.26 |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | new deps |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | first lemma |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | fixed a pulback and proved 3.17 |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | added some doc |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | user time is now printed correctly |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | better parsing of the root file |
tree | commitdiff |
| 2008-01-14 |
Enrico Tassi | fixed uris |
tree | commitdiff |
| 2008-01-14 |
Wilmer Ricciotti | Chebyshev's upper bound on prim |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | removed path for contribs |
tree | commitdiff |
| next |
projects / helm.git / history