| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2021-12-24 | Changed default behavior of -s | Sebastiano Tronto | 1 | -0/+10 | |
| 2021-12-24 | Added -c option for solve | Sebastiano Tronto | 1 | -1/+8 | |
| 2021-12-23 | Fixes for yesterday's commit | Sebastiano Tronto | 1 | -1/+1 | |
| 2021-12-16 | Added a new pruning table (equivalent to nxopt31). I have not tested it yet, ↵ | Sebastiano Tronto | 1 | -0/+2 | |
| it takes a while to generate. Plus I have done a whole lot of refactoring in random places because I cannot focus on one thing at the time. | |||||
| 2021-12-10 | Fixed segfault when passing malformed command arguments to solve | Sebastiano Tronto | 1 | -4/+4 | |
| 2021-12-10 | Added gen command and modified installation instructions for tables | Sebastiano Tronto | 1 | -0/+55 | |
| 2021-11-26 | Fixing the fix (the previous commit introduced a bug when the step was not ↵ | Sebastiano Tronto | 1 | -2/+2 | |
| specified) + minor fixes in shell | |||||
| 2021-11-25 | Fixed a bug in freeing memory after execution of certain commands (thanks to ↵ | Sebastiano Tronto | 1 | -16/+22 | |
| Tommaso for reporting) | |||||
| 2021-11-20 | Bugfix in reading scramble | Sebastiano Tronto | 1 | -2/+2 | |
| 2021-11-20 | Multithreading seems to be working now, it was easier than expected! | Sebastiano Tronto | 1 | -7/+27 | |
| 2021-11-11 | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 1 | -0/+346 | |
