source: src/ERTL/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2843   9 years piccolo 1) Fixed a litte bug in 2) ERTL to ERTLptr correctness proof …
(edit) @2820   9 years sacerdot Proof obligation closed.
(edit) @2818   9 years sacerdot "Repaired", using non computational daemons.
(edit) @2806   9 years tranquil new b_graph_translate obligations
(copy) @2696   9 years sacerdot I can't get this right... :-(
copied from src/ERTL/
(copy) @2695   9 years sacerdot Renamed again.
Note: See TracRevisionLog for help on using the revision log.