Henrik Böving d15f0335a9 feat: setup Std.Sat with definitions of SAT and CNF (#4933) ... Step 1 out of approximately 7 to upstream LeanSAT. --------- Co-authored-by: Tobias Grosser <tobias@grosser.es> Co-authored-by: Markus Himmel <markus@lean-fro.org>		2024-08-07 15:44:46 +00:00
..
bin
cmake
include/lean	feat: add some low level helper APIs (#4778)	2024-07-17 20:12:05 +00:00
Init	chore: name variables in Data/BitVec consistently (#4930)	2024-08-07 13:43:15 +00:00
initialize	fix: explicitly initialize Std in lean_initialize (#4668)	2024-07-06 13:17:30 +00:00
kernel	perf: expr_eq_fn (#4934)	2024-08-07 00:02:14 +00:00
lake	fix: language server windows issues (#4821)	2024-08-07 06:19:33 +00:00
Lean	fix: language server windows issues (#4821)	2024-08-07 06:19:33 +00:00
library	perf: fix implementation of move constructors and move assignment ope… (#4700)	2024-08-02 17:55:03 +00:00
runtime	chore: Windows needs more LEAN_EXPORTs (#4941)	2024-08-07 17:13:13 +02:00
shell	chore: ignore stale leanpkg tests (#4925)	2024-08-06 08:19:33 +00:00
Std	feat: setup Std.Sat with definitions of SAT and CNF (#4933)	2024-08-07 15:44:46 +00:00
util	chore: cli help text: comma-separate alternative option forms (#4911)	2024-08-04 22:54:34 +00:00
CMakeLists.txt	fix: calling programs with spaces on Windows (#4515)	2024-07-26 17:35:05 +00:00
config.h.in
githash.h.in
Init.lean	feat: grind normalization theorems (#4164)	2024-05-14 19:19:38 +00:00
lakefile.toml.in	feat: introduce Std (#4499)	2024-06-21 07:08:45 +00:00
lean-toolchain
Lean.lean	feat: propagate maxHeartbeats to kernel (#4113)	2024-05-09 17:44:19 +00:00
lean.mk.in
Leanc.lean	feat: expose flags for the bundled C compiler (#4477)	2024-06-22 01:23:33 +00:00
Std.lean	feat: setup Std.Sat with definitions of SAT and CNF (#4933)	2024-08-07 15:44:46 +00:00
stdlib.make.in	fix: move Std from libleanshared to much smaller libInit_shared (#4661)	2024-07-06 11:43:09 +02:00
stdlib_flags.h	chore: unset parseQuotWithCurrentStage in stage1’s src/stdlib_flags.h (#4537)	2024-06-23 09:44:14 +00:00
version.h.in