summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2016-06-03support variable name preference in pretty printPéter Diviánszky
2016-05-24refactoring; add hnf marksPé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-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-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-12refactoringPéter Diviánszky
2016-05-12tweak hnf handlingPé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
2016-05-10include info in more .out files; fix parsing of as-patternsPéter Diviánszky
2016-05-10explicit lhs marks, first stepPéter Diviánszky
2016-05-10closedExp is not needed any morePéter Diviánszky
2016-05-10finish maxDB --> freeVarsPéter Diviánszky
2016-05-09rename & reorder definitionsPéter Diviánszky
2016-05-093rd step to improve maxDBPéter Diviánszky
2016-05-09next step to improve maxDBPéter Diviánszky
2016-05-09first step to improve maxDBPéter Diviánszky
2016-05-09simplificationPéter Diviánszky
2016-05-09use bit vectors for tracking free vars (not used yet)Péter Diviánszky
2016-05-07introduce let in core (not used yet)Péter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06tweak hnf handlingPéter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06show typechecked source code in .out files & fix local function handling (again)Péter Diviánszky
2016-05-05bugfixPéter Diviánszky
2016-05-05improve pretty printing & try to fix local function handlingPéter Diviánszky
2016-05-05show error location in recheckPéter Diviánszky
2016-05-05refactoringPéter Diviánszky
2016-05-05simplify local function handlingPéter Diviánszky
2016-05-05refactoringPéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:31:04 +0000