| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2025-05-19 | Refactored checkdata | Sebastiano Tronto | 1 | -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-18 | Refactor solver dispatch and checkdata | Sebastiano Tronto | 1 | -1/+1 | |
| 2025-04-21 | Always use unsigned char * for data buffers | Sebastiano Tronto | 1 | -2/+6 | |
| Before this commit I was inconsistently using one of void *, char * and uint8_t *. | |||||
| 2025-04-02 | Added dreo coordinate solver | Sebastiano Tronto | 1 | -0/+16 | |
| 2025-03-29 | Optimize genptable for coordinate solve (20x speedup) | Sebastiano Tronto | 1 | -0/+18 | |
| 2025-03-25 | More safety with pointers using VLA function parameters | Sebastiano Tronto | 1 | -2/+2 | |
| 2025-03-14 | Added checkdata for coord EO | Sebastiano Tronto | 1 | -8/+37 | |
| 2024-12-20 | Added known distribution for larger tables | Sebastiano Tronto | 1 | -8/+24 | |
| 2024-10-12 | Make gendata and co safer by checking buffer size | Sebastiano Tronto | 1 | -5/+5 | |
| 2024-10-10 | Removed "options" from solver selection | Sebastiano Tronto | 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. | |||||
| 2024-10-05 | Added expected distributions | Sebastiano Tronto | 1 | -1/+66 | |
| 2024-10-05 | Added distribution check to tool | Sebastiano Tronto | 1 | -0/+86 | |
| 2024-09-27 | Made table derivation tool more flexible | Sebastiano Tronto | 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). | |||||
| 2024-09-26 | Added checkdata tool | Sebastiano Tronto | 1 | -0/+25 | |
