aboutsummaryrefslogtreecommitdiff
path: root/tools/nissy_extra.h (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Interface changes, progress with pythonSebastiano Tronto2024-10-141-2/+3
|
* Removed nissy_explainerror and moved datainfo to toolsSebastiano Tronto2024-10-131-0/+1
|
* Improved error messages and add some comments in nissy.hSebastiano Tronto2024-10-101-0/+1
|
* Removed "options" from solver selectionSebastiano Tronto2024-10-101-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 distribution check to toolSebastiano Tronto2024-10-051-0/+5
|
* Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-271-0/+1
|\
| * Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-261-0/+3
|
* First try for derive tablesSebastiano Tronto2024-09-271-0/+6

Generated with cgit - Back to sebastiano.tronto.net