source: java/net/deterlab/abac/regression

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @120b7d8   12 years faber More name mapping abac0-leakabac0-meitvf-new-xml
(edit) @736a573   12 years faber Proofs should actually contain the internal creds (Crudge expects this) abac0-leakabac0-meimei-idtvf-new-xml
(edit) @3e573fb   12 years faber One vs. Ell. Wow. abac0-leakabac0-meimei-idmei-rt0-ntvf-new-xml
(edit) @811b6a4a   12 years faber Bit gets regression abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @6eac68b   12 years faber Large regression test abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @c694dff   12 years faber Experiment test abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @5348b6c   12 years faber Add Rockets test abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @f0449d1   12 years faber Docs abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @1fb793f   12 years faber Read check abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @d31242c   12 years faber Add suffix abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(edit) @5b277d6   12 years faber Generalize WriteCreds? abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
(add) @8375d4f   12 years faber Regression test framework abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
Note: See TracRevisionLog for help on using the revision log.