nixpkgs/pkgs/applications/science/logic
2023-09-01 16:33:25 -04:00
..
abc abc-verifier: unstable-2023-02-23 -> unstable-2023-06-28 2023-07-18 21:37:31 +02:00
abella treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
acgtk ocamlPackages.mtime: create 1.x fork for compat 2023-06-13 13:14:38 +07:00
aiger
alt-ergo alt-ergo: 2.4.2 → 2.4.3 2023-05-31 06:06:49 +02:00
anders pkgs/applications: replace "${version}" with version 2023-07-02 14:39:50 -04:00
aspino aspino: remove patchShebangs 2022-11-25 16:48:27 +01:00
avy treewide: move NIX_CFLAGS_COMPILE to the env attrset 2023-02-22 21:23:04 +02:00
beluga beluga: fix hash 2023-08-04 19:48:22 +02:00
bitwuzla treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
boolector treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
btor2tools
cadical cadical: 1.5.0 -> 1.5.3 2022-09-26 00:00:17 +09:00
cbmc cbmc: 5.89.0 -> 5.90.0 2023-08-23 00:42:48 +00:00
cedille treewide: {build,host,target}Platform -> stdenv.{build,host,target}Platform 2023-01-09 21:13:22 +02:00
celf
clprover
coq coq: 8.17.0 → 8.17.1 2023-06-30 06:48:15 +02:00
cryptominisat cryptominisat: 5.11.11 -> 5.11.12 2023-08-24 17:19:43 +00:00
cryptoverif treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
cubicle cubicle: set env instead of postPatch 2023-03-05 01:44:26 +02:00
cvc3
cvc4 cvc4: Fix build failure from new bash 5.2 feature 2023-02-18 14:07:28 -06:00
cvc5 cvc5: 1.0.5 → 1.0.6 2023-08-16 21:33:07 +02:00
dafny dafny: 4.0.0 -> 4.2.0 2023-07-28 17:11:46 -04:00
drat-trim
easycrypt why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) 2023-03-20 20:45:47 +01:00
egglog egglog: unstable-2023-08-23 -> unstable-2023-08-29 2023-09-01 16:33:25 -04:00
ekrhyper treewide: remove unneeded dots and slashes in sourceRoots 2023-08-12 08:29:56 +00:00
elan elan: 2.0.0 -> 2.0.1 2023-07-27 04:51:49 +00:00
eprover
fast-downward fast-downward: 22.12.0 -> 23.06.0 2023-08-07 01:43:33 +00:00
formula treewide: update all dotnet lockfiles 2022-12-19 15:36:25 -04:00
gappa
glucose glucose: 4.1 -> 4.2.1 2023-03-18 22:17:16 +02:00
hol
hol_light hol_light: 2019-10-06 → 2023-07-21 2023-08-04 18:15:31 +02:00
iprover treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
isabelle isabelle-components.isabelle-linter: add platforms 2023-05-17 23:01:48 +03:00
key
kissat treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
klee klee: 2.3 -> 3.0 2023-06-21 18:16:44 +09:00
lci
lean lean: 3.50.3 -> 3.51.0 2023-05-22 18:10:56 +02:00
lean2
leo2 leo2: add darwin support 2023-03-07 00:10:09 +02:00
leo3
lingeling
logisim
logisim-evolution logisim-evolution: 3.7.2 -> 3.8.0 2022-10-03 17:42:45 +00:00
ltl2ba
mcrl2
mcy pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00
metis-prover treewide: replace http by https when https is a permanent redirection 2023-01-22 02:46:49 +01:00
minisat
monosat treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
naproche naproche: 2022-04-19 -> 2022-10-24 2022-10-26 12:10:09 +01:00
nusmv nusmv: init at 2.6.0 2022-10-16 18:21:19 +02:00
nuXmv
open-wbo
opensmt opensmt: 2.5.1 -> 2.5.2 2023-07-19 04:02:07 +00:00
ott treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
petrinizer petrinizer: mark as broken because sbv no longer builds 2022-12-24 16:05:31 +09:00
picosat
poly libpoly: 0.1.11 -> 0.1.13 2023-08-07 04:40:37 +00:00
potassco clingo: 5.6.1 -> 5.6.2 2022-11-07 17:55:20 +00:00
prooftree treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
prover9 licenses: remove gpl1 2022-09-29 10:54:21 +02:00
proverif treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
redprl
satallax treewide: move NIX_CFLAGS_COMPILE to the env attrset 2023-02-22 21:23:04 +02:00
saw-tools
sharpsat-td sharpsat-td: patch with updated version of mpreal/mpfrc++ 2023-05-27 20:49:34 +01:00
spass
statverif treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
stp
surelog surelog: 1.45 -> 1.57 2023-04-26 01:47:32 -05:00
symbiyosys treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
symfpu
tamarin-prover tamarin-prover: 1.6.1 -> 1.8.0 2023-08-31 10:57:38 -05:00
tlaplus tlaplus18: init at 1.8.0 2023-06-30 16:09:41 -07:00
tptp
twelf
uhdm uhdm: 1.45 -> 1.57 2023-04-26 01:47:32 -05:00
vampire vampire: unbreak on aarch64-linux 2023-03-05 02:21:12 +02:00
verifast
verit
why3 why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) 2023-03-20 20:45:47 +01:00
workcraft workcraft: 3.3.9 -> 3.4.0 2023-04-23 00:06:26 +00:00
yices yices: fix typo in comment 2023-03-22 16:08:09 +01:00
z3 treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases 2023-08-03 16:32:03 +00:00
zchaff