Commit Graph

1968 Commits

Author SHA1 Message Date
Masum Reza
8e4351dee7
Merge pull request #320775 from r-ryantm/auto-update/cbmc
cbmc: 5.95.1 -> 6.0.0
2024-06-21 09:55:24 +05:30
Nick Cao
a15139cf87
Merge pull request #320534 from luochen1990/lean-4.8
lean4: 4.7.0 -> 4.8.0
2024-06-19 20:52:57 -04:00
R. Ryantm
9ae2f08097 cadical: 1.9.5 -> 2.0.0 2024-06-19 00:28:24 +00:00
R. Ryantm
6ce1fa5216 cbmc: 5.95.1 -> 6.0.0 2024-06-18 13:02:04 +00:00
Morgan Jones
bc9fffbb3b
klee: add mainProgram 2024-06-17 23:15:33 -07:00
Morgan Jones
0513d66f10
klee: add nix-update-script 2024-06-17 23:15:32 -07:00
Morgan Jones
32a6b1ef7a
klee: make llvmPackages and uclibc overridable
This should allow users to pick which llvmPackages they would like to
use, since Klee supports llvmPackages_11 through llvmPackages_16 as of
Klee 3.1 (defaulting to 13 for stability).

Use parallel building for both Klee and klee-uclibc to make things faster.
2024-06-17 23:15:32 -07:00
LuoChen
52e2f9fc91 lean4: 4.7.0 -> 4.8.0 2024-06-17 21:29:37 +08:00
Vincent Laporte
f7ff7d4e9b coq: 8.19.1 → 8.19.2 2024-06-17 09:15:12 +02:00
Emily
4b1d39d935 treewide: remove myself from packages I don’t use
I’ve had an extended absence from Nix work and no longer actively
use a bunch of packages I used to maintain, so remove myself as a
maintainer from things I can’t usefully review/test changes for
as I ease back into things. This does unfortunately leave a few
packages orphaned (`stm32loader`, `tinyprog`, `python3Packages.fx2`,
and `python3Packages.jsonmerge`).
2024-06-15 16:53:23 +01:00
Martin Joerg
df5a102839 cryptoverif: 2.08pl1 -> 2.09
f32a46b5ac/CHANGES
2024-06-12 15:01:36 +02:00
Alexis Hildebrandt
f8c4a98e8e treewide: Remove the definite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"([Tt]he)? ' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Tt]he (.)/\1\U\2/'
2024-06-09 23:08:46 +02:00
Alexis Hildebrandt
755b915a15 treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
Alexis Hildebrandt
bf995e3641 treewide: Remove ending period from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*".*\.";' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*)\.";/\1";/'
2024-06-09 23:04:51 +02:00
Guillaume Girol
da7f6b9bdf
Merge pull request #316654 from symphorien/update_bitwuzla2
bitwuzla: 0.4.0 -> 0.5.0
2024-06-07 21:14:39 +02:00
Guillaume Girol
f014663fe4 bitwuzla: 0.4.0 -> 0.5.0 2024-06-02 12:00:00 +00:00
R. Ryantm
596212c22c prooftree: 0.13 -> 0.14 2024-06-02 01:31:21 +00:00
Weijia Wang
24432d228e
Merge pull request #310394 from Sigmanificient/remove-2y-broken
Remove long (18+ months) broken packages
2024-05-30 17:30:31 +02:00
R. Ryantm
59c0a02bcb opensmt: 2.6.0 -> 2.7.0 2024-05-30 04:55:03 +00:00
Sigmanificient
51cf5b747f petrinizer: remove 2024-05-30 02:03:57 +02:00
Vincent Laporte
3892ca21ff hol_light: 2023-11-03 → 2024-05-10 2024-05-29 06:59:21 +02:00
Peder Bergebakken Sundt
be26c089e2
Merge pull request #309880 from jiegec/cbmc
cbmc: 5.91.0 -> 5.95.1
2024-05-23 02:13:53 +02:00
Jiajie Chen
6d35a341f8 cbmc: 5.91.0 -> 5.95.1 2024-05-22 11:28:48 +08:00
Aleksana
704511c072
Merge pull request #302405 from wegank/prooftree-prefix
prooftree: use prefixKey
2024-05-17 20:00:01 +08:00
Henner Zeller
903dd9f8db surelog: 1.82 -> 1.83 2024-05-14 21:24:11 -07:00
Henner Zeller
a380256a93 uhdm: 1.82 -> 1.83 2024-05-14 21:15:16 -07:00
R. Ryantm
f9cb16590a alt-ergo: 2.5.3 -> 2.5.4 2024-05-13 21:51:10 -05:00
Vladimír Čunát
e96601ecf0
Merge #306080: staging-next 2024-04-22 2024-05-03 17:36:08 +02:00
R. Ryantm
9664aea5d1 eprover: 3.0.03 -> 3.1 2024-05-02 00:48:29 +00:00
github-actions[bot]
6fecc628f9
Merge master into staging-next 2024-04-29 12:01:15 +00:00
Vincent Laporte
1d9cd57ddf why3: 1.7.1 → 1.7.2 2024-04-29 10:09:25 +02:00
Jan Tojnar
eb04659fc2 treewide: wrapGAppsHook → wrapGAppsHook3
This was achieved using the following command:

    sd 'wrapGAppsHook\b' wrapGAppsHook3 (rg -l 'wrapGAppsHook\b')

