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

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