about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2024-01-03Merge pull request #277227 from r-ryantm/auto-update/cvc5Weijia Wang1-2/+2
2023-12-31z3_4_12: 4.12.2 -> 4.12.4Lucas Van Laer1-2/+2
2023-12-28cvc5: 1.0.9 -> 1.1.0R. Ryantm1-2/+2
2023-12-26Merge pull request #276854 from r-ryantm/auto-update/cadicalFabián Heredia Montiel1-2/+2
2023-12-26Merge pull request #276940 from tejing1/cleanup-lean4Mario Rodas1-0/+1
2023-12-26lean4: clean up colliding filesJeff Huffman1-0/+1
2023-12-26Merge pull request #275586 from r-ryantm/auto-update/cvc5Mario Rodas1-2/+2
2023-12-26cadical: 1.9.1 -> 1.9.3R. Ryantm1-2/+2
2023-12-22lean4: 4.3.0 -> 4.4.0R. Ryantm1-2/+2
2023-12-20Merge pull request #274496 from whonore/update-dafny-4.4.0Guillaume Maudoux2-36/+31
2023-12-20cvc5: 1.0.8 -> 1.0.9R. Ryantm1-2/+2
2023-12-19coq_8_19: init at 8.19+rc1Pierre Roux1-0/+1
2023-12-17alt-ergo: fix build on darwinWeijia Wang1-2/+2
2023-12-15dafny: 4.3.0 -> 4.4.0whonore2-36/+31
2023-12-15cadical: 1.9.0 -> 1.9.1R. Ryantm1-2/+2
2023-12-10Merge pull request #243497 from jvanbruegge/isabelle-2023Weijia Wang3-12/+11
2023-12-10Merge pull request #271924 from stepbrobd/z3-solverOTABI Tomoya1-1/+1
2023-12-10isabelle-linter: 1.2.1 -> 2023-1.0.0Jan van Brügge1-3/+3
2023-12-09eprover: 3.0 -> 3.0.03R. Ryantm1-2/+2
2023-12-06python3Packages.z3-solver: rename from z3Yifei Sun1-1/+1
2023-12-05Merge pull request #263288 from r-ryantm/auto-update/cryptominisatWeijia Wang1-2/+2
2023-12-02Merge pull request #271114 from vbgl/why3-1.7.0Peder Bergebakken Sundt1-3/+8
2023-11-30Merge pull request #271084 from marsam/update-lean4Mario Rodas1-2/+2
2023-11-30why3: 1.6.0 → 1.7.0Vincent Laporte1-3/+8
2023-11-30acgtk: 1.5.4 → 2.0.0Vincent Laporte1-4/+4
2023-11-29surelog: 1.76 -> 1.80Henner Zeller1-2/+2
2023-11-29uhdm: 1.77 -> 1.80Henner Zeller1-2/+2
2023-11-29lean4: 4.2.0 -> 4.3.0Mario Rodas1-2/+2
2023-11-23lean4: fix build on darwinMario Rodas1-0/+5
2023-11-21cadical: 1.8.0 -> 1.9.0R. Ryantm1-2/+2
2023-11-20easycrypt: fix runtest commandVincent Laporte1-1/+5
2023-11-20hol_light: 2023-07-21 → 2023-11-03Vincent Laporte1-4/+6
2023-11-17eprover: update hash - target modified inplaceannalee1-1/+1
2023-11-16Merge branch 'master' into staging-nextVladimír Čunát1-2/+2
2023-11-15Merge pull request #267664 from r-ryantm/auto-update/eprover7c6f434c1-2/+2
2023-11-15eprover: 2.6 -> 3.0R. Ryantm1-2/+2
2023-11-15Merge branch 'master' into staging-nextVladimír Čunát1-4/+5
2023-11-14abella: 2.0.7 -> 2.0.8Chen1-4/+5
2023-11-12Merge master into staging-nextgithub-actions[bot]1-10/+17
2023-11-12Merge pull request #266486 from Luflosi/update/yosysPierre Bourdon1-10/+17
2023-11-11Merge master into staging-nextgithub-actions[bot]5-9/+9
2023-11-11treewide: fix redirected and broken URLsAnthony Roussel5-9/+9
2023-11-08abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13Luflosi1-3/+3
2023-11-08abc-verifier: cleanupLuflosi1-6/+13
2023-11-08abc-verifier: add Luflosi as maintainerLuflosi1-1/+1
2023-11-08Merge branch 'master' into staging-nextAdam Joseph1-1/+1
2023-11-05treewide: change pythonForBuild to pythonOnBuildForHostAdam Joseph1-1/+1
2023-11-04Merge branch 'master' into staging-nextWeijia Wang1-2/+2
2023-11-04uhdm: 1.76 -> 1.77R. Ryantm1-2/+2
2023-11-02Merge master into staging-nextgithub-actions[bot]1-1/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-22 10:21:50 +0000