And then manually reverted the following changes:

- alias in top-level.nix
- function name in wrap-gapps-hook.sh
- comment in postFixup of at-spi2-core
- comment in gtk4
- comment in preFixup of 1password-gui/linux.nix
- comment in postFixup of qgis/unwrapped-ltr.nix and qgis/unwrapped.nix
- comment in postFixup of telegram-desktop
- comment in postFixup of fwupd
- buildCommand of mongodb-compass
- postFixup of xflux-gui
- comment in a patch in kdePackages.kde-gtk-config and plasma5Packages.kde-gtk-config
- description of programs.sway.wrapperFeatures.gtk NixOS option (manual rebuild)
2024-04-27 02:23:22 +02:00
Mario Rodas
2becf6e837 maintainers: drop marsam 2024-04-24 04:20:00 +00:00
Morgan Jones
80d57056bc
klee: 3.0 -> 3.1 2024-04-09 19:41:50 -07:00
Weijia Wang
7e375a74a2 prooftree: use prefixKey 2024-04-07 20:46:41 +02:00
Weijia Wang
3062a27318
Merge pull request #301348 from symphorien/update_bitwuzla
bitwuzla: unstable-2022-10-03 -> 0.4.0
2024-04-05 18:50:28 +02:00
Guillaume Girol
5847c4078d bitwuzla: test on aarch64-linux 2024-04-03 12:00:00 +00:00
Guillaume Girol
71096455f0 bitwuzla: fix on aarch64-linux 2024-04-03 12:00:00 +00:00
Guillaume Girol
4c932f9688 bitwuzla: fix build with doCheck = false 2024-04-03 12:00:00 +00:00
Guillaume Girol
75e6297d10 cryptominisat: fix static build 2024-04-03 12:00:00 +00:00
Guillaume Girol
67dc7cc993 cadical: fix static build 2024-04-03 12:00:00 +00:00
Guillaume Girol
457090959e bitwuzla: unstable-2022-10-03 -> 0.4.0
lingeling, picosat and minisat are no longer dependencies
2024-04-03 12:00:00 +00:00
Guillaume Girol
5ff10ee902 symfpu: install headers in $out/include, add a pkg-config file
bitwuzla switched to meson, and I found no other way to have meson find
symfpu
2024-04-03 12:00:00 +00:00
Guillaume Girol
5a610c5f8d cadical: add pkg-config file
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-03 12:00:00 +00:00
Mario Rodas
9f5604780c lean4: 4.6.1 -> 4.7.0
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-03 04:20:00 +00:00
Weijia Wang
3db4469d98
Merge pull request #276432 from r-ryantm/auto-update/surelog
surelog: 1.80 -> 1.82
2024-04-01 01:08:27 +02:00
Weijia Wang
974165196f
Merge pull request #297595 from r-ryantm/auto-update/uhdm
uhdm: 1.80 -> 1.82
2024-04-01 01:00:41 +02:00
github-actions[bot]
506e353092
Merge master into haskell-updates 2024-03-30 00:12:08 +00:00
R. Ryantm
3806a82024 dafny: 4.5.0 -> 4.6.0 2024-03-29 04:54:25 +00:00
github-actions[bot]
8de0afeb83
Merge master into haskell-updates 2024-03-28 00:12:55 +00:00
Vincent Laporte
378c25fbb7 alt-ergo: 2.5.2 → 2.5.3 2024-03-27 06:30:04 +01:00
github-actions[bot]
39632d3d4c
Merge master into haskell-updates 2024-03-23 00:12:18 +00:00
Weijia Wang
fed21ab52c
Merge pull request #297381 from emilytrau/logisim-darwin
logisim,logisim-evolution,mars-mips: add darwin bundle
2024-03-22 16:17:30 +01:00
sternenseemann
ae679c40db tamarin-prover: pick patch for Stackage LTS 22 dependencies
The provided patch is b3e18f61e4
cherry-picked onto the 1.8.0 release which required some conflict-solving
2024-03-22 12:13:05 +01:00
R. Ryantm
32f2120b01 uhdm: 1.80 -> 1.82 2024-03-21 01:10:36 +00:00
Emily Trau
0d9610c56f logisim: add darwin bundle 2024-03-20 16:37:19 +11:00
Emily Trau
c87d0c29ee logisim-evolution: add darwin bundle 2024-03-20 16:28:51 +11:00
Martin Weinelt
3321e63b12
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
- pkgs/development/python-modules/sphinx-autobuild/default.nix
2024-03-19 04:00:32 +01:00
stuebinm
ff1a94e523 treewide: add meta.mainProgram to packages with a single binary
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-19 03:14:51 +01:00
github-actions[bot]
d5491af22d
Merge master into staging-next 2024-03-18 12:01:22 +00:00
whonore
f017802bcc dafny: 4.4.0 -> 4.5.0 2024-03-17 12:30:18 -04:00
github-actions[bot]
2178d8d857
Merge master into staging-next 2024-03-17 00:02:17 +00:00
github-actions[bot]
9e0e89d13c
Merge master into haskell-updates 2024-03-13 00:12:20 +00:00
github-actions[bot]
0917422ffe
Merge staging-next into staging 2024-03-12 06:01:24 +00:00
Vincent Laporte
0521702b1d coq_8_19: 8.19.0 → 8.19.1 2024-03-12 05:49:59 +01:00
a-n-n-a-l-e-e
ce789e7e35
llvmPackages_{12,13,14,15,16,17,git}.{libcxx,libcxxabi}: merge libcxxabi 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-11 03:53:37 -07:00
github-actions[bot]
97e35dcd05
Merge master into haskell-updates 2024-03-11 00:12:54 +00:00
Joachim Breitner
af10a63043 Revert "elan: revert temporary directory creation"
This reverts commit 66e4e61595.
2024-03-09 16:50:49 +01:00
Joachim Breitner
5681570171 fix: elan: use relative paths in wrapper script
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-09 16:01:03 +01:00
github-actions[bot]
54e3ad5442
Merge master into haskell-updates 2024-03-09 00:11:53 +00:00
Weijia Wang
40f9f30edf
Merge pull request #292724 from r-ryantm/auto-update/cvc5
cvc5: 1.1.1 -> 1.1.2
2024-03-08 08:48:25 +01:00
Robert Hensing
7d2a83e6c2 Merge branch 'master' into HEAD 2024-03-07 18:39:12 +01:00
Weijia Wang
dba4cc979f
Merge pull request #287372 from r-ryantm/auto-update/cryptominisat
cryptominisat: 5.11.15 -> 5.11.21
2024-03-07 15:23:07 +01:00
Mario Rodas
66e4e61595 elan: revert temporary directory creation 2024-03-07 04:20:00 +00:00
R. Ryantm
08a8c74c4b opensmt: 2.5.2 -> 2.6.0 2024-03-07 01:36:53 +00:00
github-actions[bot]
8534fb2f53
Merge master into haskell-updates 2024-03-07 00:10:05 +00:00
Weijia Wang
d83c961db0
Merge pull request #289177 from r-ryantm/auto-update/clingcon
clingcon: 5.2.0 -> 5.2.1
2024-03-06 23:48:05 +01:00
R. Ryantm
9bb1834bfa cadical: 1.9.4 -> 1.9.5 2024-03-06 15:23:48 +00:00
github-actions[bot]
1ad8409e69
Merge master into haskell-updates 2024-03-05 00:12:06 +00:00
Mario Rodas
4ca2b298cc lean4: 4.6.0 -> 4.6.1
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-04 04:20:00 +00:00
R. Ryantm
b4acd43269 cvc5: 1.1.1 -> 1.1.2 2024-03-02 04:58:08 +00:00
github-actions[bot]
38eff76eca
Merge master into haskell-updates 2024-03-02 00:11:53 +00:00
Mario Rodas
468b7bae7f lean4: 4.5.0 -> 4.6.0
Diff: https://github.com/leanprover/lean4/compare/v4.5.0...v4.6.0

