about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2022-06-23treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott6-0/+9
2022-06-22veriT: Fix build on macosHernan Rajchert1-1/+0
2022-06-20Merge pull request #178307 from Luflosi/update/yosysAnderson Torres1-3/+3
2022-06-20Merge pull request #177991 from mdarocha/dotnet-6-updateIvv1-1/+1
2022-06-20abc-verifier: 2022.03.22 -> 2022.05.06Luflosi1-3/+3
2022-06-17tamarin-prover: remove darwin from hydraPlatformsDennis Gosnell1-0/+1
2022-06-17formula: update dependenciesmdarocha1-1/+1
2022-06-08coq_8_16: init at 8.16+rc1Pierre Roux1-0/+1
2022-06-05alt-ergo: ensure compatibility with Menhir ≥ 20211215Vincent Laporte1-6/+10
2022-06-04treewide: set sourceProvenance for packages containing downloaded jarsRobert Scott4-0/+4
2022-06-03coq: 8.15.1 → 8.15.2Vincent Laporte1-0/+1
2022-06-01Merge pull request #175700 from siraben/cvc4-darwinBen Siraphob1-3/+3
2022-05-31cvc4: fix build on darwinBen Siraphob1-3/+3
2022-06-01Merge pull request #164779 from collares/lean2Ben Siraphob1-0/+46
2022-05-30treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel5-1/+5
2022-05-29treewide: pkgs/applications: mark broken for darwinRick van Schijndel3-0/+3
2022-05-29aspino: mark broken for x86_64 DarwinRick van Schijndel1-0/+2
2022-05-29ocamlPackages: rename sedlex_2 into sedlexVincent Laporte1-1/+1
2022-05-28Merge pull request #175039 from azahi/clingcon-fixRobert Scott2-0/+28
2022-05-28Merge pull request #174438 from r-ryantm/auto-update/clingo7c6f434c1-2/+2
2022-05-28clingcon: fix buildAzat Bahawi2-0/+28
2022-05-26Merge pull request #173304 from IvarWithoutBones/bump/dotnetmoduleSandro1-14/+17
2022-05-25coqPackages: etcCyril Cohen2-8/+12
2022-05-25clingo: 5.5.1 -> 5.5.2R. Ryantm1-2/+2
2022-05-22Merge master into staging-nextgithub-actions[bot]1-3/+3
2022-05-22Merge master into staging-nextgithub-actions[bot]2-0/+39
2022-05-21zchaff: use clangStdenvBen Siraphob1-3/+3
2022-05-21Merge pull request #173933 from siraben/zchaff-initBen Siraphob2-0/+39
2022-05-21lean2: 2017-07-22 -> 2018-10-01, unbreakMauricio Collares1-0/+46
2022-05-21zchaff: init at 2004.5.13Ben Siraphob2-0/+39
2022-05-19Merge master into staging-nextgithub-actions[bot]1-3/+3
2022-05-19Merge pull request #173172 from Artturin/deprecatestringconfSandro1-3/+3
2022-05-19Merge master into staging-nextgithub-actions[bot]3-4/+10
2022-05-19why3: 1.4.1 → 1.5.0Vincent Laporte2-3/+9
2022-05-19why3.withProvers: fix #168644Vincent Laporte1-1/+1
2022-05-18Merge master into staging-nextgithub-actions[bot]1-3/+3
2022-05-18treewide: convert string configureFlags to list of stringsArtturin1-3/+3
2022-05-18lean: 3.42.1 -> 3.43.0Mauricio Collares1-3/+3
2022-05-18lean: 3.42.0 -> 3.42.1Mauricio Collares1-3/+3
2022-05-16formula: update for dotnet 6Ivar Scholten1-14/+17
2022-05-13Merge staging-next into staginggithub-actions[bot]1-3/+3
2022-05-13aspino: 2017-03-09 -> 2018-03-24Armeen Mahdian1-3/+3
2022-05-13Merge staging-next into staginggithub-actions[bot]1-9/+4
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-5/+3
2022-05-13Revert "moving findlib to propagedNativeBuildInputs"Vincent Laporte1-6/+3
2022-05-12Merge pull request #172366 from ncfavier/wrappers-cleanupThiago Kenji Okada1-4/+4
2022-05-12makeShellWrapper: add explicitly named attributeNaïm Favier1-2/+2
2022-05-12Merge pull request #172641 from WolfangAukang/monosat-fixThiago Kenji Okada1-1/+8
2022-05-12moving findlib to propagedNativeBuildInputsCyril Cohen1-3/+6
2022-05-12coqPackages: etcCyril Cohen1-3/+5
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-09 01:02:15 +0000