Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/backpack-errs
95b25a0f
·
Rename `ms_hspp_file` to `ms_hspp_file_loc` and change its
·
Oct 21, 2021
wip/T20200AgdaDatatypes
617f7798
·
Look up knot-tied GlobalIds in the InScopeSet
·
Oct 20, 2021
wip/joachim/Ord-Name-instance
de4d1e26
·
instance Ord Name: Do not repeat default methods
·
Oct 20, 2021
wip/hlint-build-order
7a2426f5
·
ci: Move hlint jobs from quick-built into full-build
·
Oct 20, 2021
wip/stricter-modiface
30bae9ba
·
Make sure ModIface values are still forced even if not written
·
Oct 20, 2021
wip/angerman/fix-20526
51dc807e
·
Do not sign extend CmmInt's unless negative.
·
Oct 20, 2021
wip/T20267
f5276c90
·
hadrian: Fix binary-dist support for cross-compilers
·
Oct 19, 2021
wip/nofib-ci
b890263a
·
Fix perf-nofib CI job
·
Oct 19, 2021
wip/T20506
3f22f3b6
·
hadrian: Fix quoting in binary distribution installation Makefile
·
Oct 19, 2021
wip/revert-hadrian-verbosity
a2db794d
·
Revert "Hadrian: display command line above errors (#20490)"
·
Oct 19, 2021
wip/heap-invariants
f9d296e9
·
Add note about heap invariants [skip ci]
·
Oct 19, 2021
wip/strict-gre
5939c94d
·
Make fields of GlobalRdrElt strict
·
Oct 19, 2021
wip/joachim/cache-ic-env
5d4cff11
·
InteractiveContext: Smarter caching when rebuilding the ic_rn_gbl_env
·
Oct 18, 2021
wip/distribute-hmi-cache
dcdbdc2b
·
Distribute HomeModInfo cache before starting upsweep
·
Oct 18, 2021
wip/dyn-too-fixes
5257205f
·
Remove DT_Failed state
·
Oct 18, 2021
wip/test
6efdf0a4
·
testing
·
Oct 17, 2021
wip/joachim/split-GlobalRdrElts
3bc27ba6
·
Experiment: Split [GlobalRdrElt] into also-unqualified and only-qualified
·
Oct 16, 2021
wip/t20217
3a894664
·
ghci: Explicitly store and restore interface file cache
·
Oct 15, 2021
wip/temp-20509
1f17ad93
·
Add performance test for ghci, -fno-code and reloading (#20509)
·
Oct 15, 2021
wip/joachim/phantom-kind-params
dc9ae0d7
·
Draft: An experiment towards #20514
·
Oct 15, 2021
Prev
1
…
117
118
119
120
121
122
123
124
125
…
238
Next