|
|
6370fb5941
|
Update license headers, clean up README, clarify licensing of third party content (bench 5834033)
|
2026-09-09 14:20:22 +02:00 |
|
|
|
346ef735e5
|
Revert to HTTPS submodule, several QoL improvements to Makefile (bench 5844195)
|
2025-10-17 19:40:10 +02:00 |
|
|
|
d5a6dcccaf
|
Implement short-circuiting, iterative SEE (bench 5697813)
|
2025-10-17 19:40:05 +02:00 |
|
|
|
59db95fe2e
|
Update nimble and network. Fixup git configuration (bench 5762994)
|
2025-10-17 19:40:05 +02:00 |
|
|
|
fede1825f6
|
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 |
|
