|
|
5c07162b4f
|
Revert to HTTPS submodule, several QoL improvements to Makefile (bench 5844195)
|
2025-10-17 19:40:10 +02:00 |
|
|
|
8fdf99e07a
|
Implement short-circuiting, iterative SEE (bench 5697813)
|
2025-10-17 19:40:05 +02:00 |
|
|
|
a6ee589d9a
|
Update nimble and network. Fixup git configuration (bench 5762994)
|
2025-10-17 19:40:05 +02:00 |
|
|
|
a8af4cd70d
|
Initial work on new merged kings network. Delete third-party code factorizer. Refactor Makefile to move networks out of the main repo. Move book to appropriate directory (bench 5472385)
|
2025-10-17 19:40:04 +02:00 |
|
