about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Collapse)AuthorFilesLines
2024-04-29why3: 1.7.1 → 1.7.2Vincent Laporte1-2/+2
2024-04-24maintainers: drop marsamMario Rodas2-2/+2
2024-04-09klee: 3.0 -> 3.1Morgan Jones2-5/+7
2024-04-05Merge pull request #301348 from symphorien/update_bitwuzlaWeijia Wang4-41/+101
bitwuzla: unstable-2022-10-03 -> 0.4.0
2024-04-03bitwuzla: test on aarch64-linuxGuillaume Girol1-2/+2
2024-04-03bitwuzla: fix on aarch64-linuxGuillaume Girol1-0/+10
2024-04-03bitwuzla: fix build with doCheck = falseGuillaume Girol1-8/+14
2024-04-03cryptominisat: fix static buildGuillaume Girol1-2/+8
2024-04-03cadical: fix static buildGuillaume Girol1-0/+5
2024-04-03bitwuzla: unstable-2022-10-03 -> 0.4.0Guillaume Girol1-27/+13
lingeling, picosat and minisat are no longer dependencies
2024-04-03symfpu: install headers in $out/include, add a pkg-config fileGuillaume Girol1-3/+26
bitwuzla switched to meson, and I found no other way to have meson find symfpu
2024-04-03cadical: add pkg-config fileGuillaume Girol1-1/+25
bitwuzla switched to meson, and I was not able to tell meson how to tell where cadical is located without a pkg-config file
2024-04-03lean4: 4.6.1 -> 4.7.0Mario Rodas1-2/+2
Diff: https://github.com/leanprover/lean4/compare/v4.6.1...v4.7.0 Changelog: https://github.com/leanprover/lean4/blob/v4.7.0/RELEASES.md
2024-04-01Merge pull request #276432 from r-ryantm/auto-update/surelogWeijia Wang1-2/+2
surelog: 1.80 -> 1.82
2024-04-01Merge pull request #297595 from r-ryantm/auto-update/uhdmWeijia Wang1-2/+2
uhdm: 1.80 -> 1.82
2024-03-30Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-03-29dafny: 4.5.0 -> 4.6.0R. Ryantm1-2/+2
2024-03-28Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-03-27alt-ergo: 2.5.2 → 2.5.3Vincent Laporte1-2/+2
2024-03-23Merge master into haskell-updatesgithub-actions[bot]2-35/+65
2024-03-22Merge pull request #297381 from emilytrau/logisim-darwinWeijia Wang2-35/+65
logisim,logisim-evolution,mars-mips: add darwin bundle
2024-03-22tamarin-prover: pick patch for Stackage LTS 22 dependenciessternenseemann2-9/+250
The provided patch is https://github.com/tamarin-prover/tamarin-prover/commit/b3e18f61e45d701d42d794bc91ccbb4c0e3834ec cherry-picked onto the 1.8.0 release which required some conflict-solving
2024-03-21uhdm: 1.80 -> 1.82R. Ryantm1-2/+2
2024-03-20logisim: add darwin bundleEmily Trau1-15/+29
2024-03-20logisim-evolution: add darwin bundleEmily Trau1-20/+36
2024-03-19Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt40-0/+40
Conflicts: - pkgs/development/python-modules/sphinx-autobuild/default.nix
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm40-0/+40
The nixpkgs-unstable channel's programs.sqlite was used to identify packages producing exactly one binary, and these automatically added to their package definitions wherever possible.
2024-03-18Merge master into staging-nextgithub-actions[bot]2-24/+21
2024-03-17dafny: 4.4.0 -> 4.5.0whonore2-24/+21
2024-03-17Merge master into staging-nextgithub-actions[bot]1-8/+4
2024-03-13Merge master into haskell-updatesgithub-actions[bot]1-0/+1
2024-03-12Merge staging-next into staginggithub-actions[bot]1-0/+1
2024-03-12coq_8_19: 8.19.0 → 8.19.1Vincent Laporte1-0/+1
2024-03-11llvmPackages_{12,13,14,15,16,17,git}.{libcxx,libcxxabi}: merge libcxxabi ↵a-n-n-a-l-e-e1-5/+0
into libcxx (#292043) - merge libcxxabi into libcxx for LLVM 12, 13, 14, 15, 16, 17, and git. - remove the link time workaround `-lc++ -lc++abi` from 58 packages as it is no longer required. - fixes https://github.com/NixOS/nixpkgs/issues/166205 - provides alternative fixes for. https://github.com/NixOS/nixpkgs/issues/269548 https://github.com/NixOS/nix/issues/9640 - pkgsCross.x86_64-freebsd builds work again This change can be represented in 3 stages 1. merge libcxxabi into libcxx -- files: pkgs/development/compilers/llvm/[12, git]/{libcxx, libcxxabi} 2. update stdenv to account for merge -- files: stdenv.{adapters, cc.wrapper, darwin} 3. remove all references to libcxxabi outside of llvm (about 58 packages modified) ### merging libcxxabi into libcxx - take the union of the libcxxabi and libcxx cmake flags - eliminate the libcxx-headers-only package - it was only needed to break libcxx <-> libcxxabi circular dependency - libcxx.cxxabi is removed. external cxxabi (freebsd) will symlink headers / libs into libcxx. - darwin will re-export the libcxxabi symbols into libcxx so linking `-lc++` is sufficient. - linux/freebsd `libc++.so` is a linker script `LINK(libc++.so.1, -lc++abi)` making `-lc++` sufficient. - libcxx/default.nix [12, 17] are identical except for patches and `LIBCXX_ADDITIONAL_LIBRARIES` (only used in 16+) - git/libcxx/defaul.nix does not link with -nostdlib when useLLVM is true so flag is removed. this is not much different than before as libcxxabi used -nostdlib where libcxx did not, so libc was linked in anyway. ### stdenv changes - darwin bootstrap, remove references to libcxxabi and cxxabi - cc-wrapper: remove c++ link workaround when libcxx.cxxabi doesn't exist (still exists for LLVM pre 12) - adapter: update overrideLibcxx to account for a pkgs.stdenv that only has libcxx ### 58 package updates - remove `NIX_LDFLAGS = "-l${stdenv.cc.libcxx.cxxabi.libName}` as no longer needed - swift, nodejs_v8 remove libcxxabi references in the clang override https://github.com/NixOS/nixpkgs/pull/292043
2024-03-11Merge master into haskell-updatesgithub-actions[bot]2-13/+7
2024-03-09Revert "elan: revert temporary directory creation"Joachim Breitner1-9/+1
This reverts commit 66e4e61595be917977b010ef319483e13aa1ab6c.
2024-03-09fix: elan: use relative paths in wrapper scriptJoachim Breitner1-4/+6
since 3.1.1, `elan` extracts to a temporary location and then moves to a final location, this threw the wrapper script off. Updating the patch to use paths relative to the wrapper script, so that it works independent of absolute location.
2024-03-09Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-03-08Merge pull request #292724 from r-ryantm/auto-update/cvc5Weijia Wang1-2/+2
cvc5: 1.1.1 -> 1.1.2
2024-03-07Merge branch 'master' into HEADRobert Hensing3-5/+13
2024-03-07Merge pull request #287372 from r-ryantm/auto-update/cryptominisatWeijia Wang1-2/+2
cryptominisat: 5.11.15 -> 5.11.21
2024-03-07elan: revert temporary directory creationMario Rodas1-1/+9
2024-03-07opensmt: 2.5.2 -> 2.6.0R. Ryantm1-2/+2
2024-03-07Merge master into haskell-updatesgithub-actions[bot]2-4/+4
2024-03-06Merge pull request #289177 from r-ryantm/auto-update/clingconWeijia Wang1-2/+2
clingcon: 5.2.0 -> 5.2.1
2024-03-06cadical: 1.9.4 -> 1.9.5R. Ryantm1-2/+2
2024-03-05Merge master into haskell-updatesgithub-actions[bot]1-2/+2
2024-03-04lean4: 4.6.0 -> 4.6.1Mario Rodas1-2/+2
Diff: https://github.com/leanprover/lean4/compare/v4.6.0...v4.6.1 Changelog: https://github.com/leanprover/lean4/blob/v4.6.1/RELEASES.md
2024-03-02cvc5: 1.1.1 -> 1.1.2R. Ryantm1-2/+2
2024-03-02Merge master into haskell-updatesgithub-actions[bot]1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-02 21:11:53 +0000