projects / mes.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9aedd1) | patch
core: Use 0.25% safety region.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 2 Apr 2017 10:58:18 +0000 (12:58 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 2 Apr 2017 10:58:18 +0000 (12:58 +0200)
commitf79adb637f11447b485ba28b7c63f262fb201324
tree99b2f5034af95fafd32debf8b8946d4bc269dae5tree | snapshot (zip tar.gz)
parentf9aedd1466d59bb4dc4608295e2e08e06178a034commit | diff
core: Use 0.25% safety region.

* gc.c (gc_up_arena): Up GC_SAFETY too.
* scripts/repl.mes: Remove MES_ARENA override.
gc.c diff | blob | history
mes.c diff | blob | history
scripts/repl.mes diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.