| 2008-03-05 |
Enrico Tassi | from now on, export MATITA_EXTRACT=true to extract
|
commit | commitdiff | tree |
| 2008-03-05 |
Enrico Tassi | verbosity increased in case of error
|
commit | commitdiff | tree |
| 2008-02-28 |
Enrico Tassi | firs attempt to compile with ocamlbuild
|
commit | commitdiff | tree |
| 2008-02-20 |
Enrico Tassi | splat_args is now better understood and debugged: we...
|
commit | commitdiff | tree |
| 2008-02-20 |
Enrico Tassi | added small test, fixed some bugs
|
commit | commitdiff | tree |
| 2008-02-20 |
Enrico Tassi | many fixed in translation functions
|
commit | commitdiff | tree |
| 2008-02-19 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-02-19 |
Enrico Tassi | snapshot inverse tranformation
|
commit | commitdiff | tree |
| 2008-02-19 |
Enrico Tassi | transformation almost finisced, not tested
|
commit | commitdiff | tree |
| 2008-02-19 |
Enrico Tassi | initial steps of convertibility
|
commit | commitdiff | tree |
| 2008-02-18 |
Enrico Tassi | some bits of reduction, reusing psubst
|
commit | commitdiff | tree |
| 2008-02-13 |
Enrico Tassi | conversion half inplemented
|
commit | commitdiff | tree |
| 2008-02-13 |
Enrico Tassi | reordered cases
|
commit | commitdiff | tree |
| 2008-02-13 |
Enrico Tassi | reorganization of sources
|
commit | commitdiff | tree |
| 2008-02-13 |
Enrico Tassi | substituion and lifting implemented
|
commit | commitdiff | tree |
| 2008-02-13 |
Enrico Tassi | factorized common components of objects
|
commit | commitdiff | tree |
| 2008-02-13 |
Enrico Tassi | added Local pragma, moved leftno and inductive into...
|
commit | commitdiff | tree |
| 2008-02-13 |
Enrico Tassi | added leftno to indtypes, better indentation and comments
|
commit | commitdiff | tree |
| 2008-02-12 |
Enrico Tassi | nCic almost finished
|
commit | commitdiff | tree |
| 2008-02-12 |
Enrico Tassi | fixed path for matitadep
|
commit | commitdiff | tree |
| 2008-02-12 |
Enrico Tassi | fixed make dist
|
commit | commitdiff | tree |
| 2008-02-12 |
Enrico Tassi | better error message in case inclusion failed
|
commit | commitdiff | tree |
| 2008-02-12 |
Enrico Tassi | allow to use "../foo/bar.ma" as a path for the include...
|
commit | commitdiff | tree |
| 2008-02-05 |
Enrico Tassi | cic defined (half)
|
commit | commitdiff | tree |
| 2008-02-05 |
Enrico Tassi | reindent
|
commit | commitdiff | tree |
| 2008-02-05 |
Enrico Tassi | oldenv2newenv cache
|
commit | commitdiff | tree |
| 2008-02-05 |
Enrico Tassi | uri and references(uri)
|
commit | commitdiff | tree |
| 2008-02-05 |
Enrico Tassi | uri -> reference (2)
|
commit | commitdiff | tree |
| 2008-02-05 |
Enrico Tassi | uri -> reference
|
commit | commitdiff | tree |
| 2008-02-04 |
Enrico Tassi | sad snapshot
|
commit | commitdiff | tree |
| 2008-02-04 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2008-02-04 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2008-02-01 |
Enrico Tassi | very bad bug found, asert false in cicReduction when...
|
commit | commitdiff | tree |
| 2008-01-31 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2008-01-31 |
Enrico Tassi | new uri defined
|
commit | commitdiff | tree |
| 2008-01-31 |
Enrico Tassi | snapshot]
|
commit | commitdiff | tree |
| 2008-01-31 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2008-01-30 |
Enrico Tassi | added meta for the new kernel
|
commit | commitdiff | tree |
| 2008-01-30 |
Enrico Tassi | stub functions to make all compile
|
commit | commitdiff | tree |
| 2008-01-30 |
Enrico Tassi | basic organization of the new kernel
|
commit | commitdiff | tree |
| 2008-01-24 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-01-23 |
Enrico Tassi | snapshot with more duality, almost where we left without...
|
commit | commitdiff | tree |
| 2008-01-22 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-01-21 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2008-01-21 |
Enrico Tassi | snopshot before isabellization
|
commit | commitdiff | tree |
| 2008-01-16 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2008-01-16 |
Enrico Tassi | 3.27 ok
|
commit | commitdiff | tree |
| 2008-01-16 |
Enrico Tassi | yes! the lattice_(#) -> prelattice(<) -> lattice(<...
|
commit | commitdiff | tree |
| 2008-01-14 |
Enrico Tassi | more lemmas, til 3.26
|
commit | commitdiff | tree |
| 2008-01-14 |
Enrico Tassi | new deps
|
commit | commitdiff | tree |
| 2008-01-14 |
Enrico Tassi | first lemma
|
commit | commitdiff | tree |
| 2008-01-14 |
Enrico Tassi | fixed a pulback and proved 3.17
|
commit | commitdiff | tree |
| 2008-01-14 |
Enrico Tassi | added some doc
|
commit | commitdiff | tree |
| 2008-01-14 |
Enrico Tassi | user time is now printed correctly
|
commit | commitdiff | tree |
| 2008-01-14 |
Enrico Tassi | better parsing of the root file
|
commit | commitdiff | tree |
| 2008-01-14 |
Enrico Tassi | fixed uris
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | removed path for contribs
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | added a warning when a file is not compiled cause its...
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | Make does not even try to build files that would be...
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | I'll talk again with ferruccio, for the moment this...
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | another fix to make it more resistant
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | many sed to use notation for rewriting
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | .opt before .byte
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | ugly hack to make matitac not exit when called on a...
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | added a warning if the baseuri we want to clean is...
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | -dot fixed, now the .dot file contains also edges
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | increased timout
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | removed useless assertion
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | increased a timeout, matitac (not .opt) should be able...
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | added Sys.catch_break true
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | cache for mtime of files is not polluted with None...
|
commit | commitdiff | tree |
| 2008-01-11 |
Enrico Tassi | Make was caching too much, thus some targets were not...
|
commit | commitdiff | tree |
| 2008-01-10 |
Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE
|
commit | commitdiff | tree |
| 2008-01-03 |
Enrico Tassi | implementation of the make algorithm, still unfinished.
|
commit | commitdiff | tree |
| 2007-12-19 |
Enrico Tassi | accepts the poly shape for gviz maps
|
commit | commitdiff | tree |
| 2007-12-10 |
Enrico Tassi | more chosmetic
|
commit | commitdiff | tree |
| 2007-12-10 |
Enrico Tassi | sandeich lemma makeup
|
commit | commitdiff | tree |
| 2007-12-08 |
Enrico Tassi | the is_structure is a bad idea if you don't have canonical...
|
commit | commitdiff | tree |
| 2007-12-06 |
Enrico Tassi | excede->excess
|
commit | commitdiff | tree |
| 2007-12-06 |
Enrico Tassi | excedence -> excess
|
commit | commitdiff | tree |
| 2007-12-06 |
Enrico Tassi | weight -> value
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | refactoring of some lemmas, shorter proofs
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | added do_heavy_checks documentation
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | do_heavy_checks not always true, take ths option from...
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | added do_heavy_checks default
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | if parameter type is given, this assert is false
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | sandwitch theorem done
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | removed all the axioms!!!
|
commit | commitdiff | tree |
| 2007-12-04 |
Enrico Tassi | sligtly more general results, still to reorganize
|
commit | commitdiff | tree |
| 2007-12-03 |
Enrico Tassi | ok
|
commit | commitdiff | tree |
| 2007-12-03 |
Enrico Tassi | 1 lemma left!!!!
|
commit | commitdiff | tree |
| 2007-12-01 |
Enrico Tassi | carabinieri almost done
|
commit | commitdiff | tree |
| 2007-11-30 |
Enrico Tassi | carabinieri almost done
|
commit | commitdiff | tree |
| 2007-11-30 |
Enrico Tassi | cleanup of the eq_trans burdain
|
commit | commitdiff | tree |
| 2007-11-30 |
Enrico Tassi | 3.11 !!!
|
commit | commitdiff | tree |
| 2007-11-30 |
Enrico Tassi | added a way to generate all the utf8 symbols
|
commit | commitdiff | tree |
| 2007-11-28 |
Enrico Tassi | more stuff
|
commit | commitdiff | tree |
| 2007-11-28 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2007-11-27 |
Enrico Tassi | ....
|
commit | commitdiff | tree |
| 2007-11-27 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search