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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added dreo coordinate solver	Sebastiano Tronto	2025-04-02	1	-0/+16
\|
*	Optimize genptable for coordinate solve (20x speedup)	Sebastiano Tronto	2025-03-29	1	-0/+18
\|
*	More safety with pointers using VLA function parameters	Sebastiano Tronto	2025-03-25	1	-2/+2
\|
*	Added checkdata for coord EO	Sebastiano Tronto	2025-03-14	1	-8/+37
\|
*	Added known distribution for larger tables	Sebastiano Tronto	2024-12-20	1	-8/+24
\|
*	Make gendata and co safer by checking buffer size	Sebastiano Tronto	2024-10-12	1	-5/+5
\|
*	Removed "options" from solver selection	Sebastiano Tronto	2024-10-10	1	-1/+1
\| \| \| \| \| \| \| \|	Now the solver name fully determines the solver (and options) to be used. For example, now one must specify "h48h0k4" as the name of the solver. This PR also fixes a couple of things in tools.
*	Added expected distributions	Sebastiano Tronto	2024-10-05	1	-1/+66
\|
*	Added distribution check to tool	Sebastiano Tronto	2024-10-05	1	-0/+86
\|
*	Made table derivation tool more flexible	Sebastiano Tronto	2024-09-27	1	-0/+8
\| \| \| \| \| \| \| \| \| \|	So apparently my RAM is broken. That took me a while to figure out. While I get a replacement, I have to restrict myself to a weaker test for the intermediate tables: instead of deriving them from the huge table and checking that they are the same, I have to derive a small h0k2 table from the intermediate ones and check that it is correct. This is not a 100% proof of correctness, but it is good enough (and much faster).
*	Added checkdata tool	Sebastiano Tronto	2024-09-26	1	-0/+25