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 cde7fd97fa chore: set page size back to 8192 
@Kha @Vtec234 The server crashes whenever I try to use a page size
different from 8192. Any ideas?
Note that, we can compile lean, and all tests succeed but `leanserver`
ones. I am wondering whether this is a problem with the process API,
or another API that is currently being used only by the server.
2021-01-30 10:58:34 -08:00
..
alloc.cpp chore: set page size back to 8192 2021-01-30 10:58:34 -08:00
allocprof.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
apply.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
CMakeLists.txt feat: basic process API 2020-08-30 14:28:56 -07:00
compact.cpp fix: Task: make reference and -j0 semantics eager, simplify 2020-09-14 17:57:33 +02:00
debug.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
exception.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
hash.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
init_module.cpp feat: basic process API 2020-08-30 14:28:56 -07:00
interrupt.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
io.cpp feat: add IO.getNumHeartbeats 2021-01-24 17:45:50 -08:00
memory.cpp chore: remove obsolete build options & other stuff 2020-10-14 18:57:11 +02:00
mpq.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
mpz.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
object.cpp chore: internal panic meesage 2021-01-13 10:26:25 -08:00
platform.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
process.cpp fix: crash in IO.Process.wait on 32-bit architecture 2021-01-24 14:37:23 +01:00
serializer.cpp chore: fix C++ warnings 2020-08-14 14:42:44 +02:00
sharecommon.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
stack_overflow.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
stackinfo.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
thread.cpp fix: free lthread resources on Windows 2020-09-29 08:01:10 -07:00
utf8.cpp chore: remove util/buffer.h dependency from runtime 2020-12-14 18:07:28 -08:00