Tim Ruffing 2842dc523e Make WINDOW_G configurable
This makes WINDOW_G a configurable value in the range of [2..24].
The upper limit of 24 is a defensive choice. The code is probably
correct for values up to 27 but those larger values yield in huge
tables (>= 256MiB), which are i) unlikely to be really beneficial
in practice and ii) increasingly difficult to test.
2019-05-24 21:02:31 +02:00
..
2019-05-24 21:02:31 +02:00
2019-05-24 21:02:31 +02:00
2018-07-06 08:40:35 -04:00
2018-07-06 08:40:35 -04:00
2017-09-27 17:25:12 -07:00
2017-09-27 15:03:20 -07:00
2018-04-05 22:49:29 +00:00