Sebastian Ullrich
8193af33e3
fix: split libInit_shared out of libleanshared ( #3421 )
...
Avoids hitting the Windows limit on symbols per shared library soon
2024-02-22 19:16:32 +00:00
Gabriel Ebner
7c552380da
feat: Mutex, Condvar
2022-09-05 08:52:46 -07:00
Sebastian Ullrich
b13d3e6ca5
fix: dllexport functions not already annotated in header
2021-09-20 18:41:46 +02:00
Leonardo de Moura
c8406a301d
chore: reduce src/include/lean
2021-09-07 08:24:54 -07:00
Sebastian Ullrich
2b451a3fed
chore: remove obsolete serializer code
2021-07-22 18:59:39 +02:00
Sebastian Ullrich
9f40e46043
feat: basic process API
2020-08-30 14:28:56 -07:00
Leonardo de Moura
2f1ec93289
chore: move runtime implementation to src/runtime
2020-05-22 14:35:16 -07:00
Leonardo de Moura
1a77ee4f89
chore: delete old runtime directory
2020-05-18 11:33:18 -07:00
Leonardo de Moura
8bdca35282
chore: use #include <lean/runtime/...> for runtime .h files
2020-05-18 11:30:07 -07:00
Sebastian Ullrich
7899ab3761
feat: report stack overflows as such on Linux
...
Port of the corresponding Rust code (Apache/MIT)
2020-04-30 13:16:42 -07:00
Leonardo de Moura
41a4eaacd3
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
Sebastian Ullrich
e129a65948
fix(shell/CMakeLists): mark libleanstatic.a and libleanstdlib.a as cyclically dependent
2019-07-26 14:38:28 +02:00
Leonardo de Moura
f6d3fc881d
feat(library/init): add platform.cpp
2019-07-25 17:19:50 -07:00
Leonardo de Moura
1da4782483
feat(runtime, library/init/io): add io.ref
2019-03-16 22:16:28 -07:00
Leonardo de Moura
b5b2adea49
refactor(runtime): proper external objects without vtable
...
A C++ vtable at `external_object` is bad because it prevents users
from implementing external object in different programming languages.
Another problem was memory leaks because of the vtable in the
beginning of the object.
cc @kha
2019-03-07 10:26:05 -08:00
Leonardo de Moura
4b44c5ce36
feat(runtime/object): small object allocator
2019-02-23 17:17:56 -08:00
Leonardo de Moura
b1d8a17f1b
fix(runtime): add init_module
2018-05-14 20:38:21 -07:00
