| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-03-07 | Fixed unsafe randomness and optimization | Marvin Borner | |
| Enabling optimization greatly improved reduction times (obviously). Will investigate further optimizations in the future. | |||
| 2023-02-26 | Docs improvements | Marvin Borner | |
| 2023-02-25 | Added documentation/website | Marvin Borner | |