about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
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
2024-03-20logisim-evolution: add darwin bundleEmily Trau1-20/+36
2024-03-19Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt40-0/+40
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm40-0/+40
2024-03-18Merge master into staging-nextgithub-actions[bot]2-24/+21
2024-03-17dafny: 4.4.0 -> 4.5.0whonore2-24/+21
2024-03-17Merge master into staging-nextgithub-actions[bot]1-8/+4
2024-03-13Merge master into haskell-updatesgithub-actions[bot]1-0/+1
2024-03-12Merge staging-next into staginggithub-actions[bot]1-0/+1
2024-03-12coq_8_19: 8.19.0 → 8.19.1Vincent Laporte1-0/+1
2024-03-11llvmPackages_{12,13,14,15,16,17,git}.{libcxx,libcxxabi}: merge libcxxabi into...a-n-n-a-l-e-e1-5/+0
2024-03-11Merge master into haskell-updatesgithub-actions[bot]2-13/+7
2024-03-09Revert "elan: revert temporary directory creation"Joachim Breitner1-9/+1
2024-03-09fix: elan: use relative paths in wrapper scriptJoachim Breitner1-4/+6
2024-03-09Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-03-08Merge pull request #292724 from r-ryantm/auto-update/cvc5Weijia Wang1-2/+2
2024-03-07Merge branch 'master' into HEADRobert Hensing3-5/+13
2024-03-07Merge pull request #287372 from r-ryantm/auto-update/cryptominisatWeijia Wang1-2/+2
2024-03-07elan: revert temporary directory creationMario Rodas1-1/+9
2024-03-07opensmt: 2.5.2 -> 2.6.0R. Ryantm1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-28 17:42:21 +0000