nissy-core - The "engine" of nissy, including the H48 optimal solver.

	Commit message (Collapse)	Author	Files	Lines
2026-03-01	C11 threads!	Sebastiano Tronto	1	-3/+3

2026-03-01	C11 threads?	Sebastiano Tronto	1	-2/+2

2025-12-14	Intertwined table seems to work	Sebastiano Tronto	1	-6/+0

2025-08-11	Wrapped pthread use in custom API	Sebastiano Tronto	1	-3/+3

2025-05-23	Do all loggin in main thread	Sebastiano Tronto	1	-1/+4
	Before this committ, the solver (via the generic solution-appender routines in src/solve/solutions.h) and the H48 data generator did some logging in the worker threads, without using any locks. This was not nice, but in practice it did not cause any problem, because the log messages were rare. However, this turned out to be a problem when building to WASM, because web workers do not have access to the main JS memory, and therefore they cannot call functions from the main JS. This includes not only the callback functions for logging, but also those for polling the status of the solver (run / pause / stop). This commit fixes this at the cost or being somewhat inelegant: the solutions are not logged as they are found, but only every 500ms.
2025-05-19	Refactored checkdata	Sebastiano Tronto	1	-0/+27
	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.
2025-05-18	Refactor solver dispatch and checkdata	Sebastiano Tronto	1	-0/+77