about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
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
2024-02-11lean3: fix `gcc-13` build failure)Sergei Trofimovich1-1/+10
2024-02-11Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-02-10mcrl2: 202206 -> 202307Sergei Trofimovich1-2/+2
2024-02-09stp: fix the build against `gcc-13`Sergei Trofimovich1-0/+8
2024-02-09cryptominisat: 5.11.15 -> 5.11.21R. Ryantm1-2/+2
2024-02-05Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-02-04Merge pull request #284008 from r-ryantm/auto-update/workcraftWeijia Wang1-2/+2
2024-02-04Merge master into haskell-updatesgithub-actions[bot]1-4/+4
2024-02-03abella: update url, refactor to finalAttrs styleBen Darwin1-4/+4
2024-02-02Merge master into haskell-updatesgithub-actions[bot]2-9/+16
2024-02-01Merge pull request #285422 from marsam/update-lean4Mario Rodas1-7/+14
2024-01-31Merge pull request #284969 from marsam/update-z3_4_12Mario Rodas1-2/+2
2024-02-01lean4: add version testerMario Rodas1-5/+12
2024-02-01lean4: 4.4.0 -> 4.5.0Mario Rodas1-2/+2
2024-01-31Merge master into haskell-updatesgithub-actions[bot]4-200/+209
2024-01-30Merge pull request #283906 from ConnorBaker/feat/egglog-unstable-2024-01-26figsoda2-197/+198
2024-01-30Merge pull request #284834 from wegank/btor2tools-gcc-13Nick Cao1-1/+9
2024-01-30cvc5: 1.1.0 -> 1.1.1R. Ryantm1-2/+2
2024-01-30z3_4_12: 4.12.4 -> 4.12.5Mario Rodas1-2/+2
2024-01-30Merge master into haskell-updatesgithub-actions[bot]2-5/+22
2024-01-29btor2tools: fix build with gcc 13Weijia Wang1-1/+9
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-26egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26Connor Baker2-197/+198
2024-01-27Merge master into haskell-updatesgithub-actions[bot]1-1/+1
2024-01-26coq: 8.19+rc1 -> 8.19.0Pierre Roux1-1/+1
2024-01-26workcraft: 3.4.1 -> 3.4.2R. Ryantm1-2/+2
2024-01-18naproche: unstable-2023-07-11 -> unstable-2024-01-18Jan van Brügge1-8/+4
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-02 21:25:37 +0000