source: src/joint/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2103   8 years campbell Make transform_*program take a more general transformation to make …
(edit) @1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
(copy) @1472   9 years mulligan moved proof utils to
copied from src/joint/
(edit) @1471   9 years mulligan finished erasure and generalised so as to work on arbitrary joint programs
Note: See TracRevisionLog for help on using the revision log.