nixpkgs/pkgs/applications/science/logic
2023-07-11 22:22:35 +03:00
..
abc abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23 2023-03-12 18:10:19 -05: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 Merge pull request #210884 from vbgl/beluga-dune-3 2023-01-22 02:22:57 +01: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.86.0 -> 5.87.0 2023-07-11 05:28:30 +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.4 -> 5.11.11 2023-06-28 02:05:20 +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.4 -> 1.0.5 2023-03-25 01:00:12 +00:00
dafny dafny: remove unused deps 2023-04-29 19:13:11 -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-06-11 -> unstable-2023-06-26 2023-07-04 11:57:03 -04:00
ekrhyper treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
elan elan: 1.4.6 -> 2.0.0 2023-07-11 09:02:20 +00:00
eprover
fast-downward fast-downward: 22.06.1 -> 22.12.0 2022-12-17 07:45:23 +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 treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01: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.0 -> 2.5.1 2023-05-26 22:27:08 +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
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: allow maude 3.1.1 2023-05-10 16:30:39 +02: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 z3_4_12: 4.12.1 -> 4.12.2 2023-06-24 04:20:00 +00:00
zchaff