2018-05-18 | Mart Lubbers | Supposedly streameing | commit | commitdiff |
2018-05-17 | Mart Lubbers | add fancy printing | commit | commitdiff |
2018-05-17 | Mart Lubbers | Fix memory leaks and verbosify reduction | commit | commitdiff |
2018-05-17 | Mart Lubbers | Started with actually freeing terms that are not used... | commit | commitdiff |
2018-05-17 | Mart Lubbers | alpha | commit | commitdiff |
2018-05-16 | Mart Lubbers | complete preable | commit | commitdiff |
2018-05-16 | Mart Lubbers | Fix reduction, add declarations | commit | commitdiff |
2018-05-15 | Mart Lubbers | Initial commit | commit | commitdiff |