checkstyle
|
checkstyle: update from 6.4 to 6.4.1
|
2015-03-04 12:23:37 +01:00 |
coan
|
coan: only build on Linux
|
2015-03-01 12:32:13 +01:00 |
cppcheck
|
cppcheck: 1.67 -> 1.68
|
2015-02-05 16:58:21 +01:00 |
findbugs
|
findbugs: update from 3.0.0 to 3.0.1
|
2015-03-09 19:35:24 +01:00 |
flow
|
Add Flow
|
2014-11-18 21:15:55 -07:00 |
frama-c
|
zarith: propagate build input gmp
|
2014-11-07 09:50:39 +00:00 |
pmd
|
pmd: update from 4.2.6 to 5.2.3
|
2015-03-12 21:19:49 +01:00 |
rr
|
nixpkgs: rr 2.0.0 -> 3.0.0, with 64bit support
|
2014-12-12 01:20:23 -06:00 |
smatch
|
Turn more licenses into lib.licenses style
|
2014-11-06 00:48:16 +00:00 |
spin
|
Turn more licenses into lib.licenses style
|
2014-11-06 00:48:16 +00:00 |