Mac Malone 0d529e18a6 feat: expose flags for the bundled C compiler (#4477) ... Expose the C compiler and linker flags used with the bundled compiler (clang) to Lean code. This is needed to skip the use of `leanc` in Lake.		2024-06-22 01:23:33 +00:00
..
ascii.cpp
ascii.h
bit_tricks.cpp
bit_tricks.h
CMakeLists.txt	chore: remove remnants of C++ format	2022-11-18 06:11:24 -08:00
escaped.cpp
escaped.h
exception_with_pos.h
ffi.cpp	feat: expose flags for the bundled C compiler (#4477)	2024-06-22 01:23:33 +00:00
freset.h
init_module.cpp	chore: remove remnants of C++ format	2022-11-18 06:11:24 -08:00
init_module.h
io.h
kvmap.cpp	feat: implement bool operator==(data_value const & a, data_value const & b) using Lean autogenerated code	2021-12-16 16:37:47 -08:00
kvmap.h	feat: implement bool operator==(data_value const & a, data_value const & b) using Lean autogenerated code	2021-12-16 16:37:47 -08:00
lbool.cpp
lbool.h
list.h
list_fn.cpp
list_fn.h
macros.h
map_foreach.cpp
map_foreach.h
message_definitions.h
name.cpp	chore: fix more typos in comments	2023-10-08 14:37:34 -07:00
name.h
name_generator.cpp
name_generator.h
name_hash_map.h
name_hash_set.h
name_map.h
name_set.cpp
name_set.h
nat.h
null_ostream.h
option_declarations.cpp	feat: hover/go-to-def/refs for options	2022-11-07 20:01:13 +01:00
option_declarations.h	feat: hover/go-to-def/refs for options	2022-11-07 20:01:13 +01:00
options.cpp
options.h
output_channel.h
pair.h
path.cpp	fix: eliminate widestring uses	2023-10-07 12:07:19 +02:00
path.h
rb_map.h
rb_tree.h
rc.h
shell.cpp	fix: validate UTF-8 at C++ -> Lean boundary (#3963)	2024-06-19 14:05:48 +00:00
test.h
timeit.cpp
timeit.h
timer.cpp
timer.h
unit.h
unlock_guard.h