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

	Commit message (Collapse)	Author	Files	Lines
2026-04-06	Make the project build with Microsoft's broken C compiler.	Sebastiano Tronto	1	-1/+1
	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.
2025-04-22	Update tests for oriented_cube_t	Sebastiano Tronto	1	-3/+3

2024-10-12	Make writemoves (and solver) safer by checking buffer size	Sebastiano Tronto	1	-1/+1

2024-06-17	Use callback function to log to stderr	Sebastiano Tronto	1	-3/+1

2024-03-30	Added cocsep data generation, but it is very slow	Sebastiano Tronto	3	-0/+38