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

	Commit message (Collapse)	Author	Age	Files	Lines
*	C11 threads!	Sebastiano Tronto	2026-03-01	1	-3/+3
\|
*	C11 threads?	Sebastiano Tronto	2026-03-01	1	-2/+2
\|
*	Intertwined table seems to work	Sebastiano Tronto	2025-12-14	1	-6/+0
\|
*	Wrapped pthread use in custom API	Sebastiano Tronto	2025-08-11	1	-3/+3
\|
*	Do all loggin in main thread	Sebastiano Tronto	2025-05-23	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.
*	Refactored checkdata	Sebastiano Tronto	2025-05-19	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.
*	Refactor solver dispatch and checkdata	Sebastiano Tronto	2025-05-18	1	-0/+77