Use SIGQUIT for DWARF backtraces instead of SIGUSR2
[ghc.git] / docs / core-spec /
2017-07-31  Gabor GreifA bunch of typofixes
2017-04-24  Joachim Breitnercore-spec: Simplify the handling of LetRec
2017-04-18  Joachim BreitnerFix LaTeX in core-spec
2017-02-08  Ben GamariUpdate Core formalize for Levity -> RuntimeRep
2017-01-20  Takano AkioAllow top-level string literals in Core (#8472)
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2016-12-02  Joachim Breitnercore-spec: Fix S_MatchData
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-04-24  Richard EisenbergFix the formal operational semantics (#10121)
2015-03-07  Alexander VershilovImprove core linter so it catches unsafeCoerce problems...
2014-09-18  Richard EisenbergFix formatting bug in core-spec.
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-01-29  Jan StolarekFix glitch in core-spec pdf
2014-01-14  Richard EisenbergRegenerate core-spec.pdf.
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-12  Gabor Greiffix a mistyped label that caused a stray reference
2013-11-25  Richard EisenbergUpdate to core-spec documentation.
2013-09-09  Patrick PalkaMerge branch 'ghc-parmake-gsoc' (#910)
2013-09-09  Richard EisenbergClarification in formalism concerning roles.
2013-08-16  Richard EisenbergFix Trac #8138.
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-08-02  Richard EisenbergFix Trac #8020.
2013-07-31  Richard EisenbergAdded operational semantics to docs/core-spec.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-04-24  Richard EisenbergUpdate Makefile in docs/core-spec not to use latexmk
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-12-01  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-12-01  Richard EisenbergAdded the docs/core-spec README
2012-12-01  Richard EisenbergAdded GHC formalism to the GHC source tree.