Changelog: https://github.com/leanprover/lean4/blob/v4.6.0/RELEASES.md
2024-02-28 04:20:00 +00:00
github-actions[bot]
257171f024
Merge master into haskell-updates 2024-02-25 00:13:49 +00:00
github-actions[bot]
57bbe4245f
Merge master into haskell-updates 2024-02-24 00:11:45 +00:00
github-actions[bot]
d08f9b5833
Merge master into staging-next 2024-02-23 12:01:18 +00:00
Simon Hollingshead
f0b157a764 boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.
https://github.com/Boolector/boolector/compare/3.2.2...3.2.3
cc13f371c0
2024-02-22 19:48:14 +00:00
Mario Rodas
e4de5ceffd elan: 3.1.0 -> 3.1.1
Diff: https://github.com/leanprover/elan/compare/v3.1.0...v3.1.1

Changelog: https://github.com/leanprover/elan/blob/v3.1.1/CHANGELOG.md
2024-02-22 04:20:00 +00:00
github-actions[bot]
ec769627e0
Merge master into haskell-updates 2024-02-20 00:12:32 +00:00
Mario Rodas
e27d391266
Merge pull request #289941 from marsam/update-elan
elan: 3.0.0 -> 3.1.0
2024-02-19 09:25:45 -05:00
R. Ryantm
acb4c80843 clingo: 5.7.0 -> 5.7.1 2024-02-19 09:11:09 +00:00
Mario Rodas
41dd647a85 elan: 3.0.0 -> 3.1.0
Diff: https://github.com/leanprover/elan/compare/v3.0.0...v3.1.0

Changelog: https://github.com/leanprover/elan/blob/v3.1.0/CHANGELOG.md
2024-02-19 04:20:00 +00:00
github-actions[bot]
2f576c19f7
Merge master into haskell-updates 2024-02-17 00:12:14 +00:00
R. Ryantm
ac0579e7c9 clingo: 5.6.2 -> 5.7.0 2024-02-16 01:36:49 +00:00
R. Ryantm
e9db8c4c77 clingcon: 5.2.0 -> 5.2.1 2024-02-16 01:36:32 +00:00
github-actions[bot]
02be936be3
Merge master into haskell-updates 2024-02-16 00:12:20 +00:00
Pol Dellaiera
a53894b556
Merge pull request #288470 from McSinyx/stp-u8
stp: fix build failure
2024-02-15 23:07:44 +01:00
Mario Rodas
46a93d0751
Merge pull request #287601 from trofi/stp-gcc-13-fix
stp: fix the build against `gcc-13`
2024-02-14 20:17:23 -05:00
github-actions[bot]
319f251f5c
Merge master into haskell-updates 2024-02-14 00:12:36 +00:00
Nguyễn Gia Phong
b63babd55d
stp: fix build failure 2024-02-13 16:41:23 +09:00