| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Some minor changes to the interface. | Sebastiano Tronto | 2025-04-08 | 1 | -1/+1 |
| | | | | | | | | | | - Simplified logger to accept only a string, not a variadic list of args like printf(). This can still use some improvement, but now it is easier to use from other languages. - Fixed some misuses of the logger (wrong types etc) - Renamed some constants - Fixed some typos in comments. | ||||
| * | Replaced datasize with solverinfo | Sebastiano Tronto | 2025-03-14 | 1 | -3/+3 |
| | | |||||
| * | Interface changes, progress with python | Sebastiano Tronto | 2024-10-14 | 1 | -1/+1 |
| | | |||||
| * | Added buffer sizes in API args | Sebastiano Tronto | 2024-10-11 | 1 | -4/+4 |
| | | |||||
| * | Removed "options" from solver selection | Sebastiano Tronto | 2024-10-10 | 1 | -8/+9 |
| | | | | | | | | | 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. | ||||
| * | Clean up tool output | Sebastiano Tronto | 2024-10-04 | 1 | -5/+1 |
| | | |||||
| * | Added checkdata tool | Sebastiano Tronto | 2024-09-26 | 1 | -0/+52 |
