Age | Commit message (Expand) | Author |
---|---|---|
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 |
2016-05-12 | refactoring | Péter Diviánszky |
2016-05-12 | tweak hnf handling | Péter Diviánszky |
2016-05-12 | add passed test | Péter Diviánszky |
2016-05-12 | tweak error message | Péter Diviánszky |
2016-05-12 | adjust .out file | 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 |