| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Replaced datasize with solverinfo | Sebastiano Tronto | 2025-03-14 | 1 | -10/+16 |
| | | |||||
| * | Fix gendata | Sebastiano Tronto | 2024-10-14 | 1 | -2/+2 |
| | | |||||
| * | Interface changes, progress with python | Sebastiano Tronto | 2024-10-14 | 1 | -12/+13 |
| | | |||||
| * | Added buffer sizes in API args | Sebastiano Tronto | 2024-10-11 | 1 | -3/+4 |
| | | |||||
| * | Removed "options" from solver selection | Sebastiano Tronto | 2024-10-10 | 1 | -47/+41 |
| | | | | | | | | | 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 distribution check to tool | Sebastiano Tronto | 2024-10-05 | 1 | -0/+1 |
| | | |||||
| * | Clean up tool output | Sebastiano Tronto | 2024-10-04 | 1 | -9/+4 |
| | | |||||
| * | Made table derivation tool more flexible | Sebastiano Tronto | 2024-09-27 | 1 | -12/+21 |
| | | | | | | | | | | | 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). | ||||
| * | Use constant instead of magic number | Sebastiano Tronto | 2024-09-27 | 1 | -1/+1 |
| | | |||||
| * | Merge branch 'master' of tronto.net:h48 | Sebastiano Tronto | 2024-09-27 | 1 | -4/+15 |
| |\ | |||||
| | * | small fix | Sebastiano Tronto | 2024-09-26 | 1 | -1/+1 |
| | | | |||||
| | * | Added TOOLARGS and simplified gendata tool(s) | Sebastiano Tronto | 2024-09-26 | 1 | -4/+16 |
| | | | |||||
| * | | First try for derive tables | Sebastiano Tronto | 2024-09-27 | 1 | -0/+64 |
| |/ | |||||
| * | Removed double import | Sebastiano Tronto | 2024-09-19 | 1 | -1/+0 |
| | | |||||
| * | Renamed tools; fixed solve tool; added gendata_h48h1k2 tool | Sebastiano Tronto | 2024-09-18 | 1 | -1/+1 |
| | | |||||
| * | Cleanup gendata tools | Sebastiano Tronto | 2024-09-12 | 1 | -24/+93 |
| | | |||||
| * | Finished table refactor | Sebastiano Tronto | 2024-09-11 | 1 | -0/+10 |
| | | |||||
| * | Refactor tools to remove duplicate code | Sebastiano Tronto | 2024-08-29 | 1 | -0/+106 |
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net