source: java/net/deterlab/abac/regression @ 81c80b9

abac0-leakabac0-mei
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 4.0 KB 79f516b   12 years faber Properly read nicknames from creds
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.