about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2022-12-06Merge pull request #204330 from jvanbruegge/isabelle-fix-componentsSandro1-22/+17
2022-12-06isabelle: fix build on MacOSJan van Brügge1-2/+3
2022-12-05coq: 8.16.0 → 8.16.1Vincent Laporte1-0/+1
2022-12-03Merge pull request #202805 from r-ryantm/auto-update/cbmcNikolay Korotkiy1-2/+2
2022-12-03isabelle: use prebuilt z3Jan van Brügge1-14/+8
2022-12-03isabelle: make withComponents function use finalAttrsJan van Brügge1-6/+6
2022-12-03Merge pull request #191966 from jvanbruegge/isabelle-2022Sandro4-60/+61
2022-12-03alt-ergo: fix version stringVincent Laporte1-0/+3
2022-11-28formula: unbreak on aarch64-linuxWeijia Wang1-1/+0
2022-11-25surelog: use latest OpenJDKRobert Schütz1-2/+2
2022-11-25aspino: remove patchShebangsWeijia Wang1-1/+0
2022-11-25avy: fix build on aarch64-linuxWeijia Wang3-50/+31
2022-11-25glucose: fix build on aarch64-linuxWeijia Wang1-2/+5
2022-11-25aspino: fix buildWeijia Wang1-5/+4
2022-11-25cbmc: 5.70.0 -> 5.71.0R. Ryantm1-2/+2
2022-11-22opensmt: 2.4.2 -> 2.4.3R. Ryantm1-2/+2
2022-11-16ocamlPackages.extlib: rename from ocaml_extlibsternenseemann1-1/+1
2022-11-13Merge pull request #200755 from collares/lean-3.49.0Mario Rodas1-3/+3
2022-11-11lean: 3.48.0 -> 3.49.0Mauricio Collares1-3/+3
2022-11-11cbmc: 5.69.1 -> 5.70.0R. Ryantm1-2/+2
2022-11-10Merge pull request #200059 from r-ryantm/auto-update/clingo7c6f434c1-2/+2
2022-11-08surelog: 1.40 -> 1.45Henner Zeller1-2/+20
2022-11-08uhdm: 0.9.1.40 -> 1.45Henner Zeller1-8/+22
2022-11-07clingo: 5.6.1 -> 5.6.2R. Ryantm1-2/+2
2022-11-07clingcon: 5.0.0 -> 5.2.0 and fix buildamesgen2-30/+2
2022-11-04Merge pull request #173225 from matthuszagh/uhdmValentin Gagarin2-0/+108
2022-10-31isabelle-linter: 2021-1 -> 2022-09-05Jan van Brügge2-40/+16
2022-10-31isabelle: 2021-1 -> 2022Jan van Brügge1-17/+42
2022-10-30Merge pull request #195226 from mgttlinger/nusmvAnderson Torres1-0/+37
2022-10-29cbmc: 5.69.0 -> 5.69.1R. Ryantm1-2/+2
2022-10-28cbmc: 5.68.0 -> 5.69.0R. Ryantm1-2/+2
2022-10-26naproche: 2022-04-19 -> 2022-10-24Jan van Brügge1-3/+3
2022-10-25opensmt: 2.4.1 -> 2.4.2R. Ryantm1-2/+2
2022-10-16nusmv: init at 2.6.0Merlin Göttlinger1-0/+37
2022-10-15Merge master into staging-nextgithub-actions[bot]1-3/+3
2022-10-14abc-verifier: 2022.07.27 -> unstable-2022-09-08Luflosi1-3/+3
2022-10-15Merge master into staging-nextgithub-actions[bot]4-5/+4
2022-10-15Merge pull request #195661 from wamserma/arg-cleanup-appArtturi4-5/+4
2022-10-14Merge master into staging-nextgithub-actions[bot]1-2/+2
2022-10-14cbmc: 5.67.0 -> 5.68.0R. Ryantm1-2/+2
2022-10-13Merge branch 'master' into stagingVladimír Čunát3-7/+12
2022-10-12Merge pull request #193484 from wegank/gpl1-eolSandro1-1/+1
2022-10-12coq_8_16: use OCaml 4.14Vincent Laporte1-3/+6
2022-10-12pkgs.applications: remove unused argsMarkus S. Wamser4-5/+4
2022-10-10treewide: optional -> optionals where the argument is a listArtturin1-1/+1
2022-10-04bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03Mrmaxmeier1-4/+3
2022-10-04bitwuzla: build with SymFPUMrmaxmeier1-0/+3
2022-10-03uhdm: add patch to fix darwin buildMatt Huszagh1-0/+6
2022-09-30cbmc: 5.65.1 -> 5.67.0R. Ryantm1-2/+2
2022-09-29licenses: remove gpl1Weijia Wang1-1/+1