max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/runtime
History
Leonardo de Moura a944d158a3 feat(CMakeLists.txt): add SMALL_RC cmake option 
When used with `COMPRESSED_OBJECT_HEADER`, Lean uses a compressed
object header where only 32-bits are reserved for the RC.
The motivation is performance, in our experiments, it is faster to
access a 32-bit counter than a 45-bit one.
With a smaller RC, we can use 8-bits for the memory kind information,
and speedup its access.
2019-08-28 14:54:08 -03: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 refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
apply.h refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
CMakeLists.txt feat(library/init): add platform.cpp 2019-07-25 17:19:50 -07:00
compact.cpp feat(CMakeLists.txt): add SMALL_RC cmake option 2019-08-28 14:54:08 -03:00
compact.h feat(CMakeLists.txt): add SMALL_RC cmake option 2019-08-28 14:54:08 -03:00
compiler_hints.h refactor(*): add runtime folder 2018-05-14 14:23:56 -07:00
debug.cpp refactor(*): add runtime folder 2018-05-14 14:23:56 -07: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 refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
io.h chore(*): style 2019-05-14 07:08:58 -07:00
lean.h feat(CMakeLists.txt): add SMALL_RC cmake option 2019-08-28 14:54:08 -03: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 chore(runtime): fix style 2019-08-24 09:33:09 -07:00
object.cpp feat(CMakeLists.txt): add SMALL_RC cmake option 2019-08-28 14:54:08 -03:00
object.h fix(runtime): ensure we can disable LEAN_SMALL_ALLOCATOR 2019-08-24 11:18:07 -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
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 feat(runtime): eager heap initialization 2019-04-25 18:10:36 -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