Commit graph

148 commits

Author SHA1 Message Date
Pascal Wittmann
4a9df12721 Merge pull request #7708 from vbgl/framac-sodium
frama-c: update from Neon to Sodium
2015-05-05 21:49:46 +02:00
Vincent Laporte
67529e7a08 frama-c: update from Neon to Sodium 2015-05-05 19:59:54 +02:00
Tobias Geerinckx-Rice
2c62a0a930 Add egypt 1.10: create simple C call graphs 2015-05-05 19:43:18 +02:00
Aristid Breitkreuz
6f5bfcdb33 Merge pull request #7665 from joachifm/cppcheck
cppcheck: 1.68 -> 1.69
2015-05-03 13:34:12 +02:00
Joachim Fasting
127050d851 cppcheck: 1.68 -> 1.69
Also update meta and install man page.
2015-05-03 00:22:23 +02:00
Pascal Wittmann
06e2fdc62e spin: update from 6.4.1 to 6.4.3 2015-04-28 09:57:10 +02:00
Cray Elliott
e73921aee1 valgrind: patch build system to allow linux kernels of v4.x 2015-04-21 20:40:15 -07:00
Pascal Wittmann
4576a72e45 checkstyle: update from 6.4.1 to 6.5 2015-04-08 16:03:03 +02:00
Tobias Geerinckx-Rice
9060ae8f89 include-what-you-use: pin clang to version 3.5
Fixes Hydra failure with clang 3.6 <http://hydra.nixos.org/build/20560181>.
Also shorten excessive longDescription a bit.
2015-03-26 00:29:42 +01:00
Vladimír Čunát
e924f05cc3 Merge branch 'master' into staging 2015-03-17 13:35:05 +01:00
Pascal Wittmann
9cda91bcd8 pmd: update from 4.2.6 to 5.2.3 2015-03-12 21:19:49 +01:00
Peter Simons
6694ef42a9 Merge branch 'master' into staging.
Conflicts:
      pkgs/development/libraries/gtk+/2.x.nix
      pkgs/tools/security/gnupg/21.nix
      pkgs/top-level/all-packages.nix
2015-03-10 12:09:43 +01:00
Pascal Wittmann
362f2db258 findbugs: update from 3.0.0 to 3.0.1 2015-03-09 19:35:24 +01:00
Peter Simons
1d953779b0 Merge remote-tracking branch 'origin/master' into staging. 2015-03-05 12:24:57 +01:00
Pascal Wittmann
824accb1cb checkstyle: update from 6.4 to 6.4.1 2015-03-04 12:23:37 +01:00
Vladimír Čunát
4dd253c306 valgrind: fix build with glibc-2.21 by Arch patch 2015-03-03 11:36:43 +01:00
Tobias Geerinckx-Rice
ebf122c36f coan: only build on Linux 2015-03-01 12:32:13 +01:00
Pascal Wittmann
b8d5e2fd6a checkstyle: update from 6.3 to 6.4 2015-03-01 09:53:41 +01:00
Tobias Geerinckx-Rice
841905e1ea coan: skip checks; they work locally but fail on Hydra
This reverts commit 607cc808d8.
2015-02-23 01:45:08 +01:00
Tobias Geerinckx-Rice
607cc808d8 coan: run checks 2015-02-17 05:13:40 +01:00
Tobias Geerinckx-Rice
54397283b0 Add include-what-you-use 3.5: static C/C++ #include analyser 2015-02-11 00:14:16 +01:00
Arseniy Seroka
c477e173de Merge pull request #6179 from k0ral/cppcheck
cppcheck: 1.67 -> 1.68
2015-02-05 21:58:37 +03:00
koral
7ccede4aab cppcheck: 1.67 -> 1.68 2015-02-05 16:58:21 +01:00
Pascal Wittmann
a1ce00d81e checkstyle: update from 6.2 to 6.3 2015-02-03 10:43:41 +01:00
Pascal Wittmann
8d322e0fee checkstyle: update from 6.1.1 to 6.2 2015-01-14 14:23:47 +01:00
Tobias Geerinckx-Rice
9b7a58e1f9 coan: don't double-gzip man page
`make install` gzips coan.1 with the wrong extension (.1). So Nix re-
compresses it. Result: coan.1.1.gz, and a screen full of gobbledygook.
2015-01-12 21:38:31 +01:00
Tobias Geerinckx-Rice
03e53af0f5 Add coan: the C preprocessor chainsaw 2015-01-11 15:21:26 +01:00
Eelco Dolstra
fcd4aa44d5 valgrind: Update to 3.10.1 2014-12-12 15:08:25 +01:00
Austin Seipp
0bdff430a4 nixpkgs: rr 2.0.0 -> 3.0.0, with 64bit support
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-12 01:20:23 -06:00
Austin Seipp
73651e6c01 Revert "rr: bump version, 64bit support"
This reverts commit 12a3db89ba.

