Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | updates | josef | 2015-09-01 | 1 | -3/+31 |
* | bugfixes. Working on nagiosification | josef | 2015-08-31 | 1 | -186/+365 |
* | inclusion proofs and buxfixes | josef | 2015-08-28 | 1 | -37/+211 |
* | verifying consistency proofs working | josef | 2015-08-26 | 1 | -11/+22 |
* | experimental python auditor added | josef | 2015-08-25 | 1 | -0/+68 |