| 2010-01-29 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-28 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-27 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-25 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-25 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-24 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-23 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-23 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-22 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-22 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-21 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-21 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-21 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-11-16 |
Wilmer Ricciotti | Implementation of ndestruct tactic (including destructi... |
tree | commitdiff |
| 2009-10-29 |
Claudio Sacerdoti... | For some obscure reason, more universes are now needed... |
tree | commitdiff |
| 2009-10-28 |
Claudio Sacerdoti... | Works again |
tree | commitdiff |
| 2009-10-26 |
Claudio Sacerdoti... | qed => nqed. |
tree | commitdiff |
| 2009-10-22 |
Enrico Tassi | new instantiate, only known bug is w.r.t. in/out scope... |
tree | commitdiff |
| 2009-10-15 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-10-14 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-10-13 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 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 |
| next |
projects / helm.git / history