Age | Commit message (Expand) | Author |
---|---|---|
2016-02-18 | refactoring | Péter Diviánszky |
2016-02-18 | update todo | Csaba Hruska |
2016-02-18 | support local pattern matching functions and local recursive functions | Péter Diviánszky |
2016-02-17 | work on performance comparison tool | Csaba Hruska |
2016-02-17 | add todo | Csaba Hruska |
2016-02-17 | reuse identical shader programs | Péter Diviánszky |
2016-02-16 | update TODOs | Péter Diviánszky |
2016-02-16 | generate functions in shaders | Péter Diviánszky |
2016-02-15 | update TODO | Csaba Hruska |
2016-02-15 | adjust TODO | Csaba Hruska |
2016-02-15 | update todo | Csaba Hruska |
2016-02-15 | improve backend test and add results | Csaba Hruska |
2016-02-14 | update TODOs | Péter Diviánszky |
2016-02-13 | refactoring (use infer monad) | Péter Diviánszky |
2016-02-10 | use type checker's Exp representation in CoreToGLSL.hs. Still 3 test cases ti... | Péter Diviánszky |
2016-02-10 | update todo | Csaba Hruska |
2016-02-09 | add todo | Csaba Hruska |
2016-02-09 | update todo | Csaba Hruska |
2016-02-09 | begin to refactor CoreToIR.hs: use de bruijn indices & reordering | Péter Diviánszky |
2016-02-08 | store fixity info next to definitions | Péter Diviánszky |
2016-02-08 | update todo | Csaba Hruska |
2016-02-08 | add compiler version to pipeline info | Csaba Hruska |
2016-02-08 | reorder TODOs | Péter Diviánszky |
2016-02-07 | work on the elimination of ConName | Péter Diviánszky |
2016-02-07 | cleanup constraint reduction | Péter Diviánszky |
2016-02-07 | add todo | Csaba Hruska |
2016-02-07 | Updated first blog post outline. | Patai Gergely |
2016-02-05 | update TODOs | Péter Diviánszky |
2016-02-05 | add todo | Csaba Hruska |
2016-02-05 | add todo | Csaba Hruska |
2016-02-05 | add todo | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | add todo | Csaba Hruska |
2016-02-04 | always include builtins path | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | update TODOs | Péter Diviánszky |
2016-02-04 | definitions are allowed in any order (not just bottom-up) | Péter Diviánszky |
2016-02-03 | more uniform handling of literals | Péter Diviánszky |
2016-02-03 | new idea in todo | Csaba Hruska |
2016-02-03 | more precise one line comment | Péter Diviánszky |
2016-02-02 | reorder TODO items | Péter Diviánszky |
2016-02-02 | adjust todo | Csaba Hruska |
2016-02-02 | adjust todo | Csaba Hruska |
2016-02-01 | update TODOs | Péter Diviánszky |
2016-01-29 | schedule some tasks | Csaba Hruska |
2016-01-28 | add todo | Csaba Hruska |
2016-01-27 | add TODO item | Péter Diviánszky |
2016-01-26 | add TODO items | Péter Diviánszky |
2016-01-25 | update TODOs | Péter Diviánszky |