Age | Commit message (Expand) | Author |
---|---|---|
2016-05-14 | refactoring | Péter Diviánszky |
2016-05-14 | refactoring | Péter Diviánszky |
2016-05-14 | refactoring | Péter Diviánszky |
2016-05-14 | speedup primes example | Péter Diviánszky |
2016-05-14 | fix | Péter Diviánszky |
2016-05-14 | refactoring | Péter Diviánszky |
2016-05-13 | refactoring: use less reverse call | Péter Diviánszky |
2016-05-13 | reorder defs | Péter Diviánszky |
2016-05-13 | refactoring | Péter Diviánszky |
2016-05-13 | refactoring & fix build | Péter Diviánszky |
2016-05-13 | add clamp to glsl codegen | Csaba Hruska |
2016-05-12 | don't show module path | Péter Diviánszky |
2016-05-12 | refactoring | Péter Diviánszky |
2016-05-12 | remove deepseq from compiler lib dependencies | Péter Diviánszky |
2016-05-12 | refactoring | Péter Diviánszky |
2016-05-12 | refactor hashed name handling | Péter Diviánszky |
2016-05-12 | refactoring | Péter Diviánszky |
2016-05-12 | refactoring | Péter Diviánszky |
2016-05-12 | refactoring | Péter Diviánszky |
2016-05-12 | tweak hnf handling | Péter Diviánszky |
2016-05-12 | fix coverage test | Péter Diviánszky |
2016-05-12 | refactoring | Péter Diviánszky |
2016-05-12 | mutual function definitions | Péter Diviánszky |
2016-05-10 | include info in more .out files; fix parsing of as-patterns | Péter Diviánszky |
2016-05-10 | explicit lhs marks, first step | Péter Diviánszky |
2016-05-10 | closedExp is not needed any more | Péter Diviánszky |
2016-05-10 | finish maxDB --> freeVars | Péter Diviánszky |
2016-05-09 | rename & reorder definitions | Péter Diviánszky |
2016-05-09 | 3rd step to improve maxDB | Péter Diviánszky |
2016-05-09 | next step to improve maxDB | Péter Diviánszky |
2016-05-09 | first step to improve maxDB | Péter Diviánszky |
2016-05-09 | simplification | Péter Diviánszky |
2016-05-09 | use bit vectors for tracking free vars (not used yet) | Péter Diviánszky |
2016-05-07 | introduce let in core (not used yet) | Péter Diviánszky |
2016-05-06 | refactoring | Péter Diviánszky |
2016-05-06 | refactoring | Péter Diviánszky |
2016-05-06 | tweak hnf handling | Péter Diviánszky |
2016-05-06 | refactoring | Péter Diviánszky |
2016-05-06 | show typechecked source code in .out files & fix local function handling (again) | Péter Diviánszky |
2016-05-05 | bugfix | Péter Diviánszky |
2016-05-05 | improve pretty printing & try to fix local function handling | Péter Diviánszky |
2016-05-05 | show error location in recheck | Péter Diviánszky |
2016-05-05 | refactoring | Péter Diviánszky |
2016-05-05 | simplify local function handling | Péter Diviánszky |
2016-05-05 | refactoring | Péter Diviánszky |
2016-05-05 | refactoring | Péter Diviánszky |
2016-05-04 | split Infer.hs | Péter Diviánszky |
2016-05-04 | implement constraint kinds | Péter Diviánszky |
2016-05-04 | refactoring | Péter Diviánszky |
2016-05-04 | improve pretty print | Péter Diviánszky |