git.haskell.org - ghc.git/history - docs/core-spec/core-spec.mng

[ghc.git] / docs / core-spec / core-spec.mng

2015-04-24	Richard Eisenberg	Fix the formal operational semantics (#10121)	blob \| commitdiff
2015-03-07	Alexander Vershilov	Improve core linter so it catches unsafeCoerce problems...	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold template-haskell.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold integer-gmp.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold integer-simple.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold base.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-04-19	Herbert Valerio...	Fold ghc-prim.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-01-29	Jan Stolarek	Fix glitch in core-spec pdf	blob \| commitdiff \| diff to current
2014-01-12	Herbert Valerio...	Fold testsuite.git into ghc.git (re #8545)	blob \| commitdiff \| diff to current
2014-01-12	Gabor Greif	fix a mistyped label that caused a stray reference	blob \| commitdiff \| diff to current
2013-11-25	Richard Eisenberg	Update to core-spec documentation.	blob \| commitdiff \| diff to current
2013-09-09	Patrick Palka	Merge branch 'ghc-parmake-gsoc' (#910)	blob \| commitdiff \| diff to current
2013-09-09	Richard Eisenberg	Clarification in formalism concerning roles.	blob \| commitdiff \| diff to current
2013-08-02	Richard Eisenberg	Implement "roles" into GHC.	blob \| commitdiff \| diff to current
2013-08-02	Richard Eisenberg	Fix Trac #8020.	blob \| commitdiff \| diff to current
2013-07-31	Richard Eisenberg	Added operational semantics to docs/core-spec.	blob \| commitdiff \| diff to current
2013-06-21	Richard Eisenberg	Revise implementation of overlapping type family instances.	blob \| commitdiff \| diff to current
2013-02-05	Manuel M T Chakravarty	Merge branch 'refs/heads/vect-avoid' into vect-avoid...	blob \| commitdiff \| diff to current
2013-01-02	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc	blob \| commitdiff \| diff to current
2013-01-01	Ian Lynagh	Merge branch 'master' of darcs.haskell.org:/srv/darcs...	blob \| commitdiff \| diff to current
2012-12-24	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org/ghc	blob \| commitdiff \| diff to current
2012-12-23	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org/ghc	blob \| commitdiff \| diff to current
2012-12-22	Richard Eisenberg	Implement overlapping type family instances.	blob \| commitdiff \| diff to current
2012-12-05	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc	blob \| commitdiff \| diff to current
2012-12-04	Simon Peyton Jones	Merge branch 'master' of darcs.haskell.org/ghc	blob \| commitdiff \| diff to current
2012-12-02	Ian Lynagh	Merge branch 'ticket-7442' of git://github.com/phonohaw...	blob \| commitdiff \| diff to current
2012-12-01	Richard Eisenberg	Merge branch 'master' of ssh://darcs.haskell.org/srv...	blob \| commitdiff \| diff to current
2012-12-01	Richard Eisenberg	Added GHC formalism to the GHC source tree.	blob \| commitdiff \| diff to current

GHC main repository

RSS Atom