source: swig/python/abac_prover.py

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @605ee1d   12 years Mike Ryan be clear when a proof has failed abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @55c272b   14 years Mike Ryan remove libabac_init and libabac_deinit abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(edit) @7af34ed   14 years Mike Ryan give query options to example prover code abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(add) @43a5429   14 years Mike Ryan install python into python lib dir abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
Note: See TracRevisionLog for help on using the revision log.