summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-06-03support variable name preference in pretty printPéter Diviánszky
2016-06-03refactoringPéter Diviánszky
2016-06-03cleanup-refactoringPéter Diviánszky
2016-06-02refactoringPéter Diviánszky
2016-05-25refactoringPéter Diviánszky
2016-05-24next part of env implementationPéter Diviánszky
2016-05-24refactoring: next part of env implementationPéter Diviánszky
2016-05-24refactoring: first part of env implementationPéter Diviánszky
2016-05-24refactoring; add hnf marksPéter Diviánszky
2016-05-21refactoringPéter Diviánszky
2016-05-19recursive garbage removalPéter Diviánszky
2016-05-19inspector applicationPéter Diviánszky
2016-05-16refactoringPéter Diviánszky
2016-05-16refactoringPéter Diviánszky
2016-05-16refactoringPéter Diviánszky
2016-05-16compactify db indicesPéter Diviánszky
2016-05-16next stepsPéter Diviánszky
2016-05-16add UpsPéter Diviánszky
2016-05-16LamMachinePéter Diviánszky
2016-05-14revert changePéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-14reach the 3000th primePéter Diviánszky
2016-05-14speedup primes examplePéter Diviánszky
2016-05-14fixPéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-13refactoring: use less reverse callPéter Diviánszky
2016-05-13reorder defsPéter Diviánszky
2016-05-13refactoringPéter Diviánszky
2016-05-13refactoring & fix buildPéter Diviánszky
2016-05-13add clamp to glsl codegenCsaba Hruska
2016-05-12don't show module pathPéter Diviánszky
2016-05-12refactoringPéter Diviánszky
2016-05-12show diff in auto reject mode tooPéter Diviánszky
2016-05-12remove deepseq from compiler lib dependenciesPéter Diviánszky
2016-05-12refactoringPéter Diviánszky
2016-05-12refactor hashed name handlingPéter Diviánszky
2016-05-12refactoringPéter Diviánszky
2016-05-12refactoringPéter Diviánszky
2016-05-12update primes examplePéter Diviánszky
2016-05-12refactoringPéter Diviánszky
2016-05-12tweak hnf handlingPéter Diviánszky
2016-05-12add passed testPéter Diviánszky
2016-05-12tweak error messagePéter Diviánszky
2016-05-12adjust .out filePéter Diviánszky
2016-05-12fix coverage testPéter Diviánszky
2016-05-12refactoringPéter Diviánszky
2016-05-12mutual function definitionsPéter Diviánszky