nissy-core/src/nissy.c, branch c-portability The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=c-portability 2026-04-06T13:48:54Z Fix integer conversions in code, tests and some tools 2026-04-06T13:48:54Z Sebastiano Tronto sebastiano@tronto.net 2026-04-06T13:48:54Z urn:sha1:a1ad0db8a6d829eddf1478cee44ae976bbcd325f Use macro for [static N] 2026-04-04T10:02:56Z Sebastiano Tronto sebastiano@tronto.net 2026-04-04T10:02:56Z urn:sha1:e6be287bbfa6beda038ec8b085300c5dc9c2ecd8 Remove pthread import 2025-08-12T09:19:52Z Sebastiano Tronto sebastiano@tronto.net 2025-08-12T09:19:52Z urn:sha1:e26d50d87cb2b1695d42f1ff8b9ab29a7d10e3aa Added solver aliases 2025-08-07T15:13:49Z Sebastiano Tronto sebastiano@tronto.net 2025-08-07T15:13:49Z urn:sha1:d1747a694ea65a463d6e9b6f7408ae969a8bfff5 Added API function for solution variations 2025-08-07T13:28:01Z Sebastiano Tronto sebastiano@tronto.net 2025-08-07T13:09:46Z urn:sha1:5355de2921126e2b75e24abd57e17556e22a6ed0 Added move sequence comparison function 2025-07-31T07:47:57Z Sebastiano Tronto sebastiano@tronto.net 2025-07-31T07:47:57Z urn:sha1:992de12cc081e7dde16c3c231f83bfa77c67825a Turns checks into assertions in utils/math.h 2025-07-28T12:17:42Z Sebastiano Tronto sebastiano@tronto.net 2025-07-28T12:17:42Z urn:sha1:1e5c862d8fa7b76b69b8125d454d8f8d6a9cde25 Removed VLA notation from function parameters. 2025-05-27T07:03:51Z Sebastiano Tronto sebastiano@tronto.net 2025-05-27T07:03:51Z urn: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 checkdata 2025-05-19T15:45:14Z Sebastiano Tronto sebastiano@tronto.net 2025-05-19T15:45:14Z urn: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. Refactor solver dispatch and checkdata 2025-05-18T06:48:13Z Sebastiano Tronto sebastiano@tronto.net 2025-05-18T06:48:13Z urn:sha1:8b94d135429a9f3253cc7f25a1453b412065c4a0