Jared Roesch
|
dc4086d0ed
|
feat(library/vm/process): add basic process support
|
2017-03-28 18:08:06 -07:00 |
|
Gabriel Ebner
|
94565113a6
|
chore(checker): remove gmp, mpfr, and dl library dependencies
|
2017-01-31 09:39:31 +01:00 |
|
Gabriel Ebner
|
6fa246032f
|
fix(library/native_compiler): get_exe_location does not exist on emscripten
|
2016-12-31 15:15:20 +01:00 |
|
Gabriel Ebner
|
a26e2c9108
|
feat(library/module): intermediary data structure for environment modifications
|
2016-12-20 10:15:19 -08:00 |
|
Leonardo de Moura
|
4c01cb503c
|
fix(library/native_compiler/native_compiler): memory leak
|
2016-12-20 10:02:31 -08:00 |
|
Leonardo de Moura
|
5c2d87ef87
|
fix(library/native_compiler/native_compiler): compilation error
|
2016-12-06 13:16:56 -08:00 |
|
Leonardo de Moura
|
ef6d6075bb
|
fix(library/native_compiler/native_compiler): add -ldl option
|
2016-12-05 17:33:34 -08:00 |
|
Leonardo de Moura
|
e59515df5f
|
chore(*): fix style
|
2016-12-05 16:39:58 -08:00 |
|
Jared Roesch
|
e65d90ac79
|
feat(*): C++ code generator
in progress move of Lean.native to init
|
2016-12-05 16:11:41 -08:00 |
|