source: libabac/prover.c

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @4571abc   6 years Mei 1) tweak for leak abac0-leak
(edit) @91a6b20   6 years Mei 1) add cleanup for options(leak) abac0-leak
(edit) @4f79997   6 years Mei 1) add a new scaling test -haystack/ralphs 2) tweak some libabac code … abac0-leakabac0-mei
(edit) @3c30b59   6 years Mei 1) add in new refactored regression testing directory 2) undo the … abac0-leakabac0-mei
(edit) @13b087a   7 years Mei 1) fix some compiling warnings abac0-leakabac0-meimei-idtvf-new-xml
(edit) @4721618   7 years Mei 1) tested out python and perl test scripts along with abac_chunk_t … abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @461541a   7 years Mei 1) updated original rt0 to remove libstrongswan dependency a) … abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @605ee1d   8 years Mike Ryan be clear when a proof has failed abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @55c272b   9 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) @9a411d7   9 years Mike Ryan fold intersection into ordinary role object abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(edit) @0eb4a8e   9 years Mike Ryan load intersection edges into the graph - does not derive links - … abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(edit) @7af34ed   9 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
(edit) @e96c107   9 years Mike Ryan match example keystore abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(edit) @3c4fd68   9 years Mike Ryan return all the credentials from an ABAC context abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(edit) @6ede88c   9 years Mike Ryan autoconf/make/libtoolize abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
(add) @15200be   9 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.