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