Leonardo de Moura
|
88e44d9fdd
|
fix(runtime/compact): memory leak
|
2019-08-24 11:21:19 -07:00 |
|
Leonardo de Moura
|
9d09325d1e
|
fix(runtime): ensure we can disable LEAN_SMALL_ALLOCATOR
|
2019-08-24 11:18:07 -07:00 |
|
Leonardo de Moura
|
2d103caa76
|
perf(runtime/lean): use the low level hack we used in the previous runtime
|
2019-08-24 11:05:28 -07:00 |
|
Leonardo de Moura
|
86c2c32810
|
fix(runtime/object): memory leak
|
2019-08-24 10:24:39 -07:00 |
|
Leonardo de Moura
|
fb4e2daf74
|
fix(runtime/object): debug build
|
2019-08-24 09:51:37 -07:00 |
|
Leonardo de Moura
|
79d4addabd
|
chore(runtime): fix style
|
2019-08-24 09:33:09 -07:00 |
|
Leonardo de Moura
|
720c3ca3e4
|
fix(runtime): size_t issue OSX vs Linux
|
2019-08-24 09:30:12 -07:00 |
|
Leonardo de Moura
|
dfbc500947
|
fix(runtime/mpz): (try to) fix Linux build again
|
2019-08-24 08:13:48 -07:00 |
|
Leonardo de Moura
|
84de479a4c
|
fix(runtime/int64): compilation issue on Linux
|
2019-08-24 07:58:22 -07:00 |
|
Leonardo de Moura
|
358f8c5483
|
fix(runtime/lean): missing "static"
|
2019-08-24 07:40:56 -07:00 |
|
Leonardo de Moura
|
140708fe8d
|
chore(runtime): style
|
2019-08-24 07:40:56 -07:00 |
|
Leonardo de Moura
|
70f3537a29
|
feat(runtime): add lean_panic and variants
|
2019-08-24 07:40:39 -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 |
|
Leonardo de Moura
|
cee0264363
|
feat(CMakeLists.txt): add "COMPRESSED_OBJECT_HEADER" cmake option
|
2019-08-24 07:40:38 -07:00 |
|
Leonardo de Moura
|
e7c8e66986
|
fix(runtime/object): remove incorrect assertions
They are not true when LEAN_COMPRESSED_OBJECT_HEADER is defined.
|
2019-08-24 07:40:38 -07:00 |
|
Leonardo de Moura
|
6553c5531c
|
fix(runtime): bugs at compact.cpp and object size calculation
|
2019-08-24 07:40:38 -07:00 |
|
Leonardo de Moura
|
1ba481fad5
|
chore(runtime/compact): minor
|
2019-08-24 07:40:38 -07:00 |
|
Leonardo de Moura
|
79f4eeea62
|
fix(runtime/lean): incorrect assertion
|
2019-08-24 07:40:38 -07:00 |
|
Leonardo de Moura
|
124c5da414
|
fix(runtime): disable compressed headers and fix bugs
|
2019-08-24 07:40:38 -07:00 |
|
Leonardo de Moura
|
3b762d4dc0
|
refactor(runtime): C backend
|
2019-08-24 07:40:38 -07:00 |
|
Leonardo de Moura
|
dcd15f3424
|
refactor(runtime): C backend
|
2019-08-24 07:40:38 -07:00 |
|
Leonardo de Moura
|
94c69fff2b
|
feat(runtime/alloc): auxiliary functions for new runtime
|
2019-08-21 10:44:40 -07:00 |
|
Leonardo de Moura
|
166eff9525
|
fix(runtime/lean): missing details
|
2019-08-21 09:37:36 -07:00 |
|
Leonardo de Moura
|
9e8ac5ae27
|
chore(runtime/lean): style
|
2019-08-20 19:46:53 -07:00 |
|
Leonardo de Moura
|
1dc1bcf521
|
fix(runtime/lean): stdatomic.h vs atomic issue
|
2019-08-20 17:56:24 -07:00 |
|
Leonardo de Moura
|
25481d5cef
|
chore(runtime/object): preparing for implementing object.h using lean.h
|
2019-08-20 13:00:18 -07:00 |
|
Leonardo de Moura
|
e002c96654
|
chore(runtime/lean): style
|
2019-08-20 10:20:55 -07:00 |
|
Leonardo de Moura
|
6d6cb14f9e
|
feat(library/init/lean/compiler/ir/emitc,shell/lean): add --c=<filename> option
|
2019-08-20 10:13:40 -07:00 |
|
Leonardo de Moura
|
a8d6bed95f
|
feat(runtime/lean): add lean_apply_*
|
2019-08-20 09:24:02 -07:00 |
|
Leonardo de Moura
|
a98095ad4f
|
feat(runtime/lean): missing APIs
|
2019-08-20 09:19:28 -07:00 |
|
Leonardo de Moura
|
5eafa7e391
|
feat(runtime/lean): UInt8/UInt16/UInt32/UInt64/USize APIs
|
2019-08-20 09:06:35 -07:00 |
|
Leonardo de Moura
|
af634536bd
|
feat(runtime/lean): Int API
|
2019-08-20 07:47:41 -07:00 |
|
Leonardo de Moura
|
44dd77a739
|
feat(runtime/lean): ByteArray API
|
2019-08-19 10:12:36 -07:00 |
|
Leonardo de Moura
|
1fc9f09bef
|
feat(runtime/lean): Nat API
|
2019-08-19 09:48:13 -07:00 |
|
Leonardo de Moura
|
43705872fd
|
feat(runtime/lean): Task and External APIs
|
2019-08-19 09:21:16 -07:00 |
|
Leonardo de Moura
|
750748440e
|
feat(runtime/lean): Thunk API
|
2019-08-19 08:56:41 -07:00 |
|
Leonardo de Moura
|
70f832727f
|
feat(runtime/lean): string API
|
2019-08-18 08:44:01 -07:00 |
|
Leonardo de Moura
|
d0dab47877
|
feat(runtime/lean): array of objects API
|
2019-08-18 08:31:57 -07:00 |
|
Leonardo de Moura
|
57fd302f84
|
chore(runtime/lean): style
|
2019-08-16 21:01:14 -07:00 |
|
Leonardo de Moura
|
2758681d78
|
feat(runtime/lean): closures
|
2019-08-16 16:14:34 -07:00 |
|
Leonardo de Moura
|
4a24b400c8
|
feat(runtime/lean): constructor API
|
2019-08-16 15:53:35 -07:00 |
|
Leonardo de Moura
|
d4ef508722
|
chore(runtime/lean): style
|
2019-08-16 09:57:34 -07:00 |
|
Leonardo de Moura
|
216d6fc6aa
|
feat(runtime): start C runtime
|
2019-08-15 20:15:35 -07:00 |
|
Leonardo de Moura
|
f1fa528dbe
|
chore(runtime/object): remove alloc.h dependency
|
2019-08-15 09:21:30 -07:00 |
|
Leonardo de Moura
|
45ed2995d4
|
chore(runtime): remove alloc_small
|
2019-08-15 09:09:44 -07:00 |
|
Leonardo de Moura
|
44bf885829
|
chore(runtime/alloc): simplify header file
|
2019-08-15 09:09:44 -07:00 |
|
Leonardo de Moura
|
b0c84874ba
|
chore(runtime/compact): add additional comments
|
2019-07-30 17:58:15 -07:00 |
|
Sebastian Ullrich
|
2c12f9d0f6
|
chore(runtime/object): LEAN_FAKE_FREE: assert on double-free
|
2019-07-30 17:52:43 -07:00 |
|
Sebastian Ullrich
|
20b6502aaf
|
fix(runtime/compact): badly aligned "field" in terminator
|
2019-07-30 17:52:43 -07:00 |
|
Leonardo de Moura
|
6cf8571e37
|
feat(library/init/system/platform): add System.Platform.isOSX
|
2019-07-28 19:49:40 -07:00 |
|