aboutsummaryrefslogtreecommitdiff
path: root/tools/expected_distributions.h (unfollow)
Commit message (Collapse)AuthorFilesLines
2025-05-19Refactored checkdataSebastiano Tronto1-267/+0
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-18Refactor solver dispatch and checkdataSebastiano Tronto1-1/+1
2025-04-21Always use unsigned char * for data buffersSebastiano Tronto1-2/+6
Before this commit I was inconsistently using one of void *, char * and uint8_t *.
2025-04-02Added dreo coordinate solverSebastiano Tronto1-0/+16
2025-03-29Optimize genptable for coordinate solve (20x speedup)Sebastiano Tronto1-0/+18
2025-03-25More safety with pointers using VLA function parametersSebastiano Tronto1-2/+2
2025-03-14Added checkdata for coord EOSebastiano Tronto1-8/+37
2024-12-20Added known distribution for larger tablesSebastiano Tronto1-8/+24
2024-10-12Make gendata and co safer by checking buffer sizeSebastiano Tronto1-5/+5
2024-10-10Removed "options" from solver selectionSebastiano Tronto1-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.
2024-10-05Added expected distributionsSebastiano Tronto1-1/+66
2024-10-05Added distribution check to toolSebastiano Tronto1-0/+86
2024-09-27Made table derivation tool more flexibleSebastiano Tronto1-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).
2024-09-26Added checkdata toolSebastiano Tronto1-0/+25

Generated with cgit - Back to sebastiano.tronto.net