| 2008-12-18 |
Claudio Sacerdoti... | Many axioms are now proved... using many more (but... |
tree | commitdiff |
| 2008-12-17 |
Enrico Tassi | foo overlap |
tree | commitdiff |
| 2008-12-17 |
Enrico Tassi | foo overlap |
tree | commitdiff |
| 2008-12-17 |
Enrico Tassi | .... |
tree | commitdiff |
| 2008-12-14 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-12 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-12-12 |
Claudio Sacerdoti... | A parser (and a scanner) to import "~C" files into... |
tree | commitdiff |
| 2008-12-12 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-12-12 |
Claudio Sacerdoti... | 1. new expressions AND, OR, XOR |
tree | commitdiff |
| 2008-12-12 |
Enrico Tassi | thanks to the new fixes to notation, I can define ... |
tree | commitdiff |
| 2008-12-05 |
Claudio Sacerdoti... | Case-sensitive fixes. |
tree | commitdiff |
| 2008-11-28 |
Ferruccio Guidi | cicDischarge: final fixup. Now correctly processes... |
tree | commitdiff |
| 2008-11-25 |
Ferruccio Guidi | cicUtil: we moved here pp_term from proceduralHelpers |
tree | commitdiff |
| 2008-11-24 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-11-24 |
Enrico Tassi | formal topologies |
tree | commitdiff |
| 2008-11-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-11-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-11-19 |
Enrico Tassi | x2sx declared as coercion and used when possible |
tree | commitdiff |
| 2008-11-19 |
Enrico Tassi | renaming |
tree | commitdiff |
| 2008-11-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-11-15 |
Enrico Tassi | housekeeping |
tree | commitdiff |
| 2008-11-15 |
Enrico Tassi | housekeeping |
tree | commitdiff |
| 2008-11-12 |
Enrico Tassi | better names |
tree | commitdiff |
| 2008-11-11 |
Enrico Tassi | last fixes |
tree | commitdiff |
| 2008-11-11 |
Claudio Sacerdoti... | 1. data structure for lables is now more strict |
tree | commitdiff |
| 2008-11-07 |
Enrico Tassi | some other simplification |
tree | commitdiff |
| 2008-11-07 |
Enrico Tassi | ordered_set simplified |
tree | commitdiff |
| 2008-11-07 |
Enrico Tassi | exercise ready |
tree | commitdiff |
| 2008-11-06 |
Enrico Tassi | exercise ready |
tree | commitdiff |
| 2008-11-06 |
Enrico Tassi | almost there |
tree | commitdiff |
| 2008-11-06 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-11-06 |
Claudio Sacerdoti... | First attempts at the third phase. |
tree | commitdiff |
| 2008-11-06 |
Enrico Tassi | almost ok |
tree | commitdiff |
| 2008-11-06 |
Enrico Tassi | fixed scripts |
tree | commitdiff |
| 2008-11-05 |
Enrico Tassi | still some glitches, but reaching a decent state |
tree | commitdiff |
| 2008-11-05 |
Enrico Tassi | using the new by foo we proved semantics |
tree | commitdiff |
| 2008-11-04 |
Enrico Tassi | eliminazione di un passaggio di transitività in ast2astfe |
tree | commitdiff |
| 2008-11-03 |
Enrico Tassi | BDD |
tree | commitdiff |
| 2008-11-02 |
Enrico Tassi | shannon proved |
tree | commitdiff |
| 2008-11-01 |
Enrico Tassi | added shannon |
tree | commitdiff |
| 2008-10-31 |
Claudio Sacerdoti... | Environment simplified. |
tree | commitdiff |
| 2008-10-31 |
Claudio Sacerdoti... | No longer used. |
tree | commitdiff |
| 2008-10-31 |
Claudio Sacerdoti... | - New dependency for environments on the nesting depth. |
tree | commitdiff |
| 2008-10-29 |
Enrico Tassi | models ported |
tree | commitdiff |
| 2008-10-28 |
Enrico Tassi | even more polymorphic dualizer |
tree | commitdiff |
| 2008-10-28 |
Enrico Tassi | done |
tree | commitdiff |
| 2008-10-28 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-28 |
Enrico Tassi | lebesge works |
tree | commitdiff |
| 2008-10-27 |
Enrico Tassi | WIP |
tree | commitdiff |
| 2008-10-27 |
Enrico Tassi | WIP |
tree | commitdiff |
| 2008-10-27 |
Enrico Tassi | seg_u/l were inverted, more work |
tree | commitdiff |
| 2008-10-27 |
Enrico Tassi | big lemma done |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | duality done |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | almost done, just needs to be prforated |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | .... |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | all done in declarative style |
tree | commitdiff |
| 2008-10-25 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-25 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-25 |
Enrico Tassi | duality is a joke |
tree | commitdiff |
| 2008-10-24 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-24 |
Enrico Tassi | leave-environment axiom made true |
tree | commitdiff |
| 2008-10-23 |
Enrico Tassi | lebesgue completely dualized |
tree | commitdiff |
| 2008-10-21 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | nat model ported to the dualized version, but not itsel... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... is a command in proof mode, use |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | after a PITA, lebergue is dualized! |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-19 |
Enrico Tassi | some work on duality, still not finisched |
tree | commitdiff |
| 2008-10-19 |
Enrico Tassi | grave notation mistake fixed |
tree | commitdiff |
| 2008-10-19 |
Enrico Tassi | more tests |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | tactic language documented; |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | html documentation generation implemented |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | more doc |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-17 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-17 |
Enrico Tassi | better makefile |
tree | commitdiff |
| 2008-10-17 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-16 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-10-16 |
Enrico Tassi | ex for students about induction |
tree | commitdiff |
| 2008-10-15 |
Claudio Sacerdoti... | minor simplification + deps fixed |
tree | commitdiff |
| 2008-10-15 |
Claudio Sacerdoti... | New invariant and data structure to represent environme... |
tree | commitdiff |
| 2008-10-14 |
Enrico Tassi | firs step for dualization |
tree | commitdiff |
| 2008-10-14 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-02 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-01 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-10-01 |
Claudio Sacerdoti... | - setters for data structures now support "commuting... |
tree | commitdiff |
| 2008-09-30 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-26 |
Ferruccio Guidi | Procedural: we removed some commented code |
tree | commitdiff |
| 2008-09-26 |
Enrico Tassi | some work |
tree | commitdiff |
| 2008-09-22 |
Ferruccio Guidi | new small devel |
tree | commitdiff |
| 2008-09-19 |
Enrico Tassi | new reorganization |
tree | commitdiff |
| 2008-09-06 |
Ferruccio Guidi | we always save the discharged object for future reference |
tree | commitdiff |
| 2008-09-05 |
Ferruccio Guidi | we have to remove the Num directory :) |
tree | commitdiff |
| 2008-09-05 |
Ferruccio Guidi | transcript: we now check for non-existing objects |
tree | commitdiff |
| next |
projects / helm.git / history