2009-07-17 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
2009-07-16 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
2009-07-15 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
2009-07-14 |
Cosimo Oliboni | freescale porting to ng, work in progress |
tree | commitdiff |
2009-07-13 |
Cosimo Oliboni | freescale translation (work in progress) |
tree | commitdiff |
2009-07-12 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
2009-07-11 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
2009-07-10 |
Cosimo Oliboni | +root +depends |
tree | commitdiff |
2009-07-10 |
Cosimo Oliboni | new ng freescale, no external dependencies |
tree | commitdiff |
2009-07-09 |
Wilmer Ricciotti | More updates to Fsub. |
tree | commitdiff |
2009-06-23 |
Enrico Tassi | removed problem not in UEQ |
tree | commitdiff |
2009-06-22 |
denes | Added problems from CASC 208 |
tree | commitdiff |
2009-06-22 |
denes | Regenerated problems with corrected tptp2grafite |
tree | commitdiff |
2009-06-19 |
Wilmer Ricciotti | More improvements. |
tree | commitdiff |
2009-06-18 |
denes | Fixed stupid path |
tree | commitdiff |
2009-06-18 |
denes | Added script useful for running benchmarks |
tree | commitdiff |
2009-06-15 |
Enrico Tassi | tacticals are really tactics now, they have an AST... |
tree | commitdiff |
2009-06-12 |
Enrico Tassi | -ng implemented |
tree | commitdiff |
2009-06-11 |
Ferruccio Guidi | - some depend files fixed |
tree | commitdiff |
2009-06-09 |
Ferruccio Guidi | - Procedural: more support for the Debug inline option... |
tree | commitdiff |
2009-06-05 |
Ferruccio Guidi | - Procedural convertible rewrites in the conclusion... |
tree | commitdiff |
2009-06-05 |
Wilmer Ricciotti | - replaced part1a/defn with the version based on induct... |
tree | commitdiff |
2009-06-03 |
Wilmer Ricciotti | Update, using induction/inversion. |
tree | commitdiff |
2009-06-01 |
Andrea Asperti | This works for me |
tree | commitdiff |
2009-05-29 |
Wilmer Ricciotti | POPLmark part 1a using the de Bruijn encoding. |
tree | commitdiff |
2009-05-25 |
Enrico Tassi | nasty change in the lexer/parser: |
tree | commitdiff |
2009-05-19 |
Enrico Tassi | ... |
tree | commitdiff |
2009-05-19 |
Enrico Tassi | regenerated |
tree | commitdiff |
2009-05-19 |
Enrico Tassi | some horn+equality problems |
tree | commitdiff |
2009-05-13 |
Andrea Asperti | Via un'altra linea... |
tree | commitdiff |
2009-05-13 |
Andrea Asperti | Sempre piu' breve |
tree | commitdiff |
2009-05-12 |
Ferruccio Guidi | - Procedural: we now reconstruct "let H := v in t"... |
tree | commitdiff |
2009-05-11 |
Andrea Asperti | More automation |
tree | commitdiff |
2009-05-06 |
Ferruccio Guidi | LAMBDA-TYPES: mma's recommitted because inline syntax... |
tree | commitdiff |
2009-05-06 |
Ferruccio Guidi | - cicUtil: is_sober now detects folded applications |
tree | commitdiff |
2009-05-05 |
Ferruccio Guidi | - hExtlib: new function "list_assoc_all" |
tree | commitdiff |
2009-05-01 |
Ferruccio Guidi | - librarian: 3 bugs fixed in the building system: |
tree | commitdiff |
2009-04-28 |
Enrico Tassi | huge commit in automation: |
tree | commitdiff |
2009-04-27 |
Ferruccio Guidi | matitacLib: bugfix in .moo generation |
tree | commitdiff |
2009-04-22 |
Ferruccio Guidi | - transcript: we have now two styles of mma's from... |
tree | commitdiff |
2009-04-21 |
Ferruccio Guidi | - MatitaMisc: we factorized here the function out_pream... |
tree | commitdiff |
2009-04-16 |
Ferruccio Guidi | Procedural: we corrected two errors about the handling... |
tree | commitdiff |
2009-04-15 |
Ferruccio Guidi | - transcript: bugfix |
tree | commitdiff |
2009-04-14 |
Ferruccio Guidi | - Procedural: generation of "exact" is now complete |
tree | commitdiff |
2009-04-09 |
Ferruccio Guidi | - character: we adjusted some "autobatch" parameters |
tree | commitdiff |
2009-04-06 |
Ferruccio Guidi | - external quantification removed (will be reintroduced... |
tree | commitdiff |
2009-04-06 |
Ferruccio Guidi | limits: reorganized and attached to nightly tests ... |
tree | commitdiff |
2009-04-05 |
Ferruccio Guidi | - Procedural: now we generate the exact tactic (in... |
tree | commitdiff |
2009-03-26 |
Enrico Tassi | ... |
tree | commitdiff |
2009-03-19 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-03-12 |
Claudio Sacerdoti... | More details on the proof. |
tree | commitdiff |
2009-03-12 |
Claudio Sacerdoti... | New algorithm based on in-place modification of the... |
tree | commitdiff |
2009-03-11 |
Ferruccio Guidi | Procedural: id tactics are not counted, ie they are... |
tree | commitdiff |
2009-03-06 |
Claudio Sacerdoti... | Minor improvements in pretty-printing. |
tree | commitdiff |
2009-03-05 |
Claudio Sacerdoti... | New version: only new nodes are normalized; moreover... |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | New version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | New version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | New version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | New version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | New version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | New version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | New version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | New version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | First version. |
tree | commitdiff |
2009-03-02 |
Claudio Sacerdoti... | Old algorithm moved to old to leave place to the new... |
tree | commitdiff |
2009-03-02 |
Ferruccio Guidi | cicInspect: node count fixed |
tree | commitdiff |
2009-03-02 |
Ferruccio Guidi | uri renaming and new nodes count |
tree | commitdiff |
2009-03-02 |
Ferruccio Guidi | some renaming to comply with new naming policy ... |
tree | commitdiff |
2009-02-17 |
Ferruccio Guidi | - Coq/preamble: missing alias added |
tree | commitdiff |
2009-02-11 |
Enrico Tassi | ... |
tree | commitdiff |
2009-02-06 |
Enrico Tassi | ... |
tree | commitdiff |
2009-02-03 |
Enrico Tassi | some work to speed up the system |
tree | commitdiff |
2009-02-02 |
Enrico Tassi | ... |
tree | commitdiff |
2009-02-02 |
Claudio Sacerdoti... | Hmmm, going too low. |
tree | commitdiff |
2009-02-02 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-02-01 |
Claudio Sacerdoti... | Towards fullness. |
tree | commitdiff |
2009-02-01 |
Claudio Sacerdoti... | Renaming. |
tree | commitdiff |
2009-02-01 |
Claudio Sacerdoti... | Renaming. |
tree | commitdiff |
2009-01-29 |
Enrico Tassi | more polishing |
tree | commitdiff |
2009-01-29 |
Enrico Tassi | ... |
tree | commitdiff |
2009-01-28 |
Enrico Tassi | some work |
tree | commitdiff |
2009-01-28 |
Enrico Tassi | ... |
tree | commitdiff |
2009-01-28 |
Enrico Tassi | ... |
tree | commitdiff |
2009-01-28 |
Enrico Tassi | ... |
tree | commitdiff |
2009-01-26 |
Enrico Tassi | minor fixes |
tree | commitdiff |
2009-01-23 |
Ferruccio Guidi | OEIS sequence identifier found for P(n) |
tree | commitdiff |
2009-01-22 |
Claudio Sacerdoti... | TODO |
tree | commitdiff |
2009-01-21 |
Enrico Tassi | some minor fixes |
tree | commitdiff |
2009-01-21 |
Enrico Tassi | a bit of work done while travelling to padova |
tree | commitdiff |
2009-01-19 |
Enrico Tassi | - new notation.ma file with local and common notation |
tree | commitdiff |
2009-01-19 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-01-19 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-01-19 |
Enrico Tassi | all pullbacks are attempted in sequence, removed many... |
tree | commitdiff |
2009-01-18 |
Claudio Sacerdoti... | universe inconsistency fixed |
tree | commitdiff |
2009-01-18 |
Claudio Sacerdoti... | SUBSETS_full up to universe inconsistency |
tree | commitdiff |
2009-01-17 |
Claudio Sacerdoti... | faithful |
tree | commitdiff |
2009-01-17 |
Claudio Sacerdoti... | CAT2 |
tree | commitdiff |
2009-01-16 |
Claudio Sacerdoti... | Sambin's result holds trivially since most of the field... |
tree | commitdiff |
2009-01-16 |
Claudio Sacerdoti... | basic topologies are trivially o-basic topologies |
tree | commitdiff |
next |