about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2024-01-29why3: move the OCaml library to its own dev outputVincent Laporte2-1/+9
2024-01-29why3: make it easy to disable IDE supportVincent Laporte1-2/+11
2024-01-29why3: 1.7.0 → 1.7.1Vincent Laporte1-2/+2
2024-01-16msat: init at 0.9.1Vincent Laporte1-0/+13
2023-12-16Merge pull request #271132 from NixOS/backport-271084-to-release-23.11Mario Rodas1-2/+2
2023-12-02why3: 1.6.0 → 1.7.0Vincent Laporte1-3/+8
2023-11-30lean4: 4.2.0 -> 4.3.0Mario Rodas1-2/+2
2023-11-29surelog: 1.76 -> 1.80Henner Zeller1-2/+2
2023-11-29uhdm: 1.77 -> 1.80Henner Zeller1-2/+2
2023-11-23lean4: fix build on darwinMario Rodas1-0/+5
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-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
2023-10-10kissat: 3.1.0 -> 3.1.1R. Ryantm1-2/+2
2023-10-10cryptoverif: 2.05 -> 2.07Weijia Wang1-8/+19
2023-10-10Merge pull request #260039 from r-ryantm/auto-update/cadicalRyan Mulligan1-2/+2
2023-10-09Merge pull request #259398 from whonore/update-dafny-4.3.0Guillaume Maudoux1-15/+23
2023-10-09cadical: 1.5.3 -> 1.8.0R. Ryantm1-2/+2
2023-10-09vampire: make patch urls reproduciblePeder Bergebakken Sundt1-2/+2
2023-10-07abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13Luflosi1-3/+3
2023-10-06dafny: 4.2.0 -> 4.3.0whonore1-15/+23
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 00:15:49 +0000