source:
java/net/deterlab/abac/regression
@
6cd69a0
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
WriteCreds.java | 4.0 KB | 79f516b | 12 years | Properly read nicknames from creds | |
RocketsTest.java | 3.6 KB | 736a573 | 12 years | Proofs should actually contain the internal creds (Crudge expects this) | |
RegressionTest.java | 1.2 KB | 8375d4f | 12 years | Regression test framework | |
ReadCreds.java | 3.8 KB | 3e573fb | 12 years | One vs. Ell. Wow. | |
ExperimentTest.java | 3.5 KB | 736a573 | 12 years | Proofs should actually contain the internal creds (Crudge expects this) | |
BigTest.java | 2.2 KB | 811b6a4a | 12 years | Bit gets regression |
|
Note: See TracBrowser
for help on using the repository browser.