Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-05-14 | reach the 3000th prime | Péter Diviánszky | |
2016-05-13 | refactoring | Péter Diviánszky | |
2016-05-13 | refactoring & fix build | Péter Diviánszky | |
2016-05-12 | update primes example | Péter Diviánszky | |
2016-05-12 | mutual function definitions | Péter Diviánszky | |
2016-05-04 | print reduced result in .out file | Péter Diviánszky | |
2016-05-04 | bugfix: do not overnormalize | Péter Diviánszky | |
2016-05-03 | remove more color formattins from out files | Péter Diviánszky | |
2016-04-28 | switch to ansi-wl-pprint | Péter Diviánszky | |
2016-01-29 | hide CoreToIR's expression representation | Péter Diviánszky | |
2016-01-19 | fix loop issue | Péter Diviánszky | |
2016-01-19 | don't evaluate expressions at the end of inference | Péter Diviánszky | |
2016-01-19 | update test output | Csaba Hruska | |
2016-01-19 | normalise paths and fix self export handling | Csaba Hruska | |