aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'upstream/master'enricotenuti2024-09-2933-347/+538
|\ | | | | | | Merge upstream
| * Use address and UB sanitizers by default, alwaysSebastiano Tronto2024-09-281-12/+5
| |
| * Solved alignment UB issueSebastiano Tronto2024-09-284-32/+36
| |
| * oopsieSebastiano Tronto2024-09-271-1/+1
| |
| * Made table derivation tool more flexibleSebastiano Tronto2024-09-275-41/+73
| | | | | | | | | | | | | | | | | | | | 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).
| * 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-274-18/+14
| | |
| * | Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-2728-295/+279
| |\|
| | * small fixSebastiano Tronto2024-09-261-1/+1
| | |
| | * I'm stupidSebastiano Tronto2024-09-261-0/+1
| | |
| | * Added checkdata toolSebastiano Tronto2024-09-264-29/+84
| | |
| | * Added checkdata functionSebastiano Tronto2024-09-265-1/+104
| | |
| | * Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-2622-294/+122
| | |
| * | First try for derive tablesSebastiano Tronto2024-09-275-7/+186
| |/
* | minor changes for PRenricotenuti2024-09-295-18/+16
| |
* | No malloc, static tasks pollenricotenuti2024-09-282-12/+11
| |
* | go back to non atomic activeenricotenuti2024-09-281-2/+4
| |
* | format fix thread.henricotenuti2024-09-272-12/+4
| |
* | Fixed solutions vector, added constantsenricotenuti2024-09-263-10/+16
| |
* | Fixed nsols, added atomic vars where possibleenricotenuti2024-09-251-12/+8
| |
* | Fixed multithread search, todo multiple scramble memory releaseenricotenuti2024-09-241-92/+66
| |
* | Merge branch 'sebastianotronto:master' into masterEnrico Tenuti2024-09-242-137/+230
|\|
| * Added comment on performance issueSebastiano Tronto2024-09-201-0/+13
| |
| * Simplified code for h4k0Sebastiano Tronto2024-09-201-87/+42
| |
| * Merge branch 'master' of github.com:sebastianotronto/h48Sebastiano Tronto2024-09-191-106/+232
| |\
| | * Fix regressionSebastiano Tronto2024-09-191-4/+4
| | |
| | * cleanupSebastiano Tronto2024-09-191-65/+2
| | |
| | * Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-190-0/+0
| | |\
| | * | Parallelized gendata_h0k4; set up for new gendata_realcoordSebastiano Tronto2024-09-191-109/+298
| | | |
| * | | Removed double importSebastiano Tronto2024-09-191-1/+0
| | |/ | |/|
| * | Fix table generation type mismatchSebastiano Tronto2024-09-191-3/+3
| |/
* | Merge branch 'threaded_solver'enricotenuti2024-09-194-2/+343
|\ \ | |/ |/|
| * pthread solver to fixenricotenuti2024-09-194-2/+343
| |
* | Fixed data raceSebastiano Tronto2024-09-191-8/+10
| |
* | Update to configuration script; C99 -> C11Sebastiano Tronto2024-09-182-9/+54
| |
* | Added gendata for all table sizes (k=2)Sebastiano Tronto2024-09-1810-0/+210
| |
* | Split solve h48 from statsSebastiano Tronto2024-09-183-100/+101
| |
* | Small improvementsSebastiano Tronto2024-09-181-10/+16
| |
* | Added stuff to gitignoreSebastiano Tronto2024-09-181-0/+1
|/
* Renamed tools; fixed solve tool; added gendata_h48h1k2 toolSebastiano Tronto2024-09-186-1/+22
|
* Small cleanupSebastiano Tronto2024-09-181-6/+5
|
* Remove useless output from stats toolSebastiano Tronto2024-09-181-1/+1
|
* Renamed gen_48_short -> gendata_h48_shortSebastiano Tronto2024-09-186-5/+5
|
* Replace which(1) with posix command -v in configure.shSebastiano Tronto2024-09-181-1/+1
|
* Some shellcheckSebastiano Tronto2024-09-188-20/+20
|
* Small improvementSebastiano Tronto2024-09-181-1/+1
|
* Updated READMESebastiano Tronto2024-09-171-9/+2
|
* Parallelized h48k2 gendataSebastiano Tronto2024-09-175-28/+71
|
* Update build files to enable multithreadingSebastiano Tronto2024-09-123-36/+66
|

Generated with cgit - Back to sebastiano.tronto.net