about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2024-06-21Merge pull request #320775 from r-ryantm/auto-update/cbmcMasum Reza1-2/+2
2024-06-19Merge pull request #320534 from luochen1990/lean-4.8Nick Cao1-2/+2
2024-06-18cbmc: 5.95.1 -> 6.0.0R. Ryantm1-2/+2
2024-06-17lean4: 4.7.0 -> 4.8.0LuoChen1-2/+2
2024-06-17coq: 8.19.1 → 8.19.2Vincent Laporte1-0/+1
2024-06-15treewide: remove myself from packages I don’t useEmily1-1/+1
2024-06-12cryptoverif: 2.08pl1 -> 2.09Martin Joerg1-5/+5
2024-06-09treewide: Remove the definite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt35-35/+35
2024-06-09treewide: Remove ending period from meta.descriptionAlexis Hildebrandt2-2/+2
2024-06-07Merge pull request #316654 from symphorien/update_bitwuzla2Guillaume Girol1-12/+2
2024-06-02bitwuzla: 0.4.0 -> 0.5.0Guillaume Girol1-12/+2
2024-06-02prooftree: 0.13 -> 0.14R. Ryantm1-2/+2
2024-05-30Merge pull request #310394 from Sigmanificient/remove-2y-brokenWeijia Wang1-31/+0
2024-05-30opensmt: 2.6.0 -> 2.7.0R. Ryantm1-2/+2
2024-05-30petrinizer: removeSigmanificient1-31/+0
2024-05-29hol_light: 2023-11-03 → 2024-05-10Vincent Laporte1-9/+13
2024-05-23Merge pull request #309880 from jiegec/cbmcPeder Bergebakken Sundt2-11/+11
2024-05-22cbmc: 5.91.0 -> 5.95.1Jiajie Chen2-11/+11
2024-05-17Merge pull request #302405 from wegank/prooftree-prefixAleksana1-2/+1
2024-05-13alt-ergo: 2.5.3 -> 2.5.4R. Ryantm1-2/+2
2024-05-03Merge #306080: staging-next 2024-04-22Vladimír Čunát3-6/+6
2024-05-02eprover: 3.0.03 -> 3.1R. Ryantm1-2/+2
2024-04-29Merge master into staging-nextgithub-actions[bot]1-2/+2
2024-04-29why3: 1.7.1 → 1.7.2Vincent Laporte1-2/+2
2024-04-27treewide: wrapGAppsHook → wrapGAppsHook3Jan Tojnar3-6/+6
2024-04-24maintainers: drop marsamMario Rodas2-2/+2
2024-04-09klee: 3.0 -> 3.1Morgan Jones2-5/+7
2024-04-07prooftree: use prefixKeyWeijia Wang1-2/+1
2024-04-05Merge pull request #301348 from symphorien/update_bitwuzlaWeijia Wang4-41/+101
2024-04-03bitwuzla: test on aarch64-linuxGuillaume Girol1-2/+2
2024-04-03bitwuzla: fix on aarch64-linuxGuillaume Girol1-0/+10
2024-04-03bitwuzla: fix build with doCheck = falseGuillaume Girol1-8/+14
2024-04-03cryptominisat: fix static buildGuillaume Girol1-2/+8
2024-04-03cadical: fix static buildGuillaume Girol1-0/+5
2024-04-03bitwuzla: unstable-2022-10-03 -> 0.4.0Guillaume Girol1-27/+13
2024-04-03symfpu: install headers in $out/include, add a pkg-config fileGuillaume Girol1-3/+26
2024-04-03cadical: add pkg-config fileGuillaume Girol1-1/+25
2024-04-03lean4: 4.6.1 -> 4.7.0Mario Rodas1-2/+2
2024-04-01Merge pull request #276432 from r-ryantm/auto-update/surelogWeijia Wang1-2/+2
2024-04-01Merge pull request #297595 from r-ryantm/auto-update/uhdmWeijia Wang1-2/+2
2024-03-30Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-03-29dafny: 4.5.0 -> 4.6.0R. Ryantm1-2/+2
2024-03-28Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-03-27alt-ergo: 2.5.2 → 2.5.3Vincent Laporte1-2/+2
2024-03-23Merge master into haskell-updatesgithub-actions[bot]2-35/+65
2024-03-22Merge pull request #297381 from emilytrau/logisim-darwinWeijia Wang2-35/+65
2024-03-22tamarin-prover: pick patch for Stackage LTS 22 dependenciessternenseemann2-9/+250
2024-03-21uhdm: 1.80 -> 1.82R. Ryantm1-2/+2
2024-03-20logisim: add darwin bundleEmily Trau1-15/+29
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-25 22:31:46 +0000