lean4-htt/src/runtime
2020-05-14 14:47:54 +02:00
..
alloc.cpp refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
alloc.h refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
allocprof.cpp feat(runtime): low tech allocation profiler 2019-03-14 15:15:29 -07:00
allocprof.h chore(runtime/allocprof): style checker 2019-03-21 15:11:05 -07:00
apply.cpp fix: undefined pointer arithmetic in apply 2019-10-29 13:43:50 -07:00
apply.h perf(compiler/ir_interpreter): do not allocate temp closure for saturated partial applications 2019-09-12 18:26:15 +02:00
CMakeLists.txt chore: move bin/ and .oleans into build directory 2020-05-14 14:47:54 +02:00
compact.cpp chore: style nonsense 2020-02-06 17:06:36 -08:00
compact.h feat: maximize sharing at compact 2020-02-06 16:39:20 -08:00
compiler_hints.h
debug.cpp chore: remove cygwin support 2019-11-12 08:28:58 -08:00
debug.h refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
exception.cpp
exception.h refactor(*): use C++11 std::current_exception and std::rethrow_exception 2018-06-07 16:28:54 -07:00
extensible_object.h feat(runtime): add object serializer 2018-05-22 16:34:41 -07:00
flet.h
hash.cpp feat(runtime/hash): use size_t instead of unsigned 2019-04-03 03:19:50 -07:00
hash.h feat(runtime/hash): use size_t instead of unsigned 2019-04-03 03:19:50 -07:00
init_module.cpp feat: report stack overflows as such on Linux 2020-04-30 13:16:42 -07:00
init_module.h fix(runtime): add init_module 2018-05-14 20:38:21 -07:00
int64.h chore(runtime): fix style 2019-08-24 09:33:09 -07:00
interrupt.cpp
interrupt.h
io.cpp fix: macOS build 2020-05-14 14:47:54 +02:00
io.h chore: adjust runtime to new EState 2019-10-21 17:05:16 -07:00
lean.h feat: add FloatArray 2020-04-07 18:05:54 -07:00
memory.cpp
memory.h
mpq.cpp
mpq.h refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
mpz.cpp fix(runtime/mpz): fix and document size_t functions 2019-07-05 16:27:04 -07:00
mpz.h feat: Float from big numbers 2020-04-06 14:05:17 -07:00
object.cpp feat: add FloatArray 2020-04-07 18:05:54 -07:00
object.h chore: add new primitives to object.h 2020-04-03 18:26:13 -07:00
optional.h refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
platform.cpp feat(library/init/system/platform): add System.Platform.isOSX 2019-07-28 19:49:40 -07:00
platform.h feat(library/init): add platform.cpp 2019-07-25 17:19:50 -07:00
serializer.cpp feat(runtime): add lean_panic and variants 2019-08-24 07:40:39 -07:00
serializer.h refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
sharecommon.cpp chore: remove old names 2020-02-28 10:53:42 -08:00
sstream.h
stack_overflow.cpp feat: detect stack overflows on all platforms and threads 2020-05-04 11:11:11 +02:00
stack_overflow.h feat: detect stack overflows on all platforms and threads 2020-05-04 11:11:11 +02:00
stackinfo.cpp
stackinfo.h
thread.cpp feat: detect stack overflows on all platforms and threads 2020-05-04 11:11:11 +02:00
thread.h feat(runtime): inline hot path small object allocation 2019-05-17 10:12:43 -07:00
utf8.cpp fix(runtime/object): string_utf8_extract 2019-03-09 12:57:51 -08:00
utf8.h feat(runtime, library/init/data/string/basic): add utf8_pos 2019-03-09 12:30:19 -08:00