summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* isabelle: Fix build on darwinShea Levy2022-06-23
* z3_4_4_0: Fix build on darwin.Shea Levy2022-06-23
* veriT: Fix build on macosHernan Rajchert2022-06-22
* Merge pull request #178307 from Luflosi/update/yosysAnderson Torres2022-06-20
|\
| * abc-verifier: 2022.03.22 -> 2022.05.06Luflosi2022-06-20
* | Merge pull request #177991 from mdarocha/dotnet-6-updateIvv2022-06-20
|\ \ | |/ |/|
| * formula: update dependenciesmdarocha2022-06-17
* | tamarin-prover: remove darwin from hydraPlatformsDennis Gosnell2022-06-17
|/
* coq_8_16: init at 8.16+rc1Pierre Roux2022-06-08
* alt-ergo: ensure compatibility with Menhir ≥ 20211215Vincent Laporte2022-06-05
* treewide: set sourceProvenance for packages containing downloaded jarsRobert Scott2022-06-04
* coq: 8.15.1 → 8.15.2Vincent Laporte2022-06-03
* Merge pull request #175700 from siraben/cvc4-darwinBen Siraphob2022-06-01
|\
| * cvc4: fix build on darwinBen Siraphob2022-05-31
* | Merge pull request #164779 from collares/lean2Ben Siraphob2022-06-01
|\ \ | |/ |/|
| * lean2: 2017-07-22 -> 2018-10-01, unbreakMauricio Collares2022-05-21
* | treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel2022-05-30
* | treewide: pkgs/applications: mark broken for darwinRick van Schijndel2022-05-29
* | aspino: mark broken for x86_64 DarwinRick van Schijndel2022-05-29
* | ocamlPackages: rename sedlex_2 into sedlexVincent Laporte2022-05-29
* | Merge pull request #175039 from azahi/clingcon-fixRobert Scott2022-05-28
|\ \
| * | clingcon: fix buildAzat Bahawi2022-05-28
* | | Merge pull request #174438 from r-ryantm/auto-update/clingo7c6f434c2022-05-28
|\ \ \ | |/ / |/| |
| * | clingo: 5.5.1 -> 5.5.2R. Ryantm2022-05-25
* | | Merge pull request #173304 from IvarWithoutBones/bump/dotnetmoduleSandro2022-05-26
|\ \ \
| * | | formula: update for dotnet 6Ivar Scholten2022-05-16
| | |/ | |/|
* | | coqPackages: etcCyril Cohen2022-05-25
| |/ |/|
* | Merge master into staging-nextgithub-actions[bot]2022-05-22
|\ \
| * | zchaff: use clangStdenvBen Siraphob2022-05-21
* | | Merge master into staging-nextgithub-actions[bot]2022-05-22
|\| |
| * | Merge pull request #173933 from siraben/zchaff-initBen Siraphob2022-05-21
| |\ \
| | * | zchaff: init at 2004.5.13Ben Siraphob2022-05-21
| | |/
* | | Merge master into staging-nextgithub-actions[bot]2022-05-19
|\| |
| * | Merge pull request #173172 from Artturin/deprecatestringconfSandro2022-05-19
| |\ \
| | * | treewide: convert string configureFlags to list of stringsArtturin2022-05-18
| | |/
* | | Merge master into staging-nextgithub-actions[bot]2022-05-19
|\| |
| * | why3: 1.4.1 → 1.5.0Vincent Laporte2022-05-19
| * | why3.withProvers: fix #168644Vincent Laporte2022-05-19
* | | Merge master into staging-nextgithub-actions[bot]2022-05-18
|\| |
| * | lean: 3.42.1 -> 3.43.0Mauricio Collares2022-05-18
| * | lean: 3.42.0 -> 3.42.1Mauricio Collares2022-05-18
| |/
* | Merge staging-next into staginggithub-actions[bot]2022-05-13
|\|
| * aspino: 2017-03-09 -> 2018-03-24Armeen Mahdian2022-05-13
* | Merge staging-next into staginggithub-actions[bot]2022-05-13
|\|
| * Revert "coqPackages: etc"Vincent Laporte2022-05-13
| * Revert "moving findlib to propagedNativeBuildInputs"Vincent Laporte2022-05-13
* | Merge pull request #172366 from ncfavier/wrappers-cleanupThiago Kenji Okada2022-05-12
|\ \ | |/ |/|
| * makeShellWrapper: add explicitly named attributeNaïm Favier2022-05-12
| * makeWrapper,makeBinaryWrapper: introduce explicitly named functionsNaïm Favier2022-05-10
* | Merge pull request #172641 from WolfangAukang/monosat-fixThiago Kenji Okada2022-05-12
|\ \
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 22:11:30 +0000