| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-05-23 | Made stdout default instead of `out` file | Marvin Borner | |
| 2023-04-17 | Added logging and verbosity flag | Marvin Borner | |
| 2023-04-14 | pqueue lib and fixes | Marvin Borner | |
| this makes everything dramatically faster | |||
| 2023-04-13 | Options and fixes | Marvin Borner | |
| 2023-04-11 | Bootstrapping | Marvin Borner | |