[commit: ghc] branch 'wip/ext-solver' created

git at git.haskell.org git at git.haskell.org
Mon Apr 28 00:41:05 UTC 2014

Previous message: [commit: ghc] master: Don't require mk/config.mk for all cleanup targets (fa5ac96)
Next message: [commit: ghc] wip/ext-solver: Code for connecting an SMT solver with the type-checker. (d2917c5)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Repository : ssh://git@git.haskell.org/ghc

New branch : wip/ext-solver
Referencing: f17dcf09a5797bbefe22aef7d4c508d1672484df

Previous message: [commit: ghc] master: Don't require mk/config.mk for all cleanup targets (fa5ac96)
Next message: [commit: ghc] wip/ext-solver: Code for connecting an SMT solver with the type-checker. (d2917c5)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the ghc-commits mailing list