Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2002-07-08 | Propagate splint-3.0.1.7 close(2) internalState annotation throughout. | jbj | 1 | -0/+2 |
2002-07-02 | Add boundsread annotations throughout, enable +bounds checking. | jbj | 1 | -0/+8 |
2002-05-17 | Transactions made increasingly opaque. | jbj | 1 | -5/+16 |
2002-02-01 | - permit args to be hidden within %%__find_{requires,provides}. | jbj | 1 | -1/+2 |
2001-12-08 | - lclint-3.0.0.19 fiddles. | jbj | 1 | -2/+4 |
2001-10-16 | More lclint annotations. | jbj | 1 | -2/+3 |
2001-10-15 | Explicit branchstate annotations. | jbj | 1 | -0/+4 |
2001-10-13 | - ratchet up to lclint "strict" level. | jbj | 1 | -1/+1 |
2001-09-24 | Move to lclint-3.0.0.15, revisit and clean up annotations. | jbj | 1 | -0/+4 |
2001-06-12 | - remove dead code frpm popt table reorg. | jbj | 1 | -1/+1 |
2001-06-05 | - fix typos in linux.{req,prov}. | jbj | 1 | -1/+3 |
2001-05-11 | - rpm database has rpm.rpm g+w permissions to share db3 mutexes. | jbj | 1 | -0/+251 |