index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
Age
Commit message (
Expand
)
Author
2016-02-10
update .out file
Péter Diviánszky
2016-02-10
don't generate dead code
Péter Diviánszky
2016-02-10
refactored uniform collecting
Péter Diviánszky
2016-02-10
eliminate all Var and Pat names
Péter Diviánszky
2016-02-10
uniform name generation
Péter Diviánszky
2016-02-10
simplification
Péter Diviánszky
2016-02-10
refactoring: genGLSLSubst --> genGLSL
Péter Diviánszky
2016-02-10
refactor CoreToIR GLSL code generator
Péter Diviánszky
2016-02-10
add new editor sample
Csaba Hruska
2016-02-09
begin to refactor CoreToIR.hs: use de bruijn indices & reordering
Péter Diviánszky
2016-02-09
try heterogeneous lists instead of tuples (continued later)
Péter Diviánszky
2016-02-08
update .out file
Péter Diviánszky
2016-02-08
update .out file
Péter Diviánszky
2016-02-08
refactor label handling
Péter Diviánszky
2016-02-08
update out files
Csaba Hruska
2016-02-08
simplify label handling (some test may be slower because of a TODO)
Péter Diviánszky
2016-02-07
refactoring
Péter Diviánszky
2016-02-07
try again to move injectivity checking into the libraries
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-05
refactor Builtins.lc
Péter Diviánszky
2016-02-05
adjust vector version
Csaba Hruska
2016-02-05
add tetrahedron example
Csaba Hruska
2016-02-05
test for new bug
Csaba Hruska
2016-02-05
bugfix
Péter Diviánszky
2016-02-05
refactor Builtins.lc
Péter Diviánszky
2016-02-05
add missing out files
Csaba Hruska
2016-02-05
add editor examples as tests
Csaba Hruska
2016-02-05
update .out file
Péter Diviánszky
2016-02-05
try to switch to megaparsec
Péter Diviánszky
2016-02-05
eliminate PreFrameBuffer
Péter Diviánszky
2016-02-05
support ADT records with repeated field name
Péter Diviánszky
2016-02-05
experimental change: Stream -> List
Péter Diviánszky
2016-02-05
cleanup
Péter Diviánszky
2016-02-05
better Fragment data type
Péter Diviánszky
2016-02-05
set programmable point size with ProgramPointSize
Péter Diviánszky
2016-02-04
bugfix & improvements
Péter Diviánszky
2016-02-04
more complete Component instances
Péter Diviánszky
2016-02-04
simplify Component type class
Péter Diviánszky
2016-02-04
fix section desugaring
Péter Diviánszky
2016-02-04
add names to primitive functions
Péter Diviánszky
2016-02-04
add test
Csaba Hruska
2016-02-04
bugfix
Péter Diviánszky
2016-02-04
begin to support qualified module names
Péter Diviánszky
2016-02-04
definitions are allowed in any order (not just bottom-up)
Péter Diviánszky
2016-02-04
desugar value definitions (first version)
Péter Diviánszky
2016-02-03
eliminate downS
Péter Diviánszky
2016-02-03
add more aliases to primitives
Péter Diviánszky
2016-02-03
polymorphic Int literals
Péter Diviánszky
2016-02-03
more uniform handling of literals
Péter Diviánszky
[next]