2009-07-24 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-23 |
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... | ... |
tree | commitdiff |
2009-07-22 |
Claudio Sacerdoti... | 1) PTS simplified |
tree | commitdiff |
2009-07-22 |
Claudio Sacerdoti... | ... |
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-21 |
Claudio Sacerdoti... | 1) record projections are now automatically generated |
tree | commitdiff |
2009-07-21 |
Claudio Sacerdoti... | Record projections are now automatically generated... |
tree | commitdiff |
2009-07-20 |
Claudio Sacerdoti... | nrewrite now working |
tree | commitdiff |
2009-07-20 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-19 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
2009-07-17 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-17 |
Claudio Sacerdoti... | Old code commented out. |
tree | commitdiff |
2009-07-17 |
Claudio Sacerdoti... | Non reproducible. |
tree | commitdiff |
2009-07-17 |
Claudio Sacerdoti... | Some bugs already fixed. |
tree | commitdiff |
2009-07-17 |
Claudio Sacerdoti... | Bugs (mostly from Oliboni) |
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 |
Claudio Sacerdoti... | First proof finished (some tactics still not working). |
tree | commitdiff |
2009-07-13 |
Claudio Sacerdoti... | Coercion hiding implemented. Notes: |
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 |
Claudio Sacerdoti... | Composite coercions are here! |
tree | commitdiff |
2009-07-10 |
Enrico Tassi | more work on coercions composition |
tree | commitdiff |
2009-07-10 |
Cosimo Oliboni | +root +depends |
tree | commitdiff |
2009-07-10 |
Claudio Sacerdoti... | Coercions used here and there. |
tree | commitdiff |
2009-07-10 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-10 |
Cosimo Oliboni | new ng freescale, no external dependencies |
tree | commitdiff |
2009-07-10 |
Claudio Sacerdoti... | Let's live with new ocaml type system limitations... |
tree | commitdiff |
2009-07-09 |
Enrico Tassi | claudio, please have a look at this |
tree | commitdiff |
2009-07-09 |
Enrico Tassi | ... |
tree | commitdiff |
2009-07-09 |
Wilmer Ricciotti | More updates to Fsub. |
tree | commitdiff |
2009-07-09 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-08 |
Claudio Sacerdoti... | eq moved to CProp |
tree | commitdiff |
2009-07-08 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-08 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-08 |
Enrico Tassi | few more files, one diverges |
tree | commitdiff |
2009-07-08 |
Enrico Tassi | removed useless universes |
tree | commitdiff |
2009-07-08 |
Enrico Tassi | import of a sample for cosimo |
tree | commitdiff |
2009-07-08 |
Claudio Sacerdoti... | Hmmmm. This way we need "canonical structures" also... |
tree | commitdiff |
2009-07-08 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-08 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-08 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-07 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-07-07 |
Enrico Tassi | fixed some typos |
tree | commitdiff |
2009-07-07 |
Claudio Sacerdoti... | Let's play a bit with NG. |
tree | commitdiff |
2009-07-07 |
Claudio Sacerdoti... | 1) Include files for NG were neither recursively proces... |
tree | commitdiff |
2009-06-29 |
Enrico Tassi | removed a maybe diverging test |
tree | commitdiff |
2009-06-26 |
Andrea Asperti | test for deep subsumption added |
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-21 |
Wilmer Ricciotti | Added injective compose |
tree | commitdiff |
2009-06-20 |
Wilmer Ricciotti | Some notation and additional lemmata. |
tree | commitdiff |
2009-06-19 |
Claudio Sacerdoti... | "matitaclean all" ported to NG |
tree | commitdiff |
2009-06-19 |
Wilmer Ricciotti | More improvements. |
tree | commitdiff |
2009-06-19 |
Claudio Sacerdoti... | Persistent db (to lookup names in the library) ineffici... |
tree | commitdiff |
2009-06-19 |
Claudio Sacerdoti... | Estatus finally merged into the global status using... |
tree | commitdiff |
2009-06-19 |
Claudio Sacerdoti... | Useless GrafiteTypes.get_baseuri removed. |
tree | commitdiff |
2009-06-19 |
Claudio Sacerdoti... | More statuses converted to objects. |
tree | commitdiff |
2009-06-18 |
Enrico Tassi | better exception handling |
tree | commitdiff |
2009-06-18 |
Claudio Sacerdoti... | Objects are now used to represent also the tactic status. |
tree | commitdiff |
2009-06-18 |
Enrico Tassi | callbacks were taking in input a status bu were not... |
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-18 |
Claudio Sacerdoti... | Stricter type: the type now shows that disambiguation... |
tree | commitdiff |
2009-06-18 |
Claudio Sacerdoti... | 1) grafiteWalker removed |
tree | commitdiff |
2009-06-17 |
Claudio Sacerdoti... | Initial implementation of statuses using objects in... |
tree | commitdiff |
2009-06-16 |
Claudio Sacerdoti... | FIX OF THE PREVIOUS EXPERIMENTAL COMMIT: |
tree | commitdiff |
2009-06-15 |
Enrico Tassi | EXPERIMENTAL COMMIT (part B, by CSC :-): |
tree | commitdiff |
2009-06-15 |
Enrico Tassi | EXPERIMENTAL COMMIT (by CSC,actuall :-) |
tree | commitdiff |
2009-06-15 |
Enrico Tassi | ... |
tree | commitdiff |
2009-06-15 |
Enrico Tassi | added TODO list |
tree | commitdiff |
2009-06-15 |
Enrico Tassi | huge commit regarding the grafite_status: |
tree | commitdiff |
2009-06-15 |
Enrico Tassi | tacticals are really tactics now, they have an AST... |
tree | commitdiff |
2009-06-13 |
Ferruccio Guidi | we removed some coercion detours and we added some... |
tree | commitdiff |
2009-06-12 |
Enrico Tassi | -ng implemented |
tree | commitdiff |
2009-06-11 |
denes | Active goals are now demodulated after selecting a... |
tree | commitdiff |
2009-06-11 |
Ferruccio Guidi | - applyTransformation: bugfix in the rendering of records |
tree | commitdiff |
2009-06-11 |
Ferruccio Guidi | - some depend files fixed |
tree | commitdiff |
2009-06-10 |
Ferruccio Guidi | - library/list/list.ma: unused code commented |
tree | commitdiff |
2009-06-10 |
Enrico Tassi | 1) added simplification of actives w.r.t. selected |
tree | commitdiff |
2009-06-09 |
Ferruccio Guidi | - Procedural: more support for the Debug inline option... |
tree | commitdiff |
2009-06-09 |
Enrico Tassi | snapshot |
tree | commitdiff |
2009-06-06 |
Claudio Sacerdoti... | Previous commit reverted, as explained in that log. |
tree | commitdiff |
2009-06-06 |
Claudio Sacerdoti... | This commit restores the ids_to_father_ids table. |
tree | commitdiff |
2009-06-05 |
Ferruccio Guidi | - Procedural convertible rewrites in the conclusion... |
tree | commitdiff |
2009-06-05 |
denes | First tests for paramodulation (pretty printer, unifica... |
tree | commitdiff |
2009-06-05 |
Wilmer Ricciotti | - replaced part1a/defn with the version based on induct... |
tree | commitdiff |
2009-06-05 |
Claudio Sacerdoti... | 1) the home button of CicBrowser now works also for NG |
tree | commitdiff |
2009-06-03 |
Ferruccio Guidi | - boxPp: added missing spaces |
tree | commitdiff |
2009-06-03 |
Wilmer Ricciotti | Update, using induction/inversion. |
tree | commitdiff |
2009-06-03 |
Andrea Asperti | not_to_not |
tree | commitdiff |
next |