Commit graph

536 commits

Author SHA1 Message Date
Mario Rodas 81c99bfe63 flow: 0.87.0 -> 0.89.0 2018-12-14 14:43:57 +00:00
Etienne Laurin 328fbcff60 ikos: init at 2.1 2018-12-12 00:09:24 +00:00
Vincent Laporte 8c11c9528e frama-c: Chlorine -> Argon 2018-12-09 19:50:38 +00:00
Frederik Rietdijk 5f554279ec Merge master into staging-next 2018-12-07 15:22:35 +01:00
Mario Rodas 88b48753ac flow: 0.86.0 -> 0.87.0 2018-12-07 03:48:39 +00:00
Jörg Thalheim df2e442853
radare2: 3.1.2 -> 3.1.3 2018-12-05 10:44:41 +00:00
Tor Hedin Brønner d539b09768 valgrind: run autoconf to pick up Makefile.am patch
https://github.com/NixOS/nixpkgs/pull/51107 added a patch to Makefile.am to fix
a race condition in the build. It was unfortunately never picked up as we we're
using the generated makefile from the tarball.
2018-12-04 13:17:49 +01:00
Jörg Thalheim 1f5c851967 radare: remove
This project has been deprecated in 2016.
Radare2 should been used intead: https://github.com/radare/radare
2018-12-04 00:33:49 +01:00
Jörg Thalheim 58700be336
radare2: 3.1.1 -> 3.1.2 2018-12-03 22:29:22 +00:00
Will Dietz 2b585ece44 radare2: 3.1.0 -> 3.1.1
https://github.com/radare/radare2/releases/tag/3.1.1
2018-12-03 00:54:57 -06:00
Frederik Rietdijk 9db2421d1f Merge master into staging-next 2018-11-29 08:12:56 +01:00
Will Dietz 9d25cac004 radare2: 3.0.1 -> 3.1.0 2018-11-27 09:43:31 -06:00
Sarah Brofeldt a067e883b1 valgrind: Apply upstream patch for Makefile race in coregrind 2018-11-27 12:45:59 +01:00
Frederik Rietdijk aabf1a93bc Merge staging-next into staging 2018-11-20 11:51:11 +01:00
Frederik Rietdijk fd26e7be2a Merge master into staging-next 2018-11-20 11:47:26 +01:00
R. RyanTM 57fcacf214 flow: 0.85.0 -> 0.86.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/flow/versions
2018-11-19 12:14:32 -08:00
Will Dietz aceb11047a retdec: bump yaramod dep to fix 2/bison 3.2+ 2018-11-16 08:39:40 -06:00
Frederik Rietdijk 7863aae5b2 Merge master into staging-next 2018-11-11 08:59:44 +01:00
Jörg Thalheim c758113f80
Merge pull request #50174 from Mic92/radare2
radare2: 3.0.0 -> 3.0.1
2018-11-10 22:06:40 +00:00
R. RyanTM fbe08fe1dc checkstyle: 8.13 -> 8.14 (#50133)
* checkstyle: 8.13 -> 8.14

Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/checkstyle/versions

* checkstyle: jre is a runtime deps
2018-11-10 15:42:24 +01:00
Jörg Thalheim 67f3cd2831
radare2: 3.0.0 -> 3.0.1 2018-11-10 14:03:48 +00:00
Frederik Rietdijk 53d00c3351 Merge master into staging-next 2018-11-10 11:08:54 +01:00
R. RyanTM 5e02b5e689 pmd: 6.8.0 -> 6.9.0 (#50015)
* pmd: 6.8.0 -> 6.9.0

Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pmd/versions
2018-11-09 13:37:30 +01:00
Mario Rodas 71a30baab4 flow: 0.80.0 -> 0.85.0 2018-11-06 08:06:11 -05:00
Frederik Rietdijk 0e0d20fb5f Merge master into staging-next 2018-10-30 19:55:48 +01:00
Jörg Thalheim b5ad615474
verasco: remove unmaintained project
Verasco is no longer maintained by upstream and blocks updates of some libraries.
Removing it also makes it possible to remove coq 8.4.
2018-10-30 13:31:11 +00:00
Ignat Loskutov c1748f0b09 cppcheck: 1.84 -> 1.85 2018-10-29 00:19:46 +03:00
volth 716cfab34e Merge master into staging-next 2018-10-24 17:37:47 +00:00
Renaud 73f796aa62
Merge pull request #46299 from r-ryantm/auto-update/capnproto
capnproto: 0.6.1 -> 0.7.0
2018-10-21 16:43:37 +02:00
Renaud 17c96ab275
rr: build according to C++14 standard
Avoid breaking the build with capnproto >= 0.7.0
2018-10-21 16:18:36 +02:00
Frederik Rietdijk 4eadb33045 Merge staging-next into staging 2018-10-20 09:47:28 +02:00
Frederik Rietdijk ca6ee8f519 Merge master into staging-next 2018-10-20 09:40:09 +02:00
Will Dietz 6b06bda3b3 snowman: 0.1.2 -> 0.1.3 2018-10-19 20:56:40 -05:00
Will Dietz 4de5354c7c valgrind: 3.13.0 -> 3.14.0 (#48173) 2018-10-19 11:39:54 +02:00
Frederik Rietdijk 8d8dc1fa34 Merge master into staging 2018-10-18 11:43:54 +02:00
Jörg Thalheim 81a0724fe2
Merge pull request #48582 from dtzWill/update/radare2-cutter-1.7.2
radare2-cutter: 1.7.1 -> 1.7.2
2018-10-17 09:28:17 +01:00
Frederik Rietdijk 89349fdae9 Merge staging-next into staging 2018-10-17 08:36:28 +02:00
Will Dietz 26dfc0c533 radare2: fix update script to handle invocation from elsewhere
It looks like `with Path:` is supposed to be a context-manager
for changing directory but it doesn't seem to work and the only
way I've found to make that work is if we made our own and annotated it.

Instead just use nix search path to tell the expression where
to find the file it looks for.

Also re-use SCRIPT_DIR elsewhere instead of re-"computing" it.
2018-10-16 14:05:01 -05:00
Will Dietz 6fdc165564 r2-for-cutter: revert accidental change to version info 2018-10-16 12:35:16 -05:00
Will Dietz 9b590126a7 radare2-cutter: 1.7.1 -> 1.7.2 2018-10-16 12:34:05 -05:00
Will Dietz f88957d170 radare2: libuv and actually use deps we're providing
Particularly openssl and zlib.
There are others we may wish to provide but for now
let's at least use the ones in buildInputs :).
2018-10-16 12:31:07 -05:00
Will Dietz 56ef6eeb43 radare2: 2.9.0 -> 3.0.0 2018-10-16 12:31:05 -05:00
R. RyanTM e2dfafed6b checkstyle: 8.12 -> 8.13
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/checkstyle/versions
2018-10-15 23:22:38 -07:00
volth f65dfb3caf buildPerlPackage -> perlPackages.buildPerlPackage 2018-10-14 09:10:41 +02:00
Renaud 7a90980194
Merge pull request #47836 from bhipple/add/cpplint
cpplint: init at 1.3.0
2018-10-12 21:38:24 +02:00
Benjamin Hipple 964214b107 cpplint: init at 1.3.0
Static analyzer for C++ code. Licensed under a very permissive, generic Google license (BSD3 wording).
2018-10-12 18:51:43 +00:00
Will Dietz f84cfdf02a
Merge pull request #48180 from timokau/retdec-update
retdec: 3.0 -> 3.2
2018-10-11 17:36:41 -05:00
Timo Kaufmann a33dec8cd5 retdec: 3.0 -> 3.2 2018-10-11 23:53:00 +02:00
R. RyanTM e1c5b47935 pmd: 6.7.0 -> 6.8.0 (#47736)
* pmd: 6.7.0 -> 6.8.0

Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pmd/versions

* pmd: refresh meta

Homepage is now https://pmd.github.io/
Added licenses
2018-10-11 13:20:01 +02:00
Daiderd Jordan 1383c08f2c
Merge branch 'master' into staging-next 2018-10-01 19:42:07 +02:00