| Tue, 10 Mar 2020 16:04:30 +0100 |
Raphaël Gomès |
run-tests: restrict Rust thread pool to 3 threads during tests
|
| Fri, 28 Feb 2020 00:31:14 +0100 |
Pierre-Yves David |
nodemap: make sure the nodemap docket is updated after the changelog
|
| Fri, 28 Feb 2020 00:29:18 +0100 |
Pierre-Yves David |
nodemap: make sure hooks have access to an up-to-date version
|
| Thu, 27 Feb 2020 16:32:43 +0100 |
Pierre-Yves David |
nodemap: track the tip_node for validation
|
| Thu, 27 Feb 2020 15:42:04 +0100 |
Pierre-Yves David |
nodemap: add a todo list for getting out of experimental
|
| Tue, 18 Feb 2020 15:19:11 +0100 |
Pierre-Yves David |
rust-nodemap: automatically use the rust index for persistent nodemap
|
| Tue, 18 Feb 2020 18:32:55 +0100 |
Pierre-Yves David |
nodemap: use data from the index in debugnodemap --dump-new
|
| Wed, 12 Feb 2020 10:53:24 +0100 |
Georges Racinet |
rust-nodemap: also clear Rust data in `clearcaches`
|
| Wed, 12 Feb 2020 10:53:19 +0100 |
Georges Racinet |
rust-nodemap: add binding to `nodemap_update_data`
|
| Wed, 12 Feb 2020 10:52:30 +0100 |
Georges Racinet |
rust-nodemap: add binding for `nodemap_data_incremental`
|
| Wed, 12 Feb 2020 10:51:17 +0100 |
Georges Racinet |
rust-nodemap: add binding for `nodemap_data_all`
|
| Wed, 12 Feb 2020 10:33:55 +0100 |
Raphaël Gomès |
rust-nodemap: use proper Index API instead of using the C API
|
| Tue, 11 Feb 2020 16:30:28 +0100 |
Georges Racinet |
rust-nodemap: add utils for propagating errors
|
| Tue, 11 Feb 2020 16:25:45 +0100 |
Georges Racinet |
rust-nodemap: add utils to create `Node`s from Python objects
|
| Tue, 11 Feb 2020 16:23:06 +0100 |
Georges Racinet |
rust-index: add `append` method to cindex/Index
|
