sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
39,843 Commits 4,240 Branches 120 Tags
master
Commit Graph

37 Commits

Author SHA1 Message Date
Henrik Böving
e5f0d6283a chore: update to c++20 (#12117) 
This PR upgrades Lean's internal toolchain to use C++20 as a preparatory
step for #12044.
 2026-02-11 01:17:40 +00:00
Sebastian Ullrich
0afcda8654 chore: robustify Nix shell (#8141) 
* use tarballs directly from releases.nixos.org instead of GitHub
zipballs
* build cadical from source like everyone else since it's so small
 2025-04-28 15:08:32 +00:00
Henrik Böving
dc7358b4df feat: upgrade cadical to 2.1.2 (#7347) 
This PR upgrades the CaDiCal we ship and use for bv_decide to version
2.1.2. Additionally it enables binary LRAT proofs on windows by default
as https://github.com/arminbiere/cadical/issues/112 has been fixed.

Version 2.1.3 is already available but as the Bitwuzla authors [have
pointed out](https://github.com/bitwuzla/bitwuzla/pull/129) one needs to
be careful when upgrading CaDiCal so we just move to a version [they
confirmed](6e93389d86)
is fine for now.
 2025-03-05 17:58:58 +00:00
Sebastian Ullrich
07b0e5b7fe chore: compile against glibc 2.26 (#7037) 
This PR relaxes the minimum required glibc version for Lean and Lean
executables to 2.26 on x86-64 Linux
 2025-02-12 09:29:51 +00:00
Sebastian Ullrich
6d4ec153ad feat: ship cadical (#4325) 
Co-authored-by: Henrik Böving <hargonix@gmail.com>
 2024-08-23 09:13:27 +00:00
Sebastian Ullrich
efc99b982e chore: deprecate Nix-based build, remove interactive components (#4895) 
Users who prefer the flake build should maintain it externally
 2024-08-02 09:57:34 +00:00
Sebastian Ullrich
16fdca1cbd chore: test results as job summary (#3715) 
Tired of scrolling through and parsing the test output myself
 2024-03-27 10:14:33 +00:00
Joachim Breitner
2867b93d51 chore: replace shell.nix with a devShell in flake.nix (#3717) 
as a side effect this pins the “old nixpkgs” revision used by CI for
release builds.
(Not that that old branch is likely to change a lot…)
 2024-03-21 13:24:01 +00:00
Sebastian Ullrich
8ffb389f3f chore: Nix bump to LLVM 15 
Also update mdbook dependency hash from nixpkgs bump.

Peeled from https://github.com/leanprover/lean4/pull/2340
to enable LLVM for stage1+ builds.
 2023-07-28 10:56:54 +02:00
Sebastian Ullrich
db2e710072 chore: Nix: update lean4-mode 2023-03-15 10:52:03 +01:00
Sebastian Ullrich
6e34c89cbb chore: Nix: comment out rarely used lean-stage0 input 
Optional inputs would be nice.
 2022-11-14 13:12:07 +01:00
Sebastian Ullrich
89fd86cb3c chore: Nix: update lean4-mode 2022-10-23 17:59:32 +02:00
Sebastian Ullrich
6d1b2094e9 chore: nix flake update 
This comes with ccache 4.6.1, which seems to fix the specific
miscompilation I managed to reproduce with 4.6.0
 2022-07-08 13:46:57 +02:00
Sebastian Ullrich
cfa14b3ce0 chore: nix flake update 2022-06-03 13:41:04 +02:00
Sebastian Ullrich
4a1885f997 chore: update benchmark suite 2022-05-25 18:26:36 +02:00
Sebastian Ullrich
524dc5d47c chore: Nix: update Nixpkgs 2022-04-02 00:08:24 +02:00
Sebastian Ullrich
19925f8ec1 chore: Nix: move docs build into sub-flake 
workflow is not ideal right now because of poor support for sub-flakes,
but I also don't want the doc input in the main flake...
 2022-03-26 22:50:04 +01:00
Sebastian Ullrich
720e445755 chore: Nix: update inputs 2022-03-24 12:33:33 +01:00
Sebastian Ullrich
7821a201e9 chore: Nix: update Nix 2022-03-09 10:29:25 +01:00
Sebastian Ullrich
b20ecd02d7 chore: move out lean4-mode 2022-01-24 21:23:53 +01:00
Lorenz Leutgeb
171624d7a7 chore: nix flake update 
• Updated input 'flake-utils':
    'github:numtide/flake-utils/f7e004a55b120c02ecb6219596820fcd32ca8772' (2021-06-16)
  → 'github:numtide/flake-utils/74f7e4319258e287b0f9cb95426c9853b282730b' (2021-11-28)
• Updated input 'mdBook':
    'github:leanprover/mdBook/d97081c547e96b41a9a16197882127e7e8917a3d' (2021-09-30)
  → 'github:leanprover/mdBook/45de7509526f09915b19e4eaeec99c8c2031f1ce' (2021-11-19)
• Updated input 'nix':
    'github:NixOS/nix/9c766a40cbbd3a350a9582d0fd8201e3361a63b2' (2021-09-27)
  → 'github:NixOS/nix/2ff71b021379a2c9bbdcb789a93cdc585b3520ca' (2021-12-02)
• Updated input 'nix/lowdown-src':
    'github:kristapsdz/lowdown/0b85e777f3cdacf4210f0d624a0ceec8df612e05' (2021-09-23)
  → 'github:kristapsdz/lowdown/d2c2b44ff6c27b936ec27358a2653caaef8f73b8' (2021-10-06)
• Updated input 'nix/nixpkgs':
    'github:NixOS/nixpkgs/f6551e1efa261568c82b76c3a582b2c2ceb1f53f' (2021-08-11)
  → 'github:NixOS/nixpkgs/82891b5e2c2359d7e58d08849e4c89511ab94234' (2021-09-28)
• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/ee084c02040e864eeeb4cf4f8538d92f7c675671' (2021-10-04)
  → 'github:NixOS/nixpkgs/391f93a83c3a486475d60eb4a569bb6afbf306ad' (2021-12-01)
• Updated input 'temci':
    'github:parttimenerd/temci/fe4f47173a27cf75f734502fcb88d3d0a3860dca' (2021-07-21)
  → 'github:parttimenerd/temci/a8d78cb52c248f1ae3f2469bbd0916b14ac9ea84' (2021-11-29)
 2021-12-03 14:44:19 +01:00
Sebastian Ullrich
c2194c2bc1 chore: update to LLVM 13 2021-10-06 14:34:29 +02:00
Sebastian Ullrich
9569d7997c chore: update Nix 2021-09-30 13:34:26 +02:00
Sebastian Ullrich
ee73ad9f23 chore: update mdBook fork 2021-09-30 13:02:39 +02:00
Sebastian Ullrich
c78bbc6c9c chore: Nix: update inputs 2021-08-05 15:50:03 +02:00
Sebastian Ullrich
7ebe80ad2a chore: update Nix, Nixpkgs, vscode-lean4 2021-06-06 15:00:40 +02:00
Sebastian Ullrich
e1e5ad30ae chore: Nix: update VS Code 2021-04-11 23:03:56 +02:00
Sebastian Ullrich
11e55bf4af chore: Nix: update Nix client to resolve https://github.com/NixOS/nix/issues/4469 2021-01-26 18:01:39 +01:00
Sebastian Ullrich
3c34d53450 chore: update mdBook to mitigate CVE-2020-26297 
https://blog.rust-lang.org/2021/01/04/mdbook-security-advisory.html
 2021-01-04 22:11:42 +01:00
Sebastian Ullrich
d11c9faf80 chore: update flake inputs 2021-01-02 15:37:38 +01:00
Sebastian Ullrich
4e3025fe81 feat: Nix: use HEAD as stage0 2020-12-16 18:52:39 +01:00
Sebastian Ullrich
78379de8e6 chore: go back to LLVM 10 
3% slower on stdlib: http://speedcenter.informatik.kit.edu/velcom/run-detail/9012094e-6524-4e99-8397-1b17b6a10ae5
failure on macOS: https://hydra.nixos.org/build/130586121
 2020-11-30 12:32:53 +01:00
Sebastian Ullrich
039955a4c5 chore: update nixpkgs 2020-11-30 11:46:32 +01:00
Sebastian Ullrich
a5ad46f7be feat: Nix: mdbook 2020-11-24 19:16:27 +01:00
Sebastian Ullrich
092d5d67b4 chore: Nix: rebase old shell.nix setup on new flake.nix one, add shell nix attribute for pinned flakes-enable Nix 2020-11-24 19:16:27 +01:00
Sebastian Ullrich
f6fcca6316 feat: Nix: multi-platform, reorganize outputs 2020-11-24 19:16:27 +01:00
Sebastian Ullrich
c6929ae69a feat: Nix: basic setup 2020-11-24 19:16:27 +01:00