Files

 master

/

src

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

hargoniX

feat: BV_EXTRACT_MUL (leanprover#7655)

Mar 24, 2025

7d651d5 · Mar 24, 2025

History

History

This branch is 10 commits behind leanprover/lean4:master.

/

src

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
Init		Init	chore: swap ≠ in count_cons_of_ne (leanprover#7650)	Mar 24, 2025
Lean		Lean	feat: BV_EXTRACT_MUL (leanprover#7655)	Mar 24, 2025
Std		Std	refactor: encode constants as inversions of false in AIG framework (l…	Mar 24, 2025
bin		bin	feat: API to avoid deadlocks from dropped promises (leanprover#6958)	Feb 7, 2025
cmake		cmake	fix: Windows stage0 linking (leanprover#6622)	Jan 14, 2025
include/lean		include/lean	feat: socket support using LibUV (leanprover#6683)	Mar 19, 2025
initialize		initialize	fix: explicitly initialize Std in lean_initialize (leanprover#4668)	Jul 6, 2024
kernel		kernel	fix: bv_omega to use -implicitDefEqProofs (leanprover#7387)	Mar 9, 2025
lake		lake	refactor: lake: unified configuration (leanprover#7504)	Mar 23, 2025
library		library	chore: fix interpreter lean_assert	Mar 21, 2025
runtime		runtime	chore: fix fsanitize preset (leanprover#7651)	Mar 24, 2025
shell		shell	chore: avoid rebuilding leanmanifest in each build (leanprover#5057)	Aug 15, 2024
util		util	perf: remove most remaining async blockers in Init.Data.List.Sublist (	Mar 15, 2025
CMakeLists.txt		CMakeLists.txt	chore: CI: USE_LAKE secondary build job (leanprover#7505)	Mar 20, 2025
Init.lean		Init.lean	feat: allow async elab tasks to contribute to info trees reported to …	Mar 13, 2025
Lean.lean		Lean.lean	feat: use realizeConst for all equation, unfold, induction, and par…	Mar 6, 2025
Leanc.lean		Leanc.lean	feat: expose flags for the bundled C compiler (leanprover#4477)	Jun 22, 2024
Std.lean		Std.lean	feat: Std.Net.Addr (leanprover#6563)	Jan 9, 2025
cadical.mk		cadical.mk	feat: ship cadical (leanprover#4325)	Aug 23, 2024
config.h.in		config.h.in	chore: document simplified object header and remove obsolete cmake op…	Jul 20, 2021
githash.h.in		githash.h.in	fix(library): store and validate Lean version of .olean files	Jan 23, 2018
lakefile.toml.in		lakefile.toml.in	chore: lake: revert use of Lake plugin (leanprover#7608)	Mar 21, 2025
lean-toolchain		lean-toolchain	doc: VS Code dev setup (leanprover#2961)	Nov 30, 2023
lean.mk.in		lean.mk.in	chore: USE_LAKE: integrate into CMake (leanprover#4466)	Mar 15, 2025
stdlib.make.in		stdlib.make.in	chore: lake: revert use of Lake plugin (leanprover#7608)	Mar 21, 2025
stdlib_flags.h		stdlib_flags.h	chore: remove comment from src/stdlib_flags.h (leanprover#7531)	Mar 17, 2025
version.h.in		version.h.in	feat: language reference links and examples in docstrings (leanprover…	Mar 12, 2025
View all files