aboutsummaryrefslogtreecommitdiff
path: root/src/nissy.c (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Error codes, documentation, change nisstype from string to flagsSebastiano Tronto2024-10-111-43/+257
|
* Improved error messages and add some comments in nissy.hSebastiano Tronto2024-10-101-6/+57
|
* Removed "options" from solver selectionSebastiano Tronto2024-10-101-66/+46
| | | | | | | | 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.
* Fix concurrency issuesSebastiano Tronto2024-10-061-1/+1
| | | | | So I did not have any misconception about Atomics, I just could not apply it where I did because the logic doesn't allow for it.
* Fix rare data raceSebastiano Tronto2024-10-051-1/+1
| | | | | | I had some misconception about how _Atomic and const worked. This means the previous commit (expected distribution) could be incorrect.
* Merge remote-tracking branch 'upstream/master'enricotenuti2024-09-291-2/+71
|\ | | | | | | Merge upstream
| * Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-271-1/+4
| |\
| | * Fixed checkdataSebastiano Tronto2024-09-271-1/+4
| | |
| * | Use constant instead of magic numberSebastiano Tronto2024-09-271-5/+5
| |/
| * Added checkdata toolSebastiano Tronto2024-09-261-2/+5
| |
| * Added checkdata functionSebastiano Tronto2024-09-261-0/+63
| |
| * Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-261-2/+2
| |
* | minor changes for PRenricotenuti2024-09-291-1/+2
| |
* | format fix thread.henricotenuti2024-09-271-2/+2
| |
* | pthread solver to fixenricotenuti2024-09-191-2/+3
|/
* Parallelized h48k2 gendataSebastiano Tronto2024-09-171-0/+1
|
* Fix and cleanup printing table infoSebastiano Tronto2024-09-121-5/+2
|
* Cleanup gendata toolsSebastiano Tronto2024-09-121-0/+1
|
* Simplified solverSebastiano Tronto2024-09-111-1/+1
|
* Finished table refactorSebastiano Tronto2024-09-111-0/+47
|
* More renamingSebastiano Tronto2024-09-051-2/+2
|
* Rename constants from _underscore to CAPSSebastiano Tronto2024-09-051-4/+4
|
* Fixed bug in run solveSebastiano Tronto2024-08-261-2/+10
|
* Refactor table generationSebastiano Tronto2024-08-251-14/+49
|
* Started work on k=2 tables; further split h48 gendataSebastiano Tronto2024-08-251-12/+13
|
* Reorganized folder structureSebastiano Tronto2024-08-181-0/+265

Generated with cgit - Back to sebastiano.tronto.net