Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/joachim/single-method-eq
d2320e91
·
Blindly fix test suite to let CI proceed to perf stage
·
Oct 22, 2021
wip/no-narrow-n
2c51d9f0
·
Get rid of `narrow<N>{Int,Word}#` as primops
·
Oct 21, 2021
wip/T20539
cdba10d1
·
WorkWrap: `isRecDataCon` should not eta-reduce NewTyCon field tys (#20539)
·
Oct 21, 2021
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
Prev
1
…
58
59
60
61
62
63
64
65
66
…
182
Next