| .. |
|
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: rename maxsharing.cpp => sharecommon.cpp
|
2020-02-28 10:53:41 -08: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
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
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
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
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
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
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
|
fix(runtime, library/init/lean/compiler/ir/emitc): missing export, ensure we can compile with C++ compiler
|
2019-08-24 07:40:38 -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
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
interrupt.h
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
io.cpp
|
chore: style
|
2020-03-23 14:06:02 -07:00 |
|
io.h
|
chore: adjust runtime to new EState
|
2019-10-21 17:05:16 -07:00 |
|
lean.h
|
perf: remove "filler" fields
|
2020-02-27 10:02:26 -08:00 |
|
memory.cpp
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
memory.h
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
mpq.cpp
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
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: use mpz_pow_ui to implement Nat.pow
|
2020-01-21 09:16:38 -08:00 |
|
object.cpp
|
fix: assertion violation
|
2020-01-31 08:25:59 -08:00 |
|
object.h
|
chore: remove cnstr_get_scalar and cnstr_set_scalar
|
2020-02-25 13:28:23 -08: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
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
stackinfo.cpp
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
stackinfo.h
|
refactor(*): add runtime folder
|
2018-05-14 14:23:56 -07:00 |
|
thread.cpp
|
chore: style
|
2019-10-29 14:50:22 -07: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 |
