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 74f48414f1 feat: add option --exitOnPanic (short version -e) 
Lean does not exit on panic anymore.
The old behavior (`std::exit(1)`) produces a horrible debugging
experience for the elaborator since all trace messages are lost.
The new command line option restores the old behavior.

cc @Kha @dselsam
2019-12-19 09:24:37 -08: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 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 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
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
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
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
interrupt.h
io.cpp chore: remove cygwin support 2019-11-12 08:28:58 -08:00
io.h chore: adjust runtime to new EState 2019-10-21 17:05:16 -07:00
lean.h feat: add option --exitOnPanic (short version -e) 2019-12-19 09:24:37 -08:00
memory.cpp
memory.h
mpq.cpp
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: add option --exitOnPanic (short version -e) 2019-12-19 09:24:37 -08:00
object.h chore(runtime/object,util/object_ref): missing assertions 2019-09-12 18:22:02 +02: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
stackinfo.cpp
stackinfo.h
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