| 2009-09-21 |
Enrico Tassi | huge commit regarding universes: |
tree | commitdiff |
| 2009-09-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-03 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-03 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-03 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-02 |
Enrico Tassi | fix to speedup reduction making intermediate conversion... |
tree | commitdiff |
| 2009-09-02 |
Enrico Tassi | fixed eliminator name |
tree | commitdiff |
| 2009-09-02 |
Enrico Tassi | some work |
tree | commitdiff |
| 2009-09-02 |
Enrico Tassi | CIC has no eta-reduction/expansion |
tree | commitdiff |
| 2009-08-14 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-12 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-12 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-11 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-09 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-08 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-07 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-06 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-04 |
Cosimo Oliboni | freescle porting, work in progress |
tree | commitdiff |
| 2009-08-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-03 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-01 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-31 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-30 |
Claudio Sacerdoti... | 1) \ldots here and there |
tree | commitdiff |
| 2009-07-29 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-24 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2009-07-23 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-23 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-22 |
Claudio Sacerdoti... | Elimination principles are now processed in O(1) again |
tree | commitdiff |
| 2009-07-22 |
Claudio Sacerdoti... | 1) PTS simplified |
tree | commitdiff |
| 2009-07-22 |
Claudio Sacerdoti... | nelim fixed |
tree | commitdiff |
| 2009-07-21 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-20 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2009-07-19 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 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 |
| next |
projects / helm.git / history