index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lc
Age
Commit message (
Expand
)
Author
2016-04-19
refactoring & fix switching to type namespace after @
Péter Diviánszky
2016-02-29
renames
Péter Diviánszky
2016-02-26
bugfixes
Péter Diviánszky
2016-02-26
fix build
Péter Diviánszky
2016-02-26
more accurate pi value
Csaba Hruska
2016-02-26
add perspective to prelude
Csaba Hruska
2016-02-25
do not wire-in ignoring .ignore tests
Péter Diviánszky
2016-02-22
tweak name ticking
Péter Diviánszky
2016-02-22
refactoring
Péter Diviánszky
2016-02-22
rename: fetch_ --> fetch; fetchArrays_ --> fetchArrays
Péter Diviánszky
2016-02-22
name primitive functions
Péter Diviánszky
2016-02-22
rename zeroComp --> zero; oneComp --> one
Péter Diviánszky
2016-02-19
speedup: tweak max de bruijn handling
Péter Diviánszky
2016-02-19
tuples are heterogeneous lists
Péter Diviánszky
2016-02-17
add new test, extend InterpolatedType in Builtins
Csaba Hruska
2016-02-16
generate functions in shaders
Péter Diviánszky
2016-02-16
eliminate FixLabel, performance is back at previous level
Péter Diviánszky
2016-02-15
put trace info in .out files
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-05
refactor Builtins.lc
Péter Diviánszky
2016-02-05
bugfix
Péter Diviánszky
2016-02-05
refactor Builtins.lc
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
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
add names to primitive functions
Péter Diviánszky
2016-02-03
add more aliases to primitives
Péter Diviánszky
2016-02-03
more uniform handling of literals
Péter Diviánszky
2016-02-02
try to speed up parseTerm
Péter Diviánszky
2016-01-27
first try to move wired-in constraint reductions into the library
Péter Diviánszky
2016-01-27
less wired-in reductions in the compiler
Péter Diviánszky
2016-01-27
refactoring: use less STyped
Péter Diviánszky
2016-01-23
major refactoring
Péter Diviánszky
2016-01-22
support more pattern literals
Péter Diviánszky
2016-01-20
simpler Fragment type
Péter Diviánszky
2016-01-20
better type for rasterize primitive
Péter Diviánszky
2016-01-20
tweak type synonym desugaring
Péter Diviánszky
2016-01-20
refactoring; more prim reductions; begin to strengthten type annotations
Péter Diviánszky
2016-01-20
move iterate to Prelude
Péter Diviánszky
2016-01-19
fix loop issue
Péter Diviánszky
2016-01-19
eliminate TFMat
Péter Diviánszky
2016-01-19
move fromInt to Internals
Péter Diviánszky
[next]