about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2022-09-26cadical: 1.5.0 -> 1.5.3Narazaki, Shuji1-2/+2
2022-09-18Merge pull request #191509 from r-ryantm/auto-update/fast-downwardsuperherointj1-2/+2
2022-09-18ocamlPackages.cmdliner: default to 1.1Vincent Laporte2-2/+2
2022-09-17Merge pull request #191483 from vbgl/why3-1.5.1Christian Kögler1-2/+2
2022-09-17clingo: 5.6.0 -> 5.6.1R. Ryantm1-2/+2
2022-09-16fast-downward: 22.06.0 -> 22.06.1R. Ryantm1-2/+2
2022-09-16why3: 1.5.0 → 1.5.1Vincent Laporte1-2/+2
2022-09-15why3: use why3.version in withProversBouke van der Bijl1-0/+1
2022-09-15Merge pull request #188924 from McSinyx/klee-llvmK9002-12/+9
2022-09-14cbmc: 5.65.0 -> 5.65.1R. Ryantm1-2/+2
2022-09-13Merge pull request #190919 from r-ryantm/auto-update/clingo7c6f434c1-2/+2
2022-09-13elan: 1.4.1 -> 1.4.2Gabriel Ebner1-3/+3
2022-09-12clingo: 5.5.2 -> 5.6.0R. Ryantm1-2/+2
2022-09-09acgtk: 1.5.2 → 1.5.4Vincent Laporte1-6/+9
2022-09-06coq_8_16: 8.16+rc1 -> 8.16.0R. Ryantm1-1/+1
2022-09-04Merge pull request #189426 from kilianar/cadical-1.5.0Christian Kögler1-2/+2
2022-09-04Merge pull request #189430 from r-ryantm/auto-update/cbmcBobby Rong1-2/+2
2022-09-03Merge pull request #189414 from kilianar/kissat-3.0.0Robert Scott1-4/+3
2022-09-02Merge pull request #188650 from movingco/add-z3-411Robert Scott1-0/+4
2022-09-02cbmc: 5.64.0 -> 5.65.0R. Ryantm1-2/+2
2022-09-02cadical: 1.4.1 -> 1.5.0kilianar1-2/+2
2022-09-02kissat: 2.0.1 -> 3.0.0kilianar1-4/+3
2022-08-31lean: 3.47.0 -> 3.48.0kilianar1-3/+3
2022-08-30klee: use the same LLVM version for clangNguyễn Gia Phong2-12/+9
2022-08-29cvc5: 1.0.1 -> 1.0.2R. Ryantm1-2/+2
2022-08-28z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0Ian Macalinao1-0/+4
2022-08-27lean: 3.46.0 -> 3.47.0Mario Rodas1-3/+3
2022-08-25cvc3: reenable stackprotector on aarch64-darwinTheodore Ni1-4/+0
2022-08-22elan: overwrite llvm-ar with stdenv arGabriel Ebner2-1/+8
2022-08-18cbmc: 5.63.0 -> 5.64.0R. Ryantm1-2/+2
2022-08-18cbmc: init at 5.63.0Jiajie Chen2-0/+131
2022-08-17Merge pull request #180682 from r-ryantm/auto-update/fast-downwardSebastián Mancilla1-2/+2
2022-08-17alt-ergo: 2.4.1 → 2.4.2Vincent Laporte1-13/+9
2022-08-14bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07Mrmaxmeier1-3/+3
2022-08-12yosys: 0.18 -> 0.20Austin Seipp1-3/+3
2022-08-12Merge pull request #185834 from kilianar/lean-3.46.0Mario Rodas1-3/+3
2022-08-10Merge pull request #180766 from jvierling/metis-proverGabriel Ebner1-3/+3
2022-08-09lean: 3.45.0 -> 3.46.0kilianar1-3/+3
2022-08-02Merge pull request #183064 from bcdarwin/update-mcrl2superherointj1-2/+2
2022-07-31workcraft: 3.3.6 -> 3.3.8R. Ryantm1-2/+2
2022-07-30Merge pull request #183276 from r-ryantm/auto-update/cvc5Bobby Rong1-2/+2
2022-07-29opensmt: 2.3.1 -> 2.4.1R. Ryantm1-2/+2
2022-07-28cvc5: 1.0.0 -> 1.0.1R. Ryantm1-2/+2
2022-07-27mcrl2: 201707 -> 202206Ben Darwin1-2/+2
2022-07-21Merge pull request #179568 from collares/lean-3.44.1Gabriel Ebner1-3/+3
2022-07-21lean: 3.44.1 -> 3.45.0Mauricio Collares1-3/+3
2022-07-21lean: 3.44.0 -> 3.44.1Mauricio Collares1-3/+3
2022-07-21lean: 3.43.0 -> 3.44.0Mauricio Collares1-3/+3
2022-07-20Merge pull request #182056 from jiegec/cvc3-darwinBen Siraphob1-0/+7
2022-07-21cvc3: unbreak on aarch64-darwinJiajie Chen1-0/+7
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-12 03:40:09 +0000