nissy-core/src/nissy.h, branch masterThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=master2026-04-06T13:55:33ZMake the project build with Microsoft's broken C compiler.2026-04-06T13:55:33ZSebastiano Trontosebastiano@tronto.net2026-04-06T13:55:33Zurn:sha1:fc41f7917531693680b5baf71ffe38c47333fe84
MSVC is not fully C11-compliant, even when compiling with /std:c11.
Some changes were needed to make the codebase compatible. Notably, the
notation a[static N] and a[n] for function parameters of array type is
not supported, so that had to be hidden behind a macro. Atomic types
are also an experimental feature, apparently, but at least they work
with the correct compiler flag.
One thing that MSVC does well, however, is warning on integer conversions
on /W4 level. I am not sure if Clang and GCC have something similar,
so I took this chance to fix some of these.
Fix alignment2025-12-17T16:36:16ZSebastiano Trontosebastiano@tronto.net2025-12-17T16:36:16Zurn:sha1:ec9593e2ff0856d78b37df3a977a753be82bfddcAdded solver documentation2025-08-08T07:43:15ZSebastiano Trontosebastiano@tronto.net2025-08-08T07:43:15Zurn:sha1:82904137aff5a7de8b9aee55485c1b0217e0b2e6Mention lastqt and unniss in description of nissy_variations()2025-08-07T15:16:19ZSebastiano Trontosebastiano@tronto.net2025-08-07T15:16:19Zurn:sha1:c90781c8602bd2ff17270105c98277ac79665ac8Added API function for solution variations2025-08-07T13:28:01ZSebastiano Trontosebastiano@tronto.net2025-08-07T13:09:46Zurn:sha1:5355de2921126e2b75e24abd57e17556e22a6ed0Added move sequence comparison function2025-07-31T07:47:57ZSebastiano Trontosebastiano@tronto.net2025-07-31T07:47:57Zurn:sha1:992de12cc081e7dde16c3c231f83bfa77c67825aRemoved VLA notation from function parameters.2025-05-27T07:03:51ZSebastiano Trontosebastiano@tronto.net2025-05-27T07:03:51Zurn:sha1:7c934801f88c640970ad41b5ddd39f4e39609f28
I found out that this gives undefined behavior when then size is 0.
Better not to have it at all, it is confusing for other developers anyway.
Refactored checkdata2025-05-19T15:45:14ZSebastiano Trontosebastiano@tronto.net2025-05-19T15:45:14Zurn:sha1:62d87e063318cc4c842b1b2d8c184f48aeaf6659
Relevant changes include:
- Changed the signature of nissy_checkdata().
- Removed expected_distribution.h from tools; this data is now included
in each solver's src/ code.
- Removed distribution check for cocsep; may add back later.
Added stop / pause / resume solve to API2025-04-29T08:08:04ZSebastiano Trontosebastiano@tronto.net2025-04-29T08:08:04Zurn:sha1:8d3fc9f5f9c0593fcae9c451efe6c89c64dcbe84NISS2025-04-25T08:09:22ZSebastiano Trontosebastiano@tronto.net2025-04-25T08:09:22Zurn:sha1:7faca28009c5efb0ba2b897b34dbdcac47a1a6f3