index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
prototypes
Age
Commit message (
Expand
)
Author
2016-04-16
work on ShiftReducer prototype
Péter Diviánszky
2016-04-10
more test
Péter Diviánszky
2016-04-08
integrate tests
Péter Diviánszky
2016-04-08
add delta functions
Péter Diviánszky
2016-04-08
Update ShiftReducer.hs
Csaba Hruska
2016-04-08
begin to implement hnf
Péter Diviánszky
2016-04-08
split Stream.hs; bugfixes
Péter Diviánszky
2016-04-06
simplification
Péter Diviánszky
2016-03-24
add reducer prototype with fast de bruijn index shifting (not ready yet)
Péter Diviánszky
2016-01-31
disable unused import
Csaba Hruska
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 wit...
Péter Diviánszky
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
[next]