..
abc
yosys: 0.10+1 -> 0.11+52, with abc update
2021-12-02 21:48:51 -06:00
abella
abella: 2.0.6 -> 2.0.7
2021-10-19 13:25:44 -04:00
acgtk
ocamlPackages.menhir: 20190626 → 20210419
2021-06-05 13:38:01 +02:00
aiger
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
alt-ergo
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
2022-02-24 14:39:27 +01:00
anders
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
2022-02-24 14:39:27 +01:00
aspino
pkgs/applications: rename name to pname&version part 2
2021-11-07 14:53:06 +01:00
avy
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
beluga
beluga: 2020-03-11 -> 1.0
2021-04-01 04:20:00 +00:00
bitwuzla
bitwuzla: init at unstable-2021-07-01
2021-07-25 15:52:25 +02:00
boolector
boolector: add patch fixing build on aarch64-linux
2021-11-13 19:45:51 -06:00
btor2tools
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
cadical
cadical: include C++ headers
2021-10-14 15:23:05 -07:00
cedille
cedille: set no hydra platforms
2021-07-17 11:17:09 +09:00
celf
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
clprover
treewide: update permanent url redirects
2021-01-30 21:48:57 +01:00
coq
coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs
2022-02-18 15:17:04 +01:00
cryptominisat
treewide: editorconfig fixes
2021-01-20 09:11:11 +10:00
cryptoverif
cryptoverif: 2.04 -> 2.05
2021-12-11 10:05:51 +00:00
cubicle
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
cvc3
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
cvc4
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
drat-trim
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
ekrhyper
ekrhyper: refactor
2021-12-21 12:44:01 +01:00
elan
elan: set LEAN_CC to stdenv cc
2021-12-19 17:27:10 +01:00
eprover
eprover: Add option to enable LFHOL reasoning
2022-01-02 20:53:32 +01:00
fast-downward
treewide: fix homepages with permanent redirect to https
2021-12-29 22:06:47 +07:00
formula
formula: init at 2.0
2022-02-15 14:09:16 -06:00
gappa
pkgs/applications: rename name to pname&version part 2
2021-11-07 14:53:06 +01:00
glucose
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
hol
hol: expand platforms to unix
2021-07-01 22:19:02 +07:00
hol_light
pkgs/applications: rename name to pname&version part 2
2021-11-07 14:53:06 +01:00
iprover
treewide: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00
isabelle
maintainers: add jvanbruegge
2022-01-19 18:25:27 +01:00
jonprl
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
key
gradle: Update hashes of dependents for 7.4
2022-02-15 09:17:56 +01:00
kissat
kissat: init at 2.0.1
2021-10-04 08:45:36 +09:00
klee
klee: init at 2.2
2022-01-08 15:49:07 -07:00
lci
treewide: fix double quoted strings in meta.description
2021-01-24 19:56:59 +07:00
lean
lean: 3.39.1 -> 3.39.2
2022-02-17 23:42:05 -03:00
lean2
lean2: stay with python2
2021-04-03 17:06:21 +02:00
leo2
treewide: remove *.upstream files from updateWalker
2022-01-26 21:46:07 +01:00
leo3
leo3-bin: deprecate phases
2021-07-14 16:38:38 +02:00
lingeling
lingeling: pre1_03b4860d -> pre1_708beb26
2021-11-13 19:45:51 -06:00
logisim
maintainers: update emilytrau
2022-02-11 04:45:03 +00:00
logisim-evolution
maintainers: update emilytrau
2022-02-11 04:45:03 +00:00
ltl2ba
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
mcrl2
qtbase: Check for wrapQtAppsHook in setupHook
2021-01-25 15:56:15 -06:00
mcy
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
metis-prover
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
minisat
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
monosat
treewide: refactor isi686 && isx86_64 -> isx86
2021-11-20 17:50:41 -08:00
open-wbo
pkgs/applications: rename name to pname&version part 2
2021-11-07 14:53:06 +01:00
opensmt
opensmt: 2.1.1 -> 2.2.0
2021-11-03 18:03:12 +00:00
ott
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
otter
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
petrinizer
petrinizer: restrict platforms by sbv
2021-05-06 16:24:58 +02:00
picosat
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
poly
libpoly: 0.1.10 -> 0.1.11
2022-01-02 17:38:00 +01:00
potassco
treewide: remove *.upstream files from updateWalker
2022-01-26 21:46:07 +01:00
prooftree
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
prover9
fixup! prover9: convert patchPhase to postPatch, cleanup meta
2021-11-09 20:26:04 +01:00
proverif
proverif: 2.03 → 2.04
2021-12-09 17:45:15 +01:00
redprl
redprl: unstable-2017-03-28 -> unstable-2019-11-04
2021-11-12 19:24:17 -06:00
sad
pkgs/applications: rename name to pname&version part 2
2021-11-07 14:53:06 +01:00
satallax
treewide: remove all updateWalker/downloadURLRegexp
2022-01-26 21:46:08 +01:00
saw-tools
saw-tools: remove phases
2021-08-03 00:03:41 +02:00
spass
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
statverif
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
stp
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
symbiyosys
symbiyosys: 2021.09.13 -> 2021.11.30
2021-12-02 21:48:51 -06:00
tamarin-prover
tamarin-prover: install emacs-mode
2022-01-25 15:54:15 +01:00
tlaplus
tlaplus: 1.7.1 -> 1.7.2
2022-02-13 10:33:51 +00:00
tptp
treewide: with stdenv.lib; in meta -> with lib;
2021-01-11 10:38:22 +01:00
twelf
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
vampire
vampire: 4.5.1 -> 4.6.1
2022-01-01 22:13:11 +01:00
verifast
verifast: 19.12 -> 21.04
2021-08-23 07:29:27 +00:00
verit
verit: 2016 -> 2021.06.2
2021-12-31 13:00:43 +01:00
why3
why3.withProvers: add dontUnpack
2021-12-12 20:33:14 +01:00
workcraft
workcraft: 3.3.5 -> 3.3.6
2022-02-14 09:43:01 +00:00
yices
yices: 2.6.2 -> 2.6.4
2022-01-02 10:15:42 +01:00
z3
z3: 4.8.12 -> 4.8.14
2022-01-02 12:45:59 -06:00
a13cdfe520