| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Split nissy in other repos, see README.md | Sebastiano Tronto | 2023-05-01 | 1 | -190/+0 |
| | | |||||
| * | Finished fst, added tests. STILL NOT WORKING. | Sebastiano Tronto | 2022-10-09 | 1 | -1/+1 |
| | | |||||
| * | Symcoord version of nissy. Interesting idea, but performance are | Sebastiano Tronto | 2022-09-06 | 1 | -282/+99 |
| | | | | | actually slower. AT THIS STAGE NISSY IS NOT USABLE. | ||||
| * | Removed some unused code (khuge). Improved optimal solver performance by ↵ | Sebastiano Tronto | 2022-02-27 | 1 | -8/+8 |
| | | | | | about 10% using raw transition tables (same for dr step). | ||||
| * | some progress | Sebastiano Tronto | 2021-12-17 | 1 | -2/+0 |
| | | |||||
| * | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 2021-11-11 | 1 | -0/+375 |
