7 Commits

Author SHA1 Message Date
Csaba Kiraly
1955c11d69
we are using 2.1.0 syntax
we use <== on arrays, which was introduced in 2.1.0

Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2022-11-17 14:24:14 +01:00
Csaba Kiraly
69fa933f10
factorize CheckInclusions loop
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2022-11-17 14:23:31 +01:00
Csaba Kiraly
d2a72613b0
cleanup 2022-11-17 14:00:16 +01:00
Csaba Kiraly
56ca654ab9
use block indices directly to calculate treePathIndices
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2022-11-17 13:59:58 +01:00
Csaba Kiraly
26d8f78c58
initial commit of tests
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2022-11-17 13:51:13 +01:00
Csaba Kiraly
24540dbcbd
initial commit of circuits
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2022-11-17 13:49:58 +01:00
Csaba Kiraly
7f0e3b6b5d
initial commit
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2022-11-17 13:49:02 +01:00