about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Collapse)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
yosys: 0.16 -> 0.18
2022-06-20Merge pull request #177991 from mdarocha/dotnet-6-updateIvv1-1/+1
dotnet-sdk: 6.0.300 -> 6.0.301
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
these are the easily identifiable cases and will not be comprehensive
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
cvc4: fix build on darwin
2022-05-31cvc4: fix build on darwinBen Siraphob1-3/+3
Dependency on cln is optional
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
Been broken for a few years already too.
2022-05-29ocamlPackages: rename sedlex_2 into sedlexVincent Laporte1-1/+1
2022-05-28Merge pull request #175039 from azahi/clingcon-fixRobert Scott2-0/+28
clingcon: fix build
2022-05-28Merge pull request #174438 from r-ryantm/auto-update/clingo7c6f434c1-2/+2
clingo: 5.5.1 -> 5.5.2
2022-05-28clingcon: fix buildAzat Bahawi2-0/+28
Fix build https://hydra.nixos.org/build/178237905
2022-05-26Merge pull request #173304 from IvarWithoutBones/bump/dotnetmoduleSandro1-14/+17
2022-05-25coqPackages: etcCyril Cohen2-8/+12
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies, - use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path, - updated `coqPackage.heq` (broken url), - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation, - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place, - make `metaFetch` available from `coqPackages`
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
Fixes build on Linux
2022-05-21Merge pull request #173933 from siraben/zchaff-initBen Siraphob2-0/+39
zchaff: init at 2004.5.13
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
stdenv: start deprecating non-list configureFlags
2022-05-19Merge master into staging-nextgithub-actions[bot]3-4/+10
2022-05-19why3: 1.4.1 → 1.5.0Vincent Laporte2-3/+9
easycrypt: fix build with why3-1.5.0 frama-c: build with why3 1.4.1
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
This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4.
2022-05-13Revert "moving findlib to propagedNativeBuildInputs"Vincent Laporte1-6/+3
This reverts commit 82440c9374f4de934e287476e2b3a4bbf837d98a.
2022-05-12Merge pull request #172366 from ncfavier/wrappers-cleanupThiago Kenji Okada1-4/+4
make{,Binary}Wrapper: some cleanups
2022-05-12makeShellWrapper: add explicitly named attributeNaïm Favier1-2/+2
So that things that use the makeShellWrapper/wrapProgramShell functions can depend on makeShellWrapper explicitly, which should ease migration in the future.
2022-05-12Merge pull request #172641 from WolfangAukang/monosat-fixThiago Kenji Okada1-1/+8
python3Packages.monosat: disable failing tests
2022-05-12moving findlib to propagedNativeBuildInputsCyril Cohen1-3/+6
2022-05-12coqPackages: etcCyril Cohen1-3/+5
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages`
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-21 15:52:00 +0000