about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2024-03-27alt-ergo: 2.5.2 → 2.5.3Vincent Laporte1-2/+2
2024-03-22Merge pull request #297381 from emilytrau/logisim-darwinWeijia Wang2-35/+65
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
2024-03-07Merge master into haskell-updatesgithub-actions[bot]2-4/+4
2024-03-06Merge pull request #289177 from r-ryantm/auto-update/clingconWeijia Wang1-2/+2
2024-03-06cadical: 1.9.4 -> 1.9.5R. Ryantm1-2/+2
2024-03-05Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-03-04lean4: 4.6.0 -> 4.6.1Mario Rodas1-2/+2
2024-03-02cvc5: 1.1.1 -> 1.1.2R. Ryantm1-2/+2
2024-03-02Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-02-28lean4: 4.5.0 -> 4.6.0Mario Rodas1-2/+2
2024-02-25Merge master into haskell-updatesgithub-actions[bot]2-27/+8
2024-02-24Merge master into haskell-updatesgithub-actions[bot]1-3/+3
2024-02-23Merge master into staging-nextgithub-actions[bot]1-3/+3
2024-02-22boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.Simon Hollingshead2-27/+8
2024-02-22elan: 3.1.0 -> 3.1.1Mario Rodas1-3/+3
2024-02-20Merge master into haskell-updatesgithub-actions[bot]2-5/+5
2024-02-19Merge pull request #289941 from marsam/update-elanMario Rodas1-3/+3
2024-02-19clingo: 5.7.0 -> 5.7.1R. Ryantm1-2/+2
2024-02-19elan: 3.0.0 -> 3.1.0Mario Rodas1-3/+3
2024-02-17Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-02-16clingo: 5.6.2 -> 5.7.0R. Ryantm1-2/+2
2024-02-16clingcon: 5.2.0 -> 5.2.1R. Ryantm1-2/+2
2024-02-16Merge master into haskell-updatesgithub-actions[bot]2-1/+31
2024-02-15Merge pull request #288470 from McSinyx/stp-u8Pol Dellaiera2-1/+23
2024-02-14Merge pull request #287601 from trofi/stp-gcc-13-fixMario Rodas1-0/+8
2024-02-14Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-02-13stp: fix build failureNguyễn Gia Phong2-1/+23
2024-02-13cryptoverif: 2.07 → 2.08pl1Vincent Laporte1-2/+2
2024-02-12Merge master into haskell-updatesgithub-actions[bot]1-1/+10
2024-02-11Merge pull request #287604 from trofi/lean3-mark-brokenMario Rodas1-1/+10
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-09 01:54:38 +0000