summaryrefslogtreecommitdiff
path: root/testdata/primes.out
AgeCommit message (Collapse)Author
2016-05-14reach the 3000th primePéter Diviánszky
2016-05-13refactoringPéter Diviánszky
2016-05-13refactoring & fix buildPéter Diviánszky
2016-05-12update primes examplePéter Diviánszky
2016-05-12mutual function definitionsPéter Diviánszky
2016-05-04print reduced result in .out filePéter Diviánszky
2016-05-04bugfix: do not overnormalizePéter Diviánszky
2016-05-03remove more color formattins from out filesPéter Diviánszky
2016-04-28switch to ansi-wl-pprintPéter Diviánszky
2016-01-29hide CoreToIR's expression representationPéter Diviánszky
2016-01-19fix loop issuePéter Diviánszky
2016-01-19don't evaluate expressions at the end of inferencePéter Diviánszky
2016-01-19update test outputCsaba Hruska
2016-01-19normalise paths and fix self export handlingCsaba Hruska