projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix haddock submodule pointer
2014-04-13
Adam Megacz
fix haddock submodule pointer
commit
|
commitdiff
|
tree
2014-04-13
Adam Megacz
update .gitmodules pointers to git.haskell.org
commit
|
commitdiff
|
tree
2011-05-31
Adam Megacz
adapt HetMet extensions to new GHC coercion representation
commit
|
commitdiff
|
tree
2011-05-31
Adam Megacz
merge GHC HEAD
commit
|
commitdiff
|
tree
2011-05-31
Adam Megacz
update submodule pointer
commit
|
commitdiff
|
tree
2011-05-31
Adam Megacz
add -fsimpleopt-before-flatten
commit
|
commitdiff
|
tree
2011-05-09
Adam Megacz
thread wired-in names of GHC.HetMet.Private.* through...
commit
|
commitdiff
|
tree
2011-04-25
Adam Megacz
Merge branch 'master' of http://darcs.haskell.org/ghc
commit
|
commitdiff
|
tree
2011-04-10
Adam Megacz
update for changes in hetmet Makefile
commit
|
commitdiff
|
tree
2011-03-25
Adam Megacz
update submodule pointers
commit
|
commitdiff
|
tree
2011-03-22
Adam Megacz
update hetmet submodule pointer
commit
|
commitdiff
|
tree
2011-03-19
Adam Megacz
pass Var.Var for hetmet brak/esc to -fcoqpass code
commit
|
commitdiff
|
tree
2011-03-12
Adam Megacz
update compiler/hetmet/ submodule pointer
commit
|
commitdiff
|
tree
2011-03-11
Adam Megacz
change hetmet directory to compiler/hetmet/, update...
commit
|
commitdiff
|
tree
2011-03-09
Adam Megacz
make exports/imports of depth>0 identifiers work correctly
commit
|
commitdiff
|
tree
2011-03-08
Adam Megacz
fix compiler/coq submodule reference
commit
|
commitdiff
|
tree
2011-03-07
Adam Megacz
use compiler/coq/Makefile to decide if "git submodule...
commit
|
commitdiff
|
tree