 scossu
|
dbb218e03e
Adjust profile.c.
|
há 11 meses atrás |
|
scossu
|
102a5dfb02
API adjustments.
|
há 11 meses atrás |
|
Stefano Cossu
|
a52682bd35
Fix mem issue in profile; measure peak memory usage.
|
há 2 anos atrás |
|
Stefano Cossu
|
479b22c115
Add transaction tests; fix profiler.
|
há 2 anos atrás |
|
Stefano Cossu
|
9567f7a272
Fix term_copy, environment setup, and profiling.
|
há 3 anos atrás |
|
Stefano Cossu
|
dbdfb5807e
Fix profiling.
|
há 3 anos atrás |
|
Stefano Cossu
|
df8a1d2366
WIP Store lang tags and data types separately; bootstrap DB.
|
há 3 anos atrás |
|
Stefano Cossu
|
c67d41ad1f
Fix mdb lookup_0bound; fix profiler tool.
|
há 3 anos atrás |
|
Stefano Cossu
|
7ac2f4ad1c
Fix memory errors.
|
há 3 anos atrás |
|
Stefano Cossu
|
ff83a788bb
Logging functions; environment module.
|
há 3 anos atrás |
|
Stefano Cossu
|
7652c9d3ad
Major memory error cleanup.
|
há 3 anos atrás |
 Stefano Cossu
|
a0c107e295
Some fixes:
|
há 3 anos atrás |
|
Stefano Cossu
|
00a755a489
Incomplete attempt at LMDB-like API.
|
há 3 anos atrás |
|
Stefano Cossu
|
047c42318e
Create separate file for profiling.
|
há 3 anos atrás |
