b5ad615474
Verasco is no longer maintained by upstream and blocks updates of some libraries. Removing it also makes it possible to remove coq 8.4. |
||
|---|---|---|
| .. | ||
| autoflake | ||
| brakeman | ||
| cccc | ||
| checkstyle | ||
| clang-analyzer | ||
| coan | ||
| cov-build | ||
| cppcheck | ||
| cpplint | ||
| egypt | ||
| emma | ||
| eresi | ||
| findbugs | ||
| flow | ||
| frama-c | ||
| garcosim | ||
| hotspot | ||
| include-what-you-use | ||
| jdepend | ||
| kcov | ||
| lcov | ||
| makefile2graph | ||
| massif-visualizer | ||
| panopticon | ||
| pev | ||
| pmd | ||
| qcachegrind | ||
| radare | ||
| radare2 | ||
| randoop | ||
| retdec | ||
| rr | ||
| smatch | ||
| snowman | ||
| sparse | ||
| spin | ||
| splint | ||
| swarm | ||
| valgrind | ||
| valkyrie | ||