aboutsummaryrefslogtreecommitdiff
path: root/src/print.c
AgeCommit message (Expand)Author
2023-05-23Made stdout default instead of `out` fileMarvin Borner
2023-04-17Added logging and verbosity flagMarvin Borner
2023-04-14pqueue lib and fixesMarvin Borner
2023-04-13Options and fixesMarvin Borner
2023-04-11BootstrappingMarvin Borner