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

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   12 years faber Proofs should actually contain the internal creds (Crudge expects this)
ReadCreds.java 3.8 KB 3e573fb   12 years faber One vs. Ell. Wow.
RegressionTest.java 1.2 KB 8375d4f   12 years faber Regression test framework
RocketsTest.java 3.6 KB 736a573   12 years faber Proofs should actually contain the internal creds (Crudge expects this)
WriteCreds.java 3.8 KB d31242c   12 years faber Add suffix
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.