source: libabac/abac_graph.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @d4b3b52   12 years faber Better partial proofs abac0-leakabac0-meicompt_changesmei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @314869f   14 years Mike Ryan detect duplicate credential being added to the graph abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(add) @15200be   14 years Mike Ryan move libabac into its own directory 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.