6e5afe496b
Update License to 2020 ( #3196 )
2020-01-20 11:40:58 +00:00
6be6391225
Change 2018 to 2019 in copyright files ( #3072 )
2019-10-02 09:40:20 +01:00
aa5c428eb1
Prune list robustness ( #2976 )
...
* make prune list deserialization more robust (1-index vs 0 values)
* cleanup
2019-07-29 12:42:12 +01:00
aedac483f5
Convert to Rust 2018 edition ( #2084 )
...
* Convert to Rust 2018 edition
* Update gitignore
2018-12-08 00:59:40 +01:00
07eefc4d6b
cache get_shift() and get_leaf_shift() in prune_list ( #1495 )
...
* cache shift and leaf_shift values in prune_list for fast lookup later
* rustfmt
* fixup core tests
2018-09-12 08:19:05 +01:00
d0f8d325f2
implement prune_list as a bitmap ( #1179 ) ( #1206 )
...
* implement prune_list as a bitmap
and simplify
* cleanup prune_list, use maximum()
* handle migration of prune_list to new bitmap prun file
* legacy filename consts
* cleanup and docs
2018-06-28 20:53:00 -04:00
Quentin Le Sceller