source: doc/API

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @669b481   12 years Mei 1) finish test conversion from creddy-prover to python 2) update the … mei_rt2mei_rt2_fix_1
(edit) @5d06689   12 years Mei 1) modify abac.hh and added abac_c.c to unify the c and c++ api … mei_rt2mei_rt2_fix_1
(edit) @5308660   12 years faber RT2 interface changes mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(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) @ff6d2a2   14 years Mike Ryan important note regarding libabac_init abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(add) @4918535   14 years Mike Ryan top-level build 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.