projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix haddock submodule pointer
[ghc-hetmet.git]
/
compiler
/ hetmet
2014-04-13
Adam Megacz
update submodules
commit
|
commitdiff
2012-04-20
Adam Megacz
update submodules for GHC.HetMet.GArrow -> Control...
commit
|
commitdiff
2011-10-04
Adam Megacz
allow either <[]> or <{}> at the type level
commit
|
commitdiff
2011-10-02
Adam Megacz
swap <[]> and <{}> syntax
commit
|
commitdiff
2011-09-01
Adam Megacz
add support for <{..}> and ~~> syntax as well as typing...
commit
|
commitdiff
2011-08-30
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-07-04
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-06-21
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-06-20
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-06-20
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-06-19
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-06-19
Adam Megacz
put coqPassCoreToCore on the CoreM monad, greatly simpl...
commit
|
commitdiff
2011-06-18
Adam Megacz
minimize impact on PrelNames
commit
|
commitdiff
2011-06-15
Adam Megacz
adapt to upstream changes
commit
|
commitdiff
2011-06-14
Adam Megacz
update submodule pointer
commit
|
commitdiff
2011-06-02
Adam Megacz
add support for flattening recursive-let
commit
|
commitdiff
2011-05-31
Adam Megacz
adapt HetMet extensions to new GHC coercion representation
commit
|
commitdiff
2011-05-31
Adam Megacz
update submodule pointer
commit
|
commitdiff
2011-05-31
Adam Megacz
add -fsimpleopt-before-flatten
commit
|
commitdiff
2011-05-30
Adam Megacz
update submodule pointer
commit
|
commitdiff
2011-05-30
Adam Megacz
add -fflatten and -funsafe-skolemize flags
commit
|
commitdiff
2011-05-27
Adam Megacz
do flattening before simpleOptPgm so evaluation "order...
commit
|
commitdiff
2011-05-16
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-05-15
Adam Megacz
update submodule pointer
commit
|
commitdiff
2011-05-15
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-05-10
Adam Megacz
update flattener to use type-family-based GArrow classes
commit
|
commitdiff
2011-05-09
Adam Megacz
add support for hetmet_unflatten
commit
|
commitdiff
2011-05-09
Adam Megacz
add support for hetmet_flatten casting variable
commit
|
commitdiff
2011-05-09
Adam Megacz
update compiler using *->*->* as the kind of environmen...
commit
|
commitdiff
2011-05-09
Adam Megacz
thread wired-in names of GHC.HetMet.Private.* through...
commit
|
commitdiff
2011-04-17
Adam Megacz
merge up to ghc HEAD 16-Apr-2011
commit
|
commitdiff
2011-04-10
Adam Megacz
update for changes in hetmet Makefile
commit
|
commitdiff
2011-03-25
Adam Megacz
update submodule pointers
commit
|
commitdiff
2011-03-22
Adam Megacz
update hetmet submodule pointer
commit
|
commitdiff
2011-03-14
Adam Megacz
update hetmet subrepository pointer
commit
|
commitdiff
2011-03-14
Adam Megacz
update hetmet submodule pointer
commit
|
commitdiff
2011-03-13
Adam Megacz
third attempt at getting submodules to work properly
commit
|
commitdiff
2011-03-12
Adam Megacz
update compiler/hetmet/ submodule pointer
commit
|
commitdiff
2011-03-12
Adam Megacz
update coq-hetmet submodule pointer
commit
|
commitdiff
2011-03-12
Adam Megacz
second attempt at updating submodules; I seem to have...
commit
|
commitdiff