The prior commit was broken a bit; rr will take a little more work to
support a 64bit build.
2014-12-04 17:49:33 -06:00
Austin Seipp
12a3db89ba rr: bump version, 64bit support
The git version of `rr` recently got 64bit support; bump version and
pick out a working git revision for the new builds.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-04 17:25:56 -06:00
Nicolas B. Pierron
8caa0ea525 rr: Bump to version 2.0.0 and fetch it from github. 2014-11-30 17:20:34 +01:00
Nicolas Pierron
1b294105d7 libpfm & rr: Add packages. 2014-11-30 17:20:34 +01:00
Pascal Wittmann
a94da8c44c checkstyle: update from 6.1 to 6.1.1 2014-11-28 11:08:13 +01:00
Brian McKenna
40261b7484 Add Flow
A static type checker for JavaScript
2014-11-18 21:15:55 -07:00
Pascal Wittmann
818bd7dd1c cppcheck: update from 1.66 to 1.67 2014-11-18 20:52:29 +01:00
Pascal Wittmann
5d7c5d4686 checkstyle: update from 6.0 to 6.1 2014-11-14 13:07:01 +01:00
Ricardo M. Correia
90172ba079 valgrind: Fix running under grsecurity 2014-11-13 23:07:27 +01:00
Vincent Laporte
fbbd88017f zarith: propagate build input gmp 2014-11-07 09:50:39 +00:00
Mateusz Kowalczyk
007f80c1d0 Turn more licenses into lib.licenses style
Should eval cleanly, as far as -A tarball tells me.

Relevant: issue #2999, issue #739
2014-11-06 00:48:16 +00:00
Evgeny Egorochkin
a4300af71d checkstyle: update from 5.8 to 6.0 2014-10-27 07:33:29 +02:00
Pascal Wittmann
c17096309e checkstyle: update from 5.7 to 5.8 and adopt it 2014-10-26 02:27:35 +01:00
Pascal Wittmann
47a6f5eda9 spin: update from 6.3.2 to 6.4.1 and add myself to maintainers 2014-10-06 11:19:15 +02:00
Mateusz Kowalczyk
7b4cd347ea findbugs: update from 2.0.3 to 3.0.0, potentially fixes CVE-2012-5659, CVE-2012-5660 2014-09-30 10:56:11 +01:00
Eelco Dolstra
9f12c8bde8 valgrind: Update to 3.10.0 2014-09-19 14:55:39 +02:00
Pascal Wittmann
8d67b9a240 transformed meta.maintainers of some packages into lists 2014-09-13 13:52:02 +02:00
Rob Vermaas
d79b4a7b53 pmd: update from 4.2.5 to 4.2.6 2014-09-11 13:34:26 +02:00
Moritz Ulrich
e30baf653e cppcheck: update from 1.65 to 1.66 2014-09-04 19:31:32 +02:00
Michael Raskin
068d1696df Add radare2 2014-09-03 23:02:02 +04:00
Michael Raskin
71086542ee Fix radre for now by not using libewf and update it to latest 2014-09-03 23:02:02 +04:00