source: java/net/deterlab/abac/regression @ 968a3db

abac0-leakabac0-meitvf-new-xml
Name Size Rev Age Author Last Change
../
WriteCreds.java 4.0 KB 79f516b   12 years faber Properly read nicknames from creds
RocketsTest.java 3.6 KB 736a573   12 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   12 years faber One vs. Ell. Wow.
ExperimentTest.java 3.5 KB 736a573   12 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.