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