summaryrefslogtreecommitdiff
path: root/testdata
AgeCommit message (Expand)Author
2016-02-10update .out filePéter Diviánszky
2016-02-10don't generate dead codePéter Diviánszky
2016-02-10refactored uniform collectingPéter Diviánszky
2016-02-10eliminate all Var and Pat namesPéter Diviánszky
2016-02-10uniform name generationPéter Diviánszky
2016-02-10simplificationPéter Diviánszky
2016-02-10refactoring: genGLSLSubst --> genGLSLPéter Diviánszky
2016-02-10refactor CoreToIR GLSL code generatorPéter Diviánszky
2016-02-10add new editor sampleCsaba Hruska
2016-02-09begin to refactor CoreToIR.hs: use de bruijn indices & reorderingPéter Diviánszky
2016-02-09try heterogeneous lists instead of tuples (continued later)Péter Diviánszky
2016-02-08update .out filePéter Diviánszky
2016-02-08update .out filePéter Diviánszky
2016-02-08refactor label handlingPéter Diviánszky
2016-02-08update out filesCsaba Hruska
2016-02-08simplify label handling (some test may be slower because of a TODO)Péter Diviánszky
2016-02-07refactoringPéter Diviánszky
2016-02-07try again to move injectivity checking into the librariesPéter Diviánszky
2016-02-07work on the elimination of ConNamePéter Diviánszky
2016-02-07cleanup constraint reductionPéter Diviánszky
2016-02-05refactor Builtins.lcPéter Diviánszky
2016-02-05adjust vector versionCsaba Hruska
2016-02-05add tetrahedron exampleCsaba Hruska
2016-02-05test for new bugCsaba Hruska
2016-02-05bugfixPéter Diviánszky
2016-02-05refactor Builtins.lcPéter Diviánszky
2016-02-05add missing out filesCsaba Hruska
2016-02-05add editor examples as testsCsaba Hruska
2016-02-05update .out filePéter Diviánszky
2016-02-05try to switch to megaparsecPéter Diviánszky
2016-02-05eliminate PreFrameBufferPéter Diviánszky
2016-02-05support ADT records with repeated field namePéter Diviánszky
2016-02-05experimental change: Stream -> ListPéter Diviánszky
2016-02-05cleanupPéter Diviánszky
2016-02-05better Fragment data typePéter Diviánszky
2016-02-05set programmable point size with ProgramPointSizePéter Diviánszky
2016-02-04bugfix & improvementsPéter Diviánszky
2016-02-04more complete Component instancesPéter Diviánszky
2016-02-04simplify Component type classPéter Diviánszky
2016-02-04fix section desugaringPéter Diviánszky
2016-02-04add names to primitive functionsPéter Diviánszky
2016-02-04add testCsaba Hruska
2016-02-04bugfixPéter Diviánszky
2016-02-04begin to support qualified module namesPéter Diviánszky
2016-02-04definitions are allowed in any order (not just bottom-up)Péter Diviánszky
2016-02-04desugar value definitions (first version)Péter Diviánszky
2016-02-03eliminate downSPéter Diviánszky
2016-02-03add more aliases to primitivesPéter Diviánszky
2016-02-03polymorphic Int literalsPéter Diviánszky
2016-02-03more uniform handling of literalsPéter Diviánszky