delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

Branch	Commit message	Author	Age
master	Update the users guide paragraph on -O in GHCi	Torsten Schmits	13 months
wip/T23070-dicts	Wibbles	Simon Peyton Jones	13 months
wip/T23398	Allow the demand analyser to unpack tuple and equality dictionaries	Simon Peyton Jones	13 months
wip/backports-9.6	Fix type variable substitution in gen_Newtype_fam_insts	Ryan Scott	13 months
wip/haddock-mem-fixes	Memory usage fixes for Haddock	Finley McIlwaine	13 months
wip/marge_bot_batch_merge_job	Update the users guide paragraph on -O in GHCi	Torsten Schmits	13 months
wip/sand-witch/modern-STV-extension-shuffling	Extension shuffling (#23291)	Ben Gamari	13 months
wip/t23315	Insert documentation into parsed signature modules	Finley McIlwaine	13 months
wip/test-nightlies	fix testing	Matthew Pickering	13 months
wip/tuple-tests	Enable ghci tests for unboxed tuples	Krzysztof Gogolewski	13 months
[...]

Tag	Download	Author	Age
ghc-9.4.5-release	haskell-ghc-9.4.5-release.tar.gz	Zubin Duggal	14 months
ghc-9.6.1-release	haskell-ghc-9.6.1-release.tar.gz	Ben Gamari	15 months
ghc-9.6.1-rc1	haskell-ghc-9.6.1-rc1.tar.gz	Ben Gamari	15 months
ghc-9.2.7-release	haskell-ghc-9.2.7-release.tar.gz	Zubin Duggal	16 months
ghc-9.6.1-alpha3	haskell-ghc-9.6.1-alpha3.tar.gz	Ben Gamari	16 months
ghc-9.2.6-release	haskell-ghc-9.2.6-release.tar.gz	Zubin Duggal	16 months
ghc-9.6.1-alpha2	haskell-ghc-9.6.1-alpha2.tar.gz	Matthew Pickering	17 months
ghc-9.4.4-release	haskell-ghc-9.4.4-release.tar.gz	Ben Gamari	18 months
ghc-9.7-start	haskell-ghc-9.7-start.tar.gz	Ben Gamari	18 months
ghc-9.2.5-release	haskell-ghc-9.2.5-release.tar.gz	Zubin Duggal	19 months
[...]

Age	Commit message	Author	Files	Lines
2020-01-03	nuclear debuggingwip/carter/eraseCastProofs	Carter Tazio Schonwald	12	-34/+37
2020-01-03	drop unused import	Carter Tazio Schonwald	1	-1/+0
2020-01-03	current state of play	Carter Tazio Schonwald	4	-5/+10
2020-01-03	push the code into the UnivCo axiom framework and drop all the "smart compres...	Carter Tazio Schonwald	16	-160/+57
2020-01-03	more stuff with the things	Carter Tazio Schonwald	7	-11/+32
2020-01-01	things seem to now all fit! (may need to add some extra wiring)	Carter Tazio Schonwald	21	-85/+275
2020-01-01	fix typo in smarter coercion erasure	Carter Tazio Schonwald	1	-2/+2
2020-01-01	if the coercion is a Refl or MRefl, lets just keep it.	Carter Tazio Schonwald	1	-3/+9
2020-01-01	halfway kicked along the coercion proofs, still probably need to handle the o...	Carter Tazio Schonwald	1	-1/+30
2020-01-01	step one of many for threading this stuff through the coercions, not finished...	Carter Tazio Schonwald	2	-7/+30
[...]

Clone
git://git.baserock.org/delta/haskell.git
http://git.baserock.org/git/delta/haskell.git
https://git.baserock.org/git/delta/haskell.git