summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-09-09add documentation linkPéter Diviánszky
2016-06-25Add '--version' argument.Andor Penzes
2016-06-24refactoring (2x speedup)Péter Diviánszky
2016-06-24Lam-machine v2Péter Diviánszky
2016-06-14allow newer basePéter Diviánszky
2016-06-10self adjusting DeBruijn variablesPéter Diviánszky
2016-06-09use splay listsPéter Diviánszky
2016-06-03refactoringPéter Diviánszky
2016-06-03add dedicated Let constructorPéter Diviánszky
2016-06-03use varname preferencePéter Diviánszky
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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 19:37:26 +0000