nissy-core/src/utils, 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.
Improve Windows build support.2026-03-01T17:09:44ZSebastiano Trontosebastiano@tronto.net2026-03-01T17:09:44Zurn:sha1:2c291aed4bb80f07e8557284d3399cf1e2a4ccb9
- Use multithreading (works with a sufficiently recent version of
the Microsoft developer tools / C SDK).
- Detect CPU architecture and use AVX2 or NEON when appropriate.
- Automatically detect python installation path.
Improve performance of H48 solver with prefetching2026-01-12T17:09:43ZSebastiano Trontosebastiano@tronto.net2026-01-12T17:09:43Zurn:sha1:9a013b7c68f94e6be0fe8748c9012a441fe0273f
With this commit we re-structure how the node expansion in the
H48 solution search works to allow prefetching of pruning values,
showing performance improvements in the range of 30-45% on x86,
depending on table size and solution length.
A small bug fix related to appending solutions is included in this commit.
Correct OS detection for sleep function2025-08-13T08:24:14ZSebastiano Trontosebastiano@tronto.net2025-08-13T08:24:14Zurn:sha1:58deba64173679253e72495451853a668baf2452Some generic fixes, mainly for building on Windows2025-08-12T12:54:23ZSebastiano Trontosebastiano@tronto.net2025-08-12T12:54:23Zurn:sha1:a82527e00fd535d0740deb45e39d041863116404Wrapped pthread use in custom API2025-08-11T09:48:40ZSebastiano Trontosebastiano@tronto.net2025-08-11T08:22:56Zurn:sha1:d25f23805c6d7128b508a359d47af136dd2fd0dbAdded CPEPE coordinate in preparation of full DRFIN solver2025-08-01T14:52:44ZSebastiano Trontosebastiano@tronto.net2025-08-01T14:52:44Zurn:sha1:1bd4691d9cc46ec75adbe899b289a1ebc5460721All coordinates unsigned2025-07-29T10:12:43ZSebastiano Trontosebastiano@tronto.net2025-07-29T10:12:43Zurn:sha1:ea0387796a349c91032fbcb10f50c6ad8607b0f6Optimized some coordinates2025-07-29T08:00:56ZSebastiano Trontosebastiano@tronto.net2025-07-29T08:00:56Zurn:sha1:38014615238a51f1c0c1f2f96d37cbfbf765520aTiny cleanup2025-07-28T12:18:29ZSebastiano Trontosebastiano@tronto.net2025-07-28T12:18:29Zurn:sha1:3d6bc090c87a19c358a8b9025d3a2b62d77ab433