source: java/net/deterlab/abac/regression @ d2b198c

abac0-leakabac0-meitvf-new-xml
Name Size Rev Age Author Last Change
../
BigTest.java 2.2 KB 811b6a4a   12 years faber Bit gets regression
ExperimentTest.java 3.5 KB 736a573   11 years faber Proofs should actually contain the internal creds (Crudge expects this)
ReadCreds.java 3.8 KB 3e573fb   11 years faber One vs. Ell. Wow.
RegressionTest.java 1.2 KB 8375d4f   12 years faber Regression test framework
RocketsTest.java 3.6 KB 736a573   11 years faber Proofs should actually contain the internal creds (Crudge expects this)
WriteCreds.java 4.0 KB 79f516b   11 years faber Properly read nicknames from creds
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.