source: libabac/abac_pl_yap.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2e9455f   11 years Mei 1) added namespace 2) tweak ?This, 3) allowing linking role/oset as … mei_rt2
(edit) @646e57e   12 years Mei 1) add partial proof mei_rt2mei_rt2_fix_1
(edit) @abf8d5d   12 years Mei 1) add backtrack/multiple solutions proof code changes and new examples. mei_rt2mei_rt2_fix_1
(edit) @d9c3886   12 years Mei 1) add 2 more query calls in abac.hh that take Role and Oset instead … mei_rt2mei_rt2_fix_1
(edit) @5110d42   12 years Mei 1) reorganized the test directory to include python tests 2) attribute … mei_rt2mei_rt2_fix_1
(edit) @8bd77b5   12 years Mei 1) convert parser and libabac to use id cred and attr cred like … mei_rt2mei_rt2_fix_1
(edit) @202a7f9   12 years Mei commited modified files for rt1 mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(add) @e95d652   13 years Mei 1) added yap, flex, bison to bring in prolog backend mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2
Note: See TracRevisionLog for help on using the revision log.