about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2023-12-17alt-ergo: fix build on darwinWeijia Wang1-2/+2
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
2023-11-02coq: fix hompage urlPablo Ovelleiro Corral1-1/+1
2023-10-31Merge master into staging-nextgithub-actions[bot]1-2/+2
2023-10-30lean4: 4.1.0 -> 4.2.0Mario Rodas1-2/+2
2023-10-27aiger: fix build with clang 16Randy Eckenrode2-0/+16
2023-10-26Merge branch 'staging' into staging-nextVladimír Čunát1-2/+2
2023-10-25cryptominisat: 5.11.14 -> 5.11.15R. Ryantm1-2/+2
2023-10-23proverif: 2.04 → 2.05Vincent Laporte1-2/+2
2023-10-19Merge staging-next into staginggithub-actions[bot]1-2/+2
2023-10-19alt-ergo: 2.5.1 -> 2.5.2R. Ryantm1-2/+2
2023-10-19Merge pull request #258431 from pbsds/stabilize-patchesArtturi1-2/+2
2023-10-15surelog: 1.73 -> 1.76Henner Zeller1-2/+5
2023-10-15uhdm: 1.74 -> 1.76Henner Zeller1-2/+3
2023-10-10Merge pull request #260203 from wegank/cryptoverif-bumpWeijia Wang1-8/+19
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-12 06:14:15 +0000