| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Clean up tool output | Sebastiano Tronto | 2024-10-04 | 7 | -29/+34 |
| | | |||||
| * | Remove more locks | Sebastiano Tronto | 2024-10-03 | 1 | -23/+19 |
| | | |||||
| * | Removed useless lock | Sebastiano Tronto | 2024-10-03 | 1 | -9/+1 |
| | | |||||
| * | Improve gendata performance by replacing locks with atomic operations | Sebastiano Tronto | 2024-10-03 | 6 | -63/+54 |
| | | |||||
| * | Made test 120 (gendata h0k4) faster | Sebastiano Tronto | 2024-10-03 | 3 | -3/+2 |
| | | | | | | | The test is still slow (around 25 seconds on gazelle). This is probably because of how sanitizers interact with multi-threading, and the fact that there is a lot of locking going on. | ||||
| * | Do not run make clean automatically on every build and other Makefile changes | Sebastiano Tronto | 2024-10-03 | 4 | -24/+23 |
| | | |||||
| * | Updated h48 doc | Sebastiano Tronto | 2024-10-01 | 1 | -22/+81 |
| | | |||||
| * | Renamed macros in shell.c | Sebastiano Tronto | 2024-10-01 | 1 | -56/+56 |
| | | |||||
| * | Merge pull request #3 from enricotenuti/master | Sebastiano Tronto | 2024-09-29 | 6 | -7/+315 |
| |\ | | | | | Threaded solver | ||||
| | * | Merge remote-tracking branch 'upstream/master' | enricotenuti | 2024-09-29 | 33 | -347/+538 |
| | |\ | |/ |/| | | | Merge upstream | ||||
| * | | Use address and UB sanitizers by default, always | Sebastiano Tronto | 2024-09-28 | 1 | -12/+5 |
| | | | |||||
| * | | Solved alignment UB issue | Sebastiano Tronto | 2024-09-28 | 4 | -32/+36 |
| | | | |||||
| * | | oopsie | Sebastiano Tronto | 2024-09-27 | 1 | -1/+1 |
| | | | |||||
| * | | Made table derivation tool more flexible | Sebastiano Tronto | 2024-09-27 | 5 | -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:h48 | Sebastiano Tronto | 2024-09-27 | 1 | -1/+4 |
| |\ \ | |||||
| | * | | Fixed checkdata | Sebastiano Tronto | 2024-09-27 | 1 | -1/+4 |
| | | | | |||||
| * | | | Use constant instead of magic number | Sebastiano Tronto | 2024-09-27 | 4 | -18/+14 |
| | | | | |||||
| * | | | Merge branch 'master' of tronto.net:h48 | Sebastiano Tronto | 2024-09-27 | 28 | -295/+279 |
| |\| | | |||||
| | * | | small fix | Sebastiano Tronto | 2024-09-26 | 1 | -1/+1 |
| | | | | |||||
| | * | | I'm stupid | Sebastiano Tronto | 2024-09-26 | 1 | -0/+1 |
| | | | | |||||
| | * | | Added checkdata tool | Sebastiano Tronto | 2024-09-26 | 4 | -29/+84 |
| | | | | |||||
| | * | | Added checkdata function | Sebastiano Tronto | 2024-09-26 | 5 | -1/+104 |
| | | | | |||||
| | * | | Added TOOLARGS and simplified gendata tool(s) | Sebastiano Tronto | 2024-09-26 | 22 | -294/+122 |
| | | | | |||||
| * | | | First try for derive tables | Sebastiano Tronto | 2024-09-27 | 5 | -7/+186 |
| |/ / | |||||
| | * | minor changes for PR | enricotenuti | 2024-09-29 | 5 | -18/+16 |
| | | | |||||
| | * | No malloc, static tasks poll | enricotenuti | 2024-09-28 | 2 | -12/+11 |
| | | | |||||
| | * | go back to non atomic active | enricotenuti | 2024-09-28 | 1 | -2/+4 |
| | | | |||||
| | * | format fix thread.h | enricotenuti | 2024-09-27 | 2 | -12/+4 |
| | | | |||||
| | * | Fixed solutions vector, added constants | enricotenuti | 2024-09-26 | 3 | -10/+16 |
| | | | |||||
| | * | Fixed nsols, added atomic vars where possible | enricotenuti | 2024-09-25 | 1 | -12/+8 |
| | | | |||||
| | * | Fixed multithread search, todo multiple scramble memory release | enricotenuti | 2024-09-24 | 1 | -92/+66 |
| | | | |||||
| | * | Merge branch 'sebastianotronto:master' into master | Enrico Tenuti | 2024-09-24 | 2 | -137/+230 |
| | |\ | |/ |/| | |||||
| * | | Added comment on performance issue | Sebastiano Tronto | 2024-09-20 | 1 | -0/+13 |
| | | | |||||
| * | | Simplified code for h4k0 | Sebastiano Tronto | 2024-09-20 | 1 | -87/+42 |
| | | | |||||
| * | | Merge branch 'master' of github.com:sebastianotronto/h48 | Sebastiano Tronto | 2024-09-19 | 1 | -106/+232 |
| |\ \ | |||||
| | * | | Fix regression | Sebastiano Tronto | 2024-09-19 | 1 | -4/+4 |
| | | | | |||||
| | * | | cleanup | Sebastiano Tronto | 2024-09-19 | 1 | -65/+2 |
| | | | | |||||
| | * | | Merge branch 'master' of tronto.net:h48 | Sebastiano Tronto | 2024-09-19 | 0 | -0/+0 |
| | |\ \ | |||||
| | * | | | Parallelized gendata_h0k4; set up for new gendata_realcoord | Sebastiano Tronto | 2024-09-19 | 1 | -109/+298 |
| | | | | | |||||
| * | | | | Removed double import | Sebastiano Tronto | 2024-09-19 | 1 | -1/+0 |
| | |/ / |/| | | |||||
| * | | | Fix table generation type mismatch | Sebastiano Tronto | 2024-09-19 | 1 | -3/+3 |
| |/ / | |||||
| | * | Merge branch 'threaded_solver' | enricotenuti | 2024-09-19 | 4 | -2/+343 |
| |/| | |||||
| | * | pthread solver to fix | enricotenuti | 2024-09-19 | 4 | -2/+343 |
| | | | |||||
| * | | Fixed data race | Sebastiano Tronto | 2024-09-19 | 1 | -8/+10 |
| | | | |||||
| * | | Update to configuration script; C99 -> C11 | Sebastiano Tronto | 2024-09-18 | 2 | -9/+54 |
| | | | |||||
| * | | Added gendata for all table sizes (k=2) | Sebastiano Tronto | 2024-09-18 | 10 | -0/+210 |
| | | | |||||
| * | | Split solve h48 from stats | Sebastiano Tronto | 2024-09-18 | 3 | -100/+101 |
| | | | |||||
| * | | Small improvements | Sebastiano Tronto | 2024-09-18 | 1 | -10/+16 |
| | | | |||||
| * | | Added stuff to gitignore | Sebastiano Tronto | 2024-09-18 | 1 | -0/+1 |
| |/ | |||||
| * | Renamed tools; fixed solve tool; added gendata_h48h1k2 tool | Sebastiano Tronto | 2024-09-18 | 6 | -1/+22 |
| | | |||||
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net