| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added WASM target | Sebastiano Tronto | 2025-04-18 | 1 | -3/+7 |
| | | |||||
| * | Make no sanitizer the default for debug build | Sebastiano Tronto | 2025-03-01 | 1 | -6/+1 |
| | | |||||
| * | Remove -Werror option | Sebastiano Tronto | 2024-12-18 | 1 | -1/+1 |
| | | |||||
| * | Allow choosing number of threads when calling solve() | Sebastiano Tronto | 2024-12-14 | 1 | -1/+3 |
| | | |||||
| * | Change default number of threads from 16 to 8 | Sebastiano Tronto | 2024-10-18 | 1 | -5/+5 |
| | | |||||
| * | Initial support for Python | Sebastiano Tronto | 2024-10-12 | 1 | -2/+14 |
| | | |||||
| * | Removed "options" from solver selection | Sebastiano Tronto | 2024-10-10 | 1 | -0/+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. | ||||
| * | Reintroduce -Werror, but exclude unused options | Sebastiano Tronto | 2024-10-10 | 1 | -1/+2 |
| | | |||||
| * | Remove -Werror compiler option | Sebastiano Tronto | 2024-10-07 | 1 | -1/+1 |
| | | |||||
| * | Made test 120 (gendata h0k4) faster | Sebastiano Tronto | 2024-10-03 | 1 | -1/+1 |
| | | | | | | | 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. | ||||
| * | Use address and UB sanitizers by default, always | Sebastiano Tronto | 2024-09-28 | 1 | -12/+5 |
| | | |||||
| * | Update to configuration script; C99 -> C11 | Sebastiano Tronto | 2024-09-18 | 1 | -5/+50 |
| | | |||||
| * | Replace which(1) with posix command -v in configure.sh | Sebastiano Tronto | 2024-09-18 | 1 | -1/+1 |
| | | |||||
| * | Some shellcheck | Sebastiano Tronto | 2024-09-18 | 1 | -1/+1 |
| | | |||||
| * | Update build files to enable multithreading | Sebastiano Tronto | 2024-09-12 | 1 | -21/+52 |
| | | |||||
| * | Patch up spurious warning | Sebastiano Tronto | 2024-09-06 | 1 | -3/+2 |
| | | |||||
| * | Changed build options TYPE -> ARCH | Sebastiano Tronto | 2024-09-05 | 1 | -4/+14 |
| | | |||||
| * | Moved stuff around | Sebastiano Tronto | 2024-09-03 | 1 | -3/+6 |
| | | |||||
| * | Cleanup makefile and tools | Sebastiano Tronto | 2024-07-11 | 1 | -2/+3 |
| | | |||||
| * | Fix build errors on OpenBSD | Sebastiano Tronto | 2024-06-10 | 1 | -2/+7 |
| | | |||||
| * | Tests for gendata h48 | Sebastiano Tronto | 2024-05-20 | 1 | -1/+1 |
| | | |||||
| * | Configuration / build support for ARM NEON (implementation: TODO!); testing ↵ | Sebastiano Tronto | 2023-11-20 | 1 | -3/+6 |
| | | | | | new vm | ||||
| * | Fixed bug in tests with different architectures | Sebastiano Tronto | 2023-11-19 | 1 | -4/+4 |
| | | |||||
| * | Improved sanitizer detection | Sebastiano Tronto | 2023-11-19 | 1 | -3/+7 |
| | | |||||
| * | Improved architecture detection | Sebastiano Tronto | 2023-11-19 | 1 | -1/+6 |
| | | |||||
| * | Moved documentation around, improved configure.sh | Sebastiano Tronto | 2023-11-08 | 1 | -0/+3 |
| | | |||||
| * | Refactoring | Sebastiano Tronto | 2023-11-05 | 1 | -1/+1 |
| | | |||||
| * | Reverted some Makefile changes, cleanup | Sebastiano Tronto | 2023-11-04 | 1 | -6/+6 |
| | | |||||
| * | Revert "Makefile changes" | Sebastiano Tronto | 2023-11-04 | 1 | -0/+18 |
| | | | | | This reverts commit 93260168ed02de2eebd456e345c25f9066bb3a2c. | ||||
| * | Makefile changes | Sebastiano Tronto | 2023-11-04 | 1 | -18/+0 |
| | | |||||
| * | Started working on AVX2 (not working yet) | Sebastiano Tronto | 2023-10-28 | 1 | -0/+18 |
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net