nissy-core/src/solvers/tables.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.
Added DRFIN solver2025-08-05T07:04:00ZSebastiano Trontosebastiano@tronto.net2025-08-05T07:04:00Zurn:sha1:3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbbRemoved 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.
Other minor fixes2025-05-09T16:36:24ZSebastiano Trontosebastiano@tronto.net2025-05-09T16:36:24Zurn:sha1:5bb2b50a3f92c727ddf468df16bbc60a173d3115Always use unsigned char * for data buffers2025-04-21T12:44:07ZSebastiano Trontosebastiano@tronto.net2025-04-21T12:33:01Zurn:sha1:510a7471348788fccba6b7c4b9f7b7cc9aee6ba9
Before this commit I was inconsistently using one of void *, char *
and uint8_t *.
More safety with pointers using VLA function parameters2025-03-25T17:35:47ZSebastiano Trontosebastiano@tronto.net2025-03-25T17:35:47Zurn:sha1:56048d13b73ec6e6a9c59d62e82f41e69a3994bdBig cleanup for appendsolution()2025-03-24T22:09:26ZSebastiano Trontosebastiano@tronto.net2025-03-24T22:09:26Zurn:sha1:d45e1595ec1cffeab83ac6602b748250b66bea03
With this PR the appendsolution routine is extracted from the h48
solver and the new coordinate solver and made generic. This has
many advantages:
- less repetition (even if the two versions are different enough that
*for now* it was not a big deal)
- smaller h48/solve.h file, which is already a big beast
- easier to test the appendsolution() routine separately
Finished Python module2024-10-19T17:17:13ZSebastiano Trontosebastiano@tronto.net2024-10-19T17:17:13Zurn:sha1:a3a477870cdbdb4b9c4c8b403c09b13502291234Make gendata and co safer by checking buffer size2024-10-12T14:23:05ZSebastiano Trontosebastiano@tronto.net2024-10-12T14:23:05Zurn:sha1:182e2d45678d0487be71370c37b88daca3d2c54bFixed tableinfo alignment issues2024-10-10T12:06:00ZSebastiano Trontosebastiano@tronto.net2024-10-10T12:06:00Zurn:sha1:1ad46eda510e9709eaada046168811532929b9cb