index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
prototypes
Age
Commit message (
Collapse
)
Author
2015-12-19
switch to new compiler
Péter Diviánszky
2015-12-19
remove 'wrong'
Péter Diviánszky
2015-12-19
Refactor: use fromNatE in patterns, introduce toNatE
Andor Penzes
2015-12-18
refactoring
Péter Diviánszky
2015-12-18
primIfThenElse is not builtin
Péter Diviánszky
2015-12-18
cleanup
Péter Diviánszky
2015-12-18
cleanup
Péter Diviánszky
2015-12-18
cleanup
Péter Diviánszky
2015-12-18
update TODOs
Péter Diviánszky
2015-12-18
update cabal file
Csaba Hruska
2015-12-18
Graphics.lc compiles now
Péter Diviánszky
2015-12-18
update TODO & old test out file
Péter Diviánszky
2015-12-18
Add Graphics.lc test. It fails becuase of frequency handling
Andor Penzes
2015-12-18
use arity info at label addition; note that this cause a typechecking bug ↵
Péter Diviánszky
with heartbeat01 test
2015-12-18
update TODO
Csaba Hruska
2015-12-18
enable more tests
Csaba Hruska
2015-12-17
Clean cabal dist after profiled test run
Andor Penzes
2015-12-17
fix Label handling
Péter Diviánszky
2015-12-17
Add profiling option to the run-test-suite.sh
Andor Penzes
2015-12-17
support record projections
Péter Diviánszky
2015-12-17
support where blocks in case alternatives
Péter Diviánszky
2015-12-17
skip type annotations in where blocks for now
Péter Diviánszky
2015-12-17
parse hiding
Péter Diviánszky
2015-12-17
better motive generation; swizzling test passes now
Péter Diviánszky
2015-12-17
swap Vec's arguments
Péter Diviánszky
2015-12-17
implement some primitive reduction and update TODO
Csaba Hruska
2015-12-17
fix proto cabal
Csaba Hruska
2015-12-17
update TODOs
Péter Diviánszky
2015-12-17
bugfix; example07 passes
Péter Diviánszky
2015-12-17
implement swizzscalar reduction and related functions
Péter Diviánszky
2015-12-17
implement swizzvector reduction and related functions
Péter Diviánszky
2015-12-17
implement Split & project reductions; two more tests pass
Péter Diviánszky
2015-12-17
fix swizzling desugaring
Csaba Hruska
2015-12-17
update TODO list
Péter Diviánszky
2015-12-17
complete let polymorphism; fail on ambiguous types; bugfixes
Péter Diviánszky
2015-12-17
line01 test passes
Péter Diviánszky
2015-12-17
fix SLabelEnd insertions
Péter Diviánszky
2015-12-16
one more test
Csaba Hruska
2015-12-16
enable more tests
Csaba Hruska
2015-12-16
fix a bug; another test passes
Péter Diviánszky
2015-12-16
three more tests pass
Péter Diviánszky
2015-12-16
listcompr04 test passes
Péter Diviánszky
2015-12-16
fix reduction of PrimIfThenElse
Péter Diviánszky
2015-12-16
implement prim reductions
Péter Diviánszky
2015-12-16
better panic msg
Péter Diviánszky
2015-12-16
Initial work on swizzling desugaring
Andor Penzes
2015-12-16
add LabelEnd constructor
Péter Diviánszky
2015-12-16
fix list Cons pattern parser
Csaba Hruska
2015-12-16
optimize grammar
Csaba Hruska
2015-12-16
The test suite can run tests separately
Andor Penzes
[next]