nixpkgs/pkgs/applications/science/logic
2024-03-17 12:30:18 -04:00
..
abc abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13 2023-11-08 15:21:35 +01:00
abella abella: update url, refactor to finalAttrs style 2024-02-03 14:58:27 -05:00
acgtk acgtk: 1.5.4 → 2.0.0 2023-11-30 05:37:04 +01:00
aiger Merge master into staging-next 2023-11-11 18:00:58 +00:00
alt-ergo alt-ergo: fix build on darwin 2023-12-17 16:12:48 +01:00
anders
aspino
avy
beluga beluga: 1.1 -> 1.1.1 2023-09-22 11:56:33 +00:00
bitwuzla
boolector boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility. 2024-02-22 19:48:14 +00:00
btor2tools btor2tools: fix build with gcc 13 2024-01-29 21:35:06 +01:00
cadical cadical: 1.9.4 -> 1.9.5 2024-03-06 15:23:48 +00:00
cbmc cbmc: 5.90.0 -> 5.91.0 2023-09-13 00:11:49 +00:00
cedille
celf
clprover
coq coq_8_19: 8.19.0 → 8.19.1 2024-03-12 05:49:59 +01:00
cryptominisat cryptominisat: 5.11.15 -> 5.11.21 2024-02-09 04:52:13 +00:00
cryptoverif cryptoverif: 2.07 → 2.08pl1 2024-02-13 06:23:27 +01:00
cubicle
cvc3 treewide: fix redirected and broken URLs 2023-11-11 10:49:01 +01:00
cvc4 treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType 2023-09-08 14:18:26 +00:00
cvc5 cvc5: 1.1.1 -> 1.1.2 2024-03-02 04:58:08 +00:00
dafny dafny: 4.4.0 -> 4.5.0 2024-03-17 12:30:18 -04:00
drat-trim Update pkgs/applications/science/logic/drat-trim/default.nix 2023-09-12 14:52:16 -04:00
easycrypt why3: move the OCaml library to its own dev output 2024-01-29 09:40:12 +01:00
egglog egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26 2024-01-26 22:47:43 -05:00
ekrhyper treewide: remove unneeded dots and slashes in sourceRoots 2023-08-12 08:29:56 +00:00
elan Revert "elan: revert temporary directory creation" 2024-03-09 16:50:49 +01:00
eprover eprover: 3.0 -> 3.0.03 2023-12-09 18:57:23 +00:00
fast-downward fast-downward: 22.12.0 -> 23.06.0 2023-08-07 01:43:33 +00:00
formula
gappa
glucose
hol
hol_light hol_light: 2023-07-21 → 2023-11-03 2023-11-20 07:03:45 +01:00
iprover iprover: 3.1 → 3.8.1 2024-01-10 06:33:50 +01:00
isabelle isabelle-linter: 1.2.1 -> 2023-1.0.0 2023-12-10 02:27:06 +01:00
key
kissat treewide: fix redirected and broken URLs 2023-11-11 10:49:01 +01:00
klee treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType 2023-09-08 14:18:26 +00:00
lci
lean lean3: fix gcc-13 build failure) 2024-02-11 19:47:22 +00:00
lean2
lean4 lean4: 4.6.0 -> 4.6.1 2024-03-04 04:20:00 +00:00
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2 mcrl2: 202206 -> 202307 2024-02-10 10:14:43 +00:00
mcy
metis-prover
minisat
monosat
msat msat: init at 0.9.1 2024-01-16 06:48:51 +01:00
naproche naproche: unstable-2023-07-11 -> unstable-2024-01-18 2024-01-18 17:00:55 +00:00
netlistsvg netlistsvg: update meta.homepage 2023-09-09 22:53:54 +02:00
nusmv
nuXmv
open-wbo
opensmt opensmt: 2.5.2 -> 2.6.0 2024-03-07 01:36:53 +00:00
ott
petrinizer
picosat treewide: fix redirected and broken URLs 2023-11-11 10:49:01 +01:00
poly libpoly: 0.1.11 -> 0.1.13 2023-08-07 04:40:37 +00:00
potassco Merge pull request #289177 from r-ryantm/auto-update/clingcon 2024-03-06 23:48:05 +01:00
prooftree
prover9
proverif proverif: 2.04 → 2.05 2023-10-23 12:07:37 +02:00
redprl
satallax
saw-tools
sharpsat-td
spass
statverif
stp Merge pull request #288470 from McSinyx/stp-u8 2024-02-15 23:07:44 +01:00
surelog surelog: 1.76 -> 1.80 2023-11-29 13:18:33 -06:00
symbiyosys
symfpu
tamarin-prover tamarin-prover: 1.6.1 -> 1.8.0 2023-08-31 10:57:38 -05:00
tlaplus
tptp
twelf
uhdm uhdm: 1.77 -> 1.80 2023-11-29 13:18:33 -06:00
vampire vampire: make patch urls reproducible 2023-10-09 15:10:48 +02:00
verifast
verit
why3 why3: move the OCaml library to its own dev output 2024-01-29 09:40:12 +01:00
workcraft workcraft: 3.4.1 -> 3.4.2 2024-01-26 12:41:46 +00:00
yices
z3 z3_4_12: 4.12.4 -> 4.12.5 2024-01-30 04:20:00 +00:00
zchaff