Age | Commit message (Expand) | Author |
---|---|---|
2016-06-24 | refactoring (2x speedup) | Péter Diviánszky |
2016-06-24 | Lam-machine v2 | Péter Diviánszky |
2016-06-14 | allow newer base | Péter Diviánszky |
2016-06-10 | self adjusting DeBruijn variables | Péter Diviánszky |
2016-06-09 | use splay lists | Péter Diviánszky |
2016-06-03 | refactoring | Péter Diviánszky |
2016-06-03 | add dedicated Let constructor | Péter Diviánszky |
2016-06-03 | use varname preference | Péter Diviánszky |
2016-06-03 | support variable name preference in pretty print | Péter Diviánszky |
2016-06-03 | refactoring | Péter Diviánszky |
2016-06-03 | cleanup-refactoring | Péter Diviánszky |
2016-06-02 | refactoring | Péter Diviánszky |
2016-05-25 | refactoring | Péter Diviánszky |
2016-05-24 | next part of env implementation | Péter Diviánszky |
2016-05-24 | refactoring: next part of env implementation | Péter Diviánszky |
2016-05-24 | refactoring: first part of env implementation | Péter Diviánszky |
2016-05-24 | refactoring; add hnf marks | Péter Diviánszky |
2016-05-21 | refactoring | Péter Diviánszky |
2016-05-19 | recursive garbage removal | Péter Diviánszky |
2016-05-19 | inspector application | Péter Diviánszky |
2016-05-16 | refactoring | Péter Diviánszky |
2016-05-16 | refactoring | Péter Diviánszky |
2016-05-16 | refactoring | Péter Diviánszky |
2016-05-16 | compactify db indices | Péter Diviánszky |
2016-05-16 | next steps | Péter Diviánszky |
2016-05-16 | add Ups | Péter Diviánszky |
2016-05-16 | LamMachine | Péter Diviánszky |
2016-05-14 | revert change | Péter Diviánszky |
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 | refactoring | Péter Diviánszky |
2016-05-14 | reach the 3000th prime | 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 | show diff in auto reject mode too | 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 | update primes example | Péter Diviánszky |