|
|
dc8281036c
|
Add tests for for loop
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-11 18:15:14 +01:00 |
|
|
|
42e0056374
|
Add for loop
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-11 18:09:58 +01:00 |
|
|
|
3f549690c1
|
Fix combinatorial explosion on backtracking broken if chains
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-09 16:21:23 +01:00 |
|
|
|
d2e0405033
|
Rename library to nomo
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-07 10:07:47 +01:00 |
|
|
|
67b9c418ac
|
Fixup the testing stuff
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-06 15:09:53 +01:00 |
|
|
|
d3e6410ec0
|
Setup a testing bench
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-06 13:56:39 +01:00 |
|
