| Mon, 08 May 2023 23:30:58 +0200 | wenzelm | support for cached evaluation via weak_ref; | changeset | files |
| Mon, 08 May 2023 23:00:17 +0200 | wenzelm | optional timing; | changeset | files |
| Mon, 08 May 2023 21:50:21 +0200 | wenzelm | more informative trace of context allocations; | changeset | files |