Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/forall-kind-rule
23e1d0e0
·
Limit forall to TYPE r and CONSTRAINT r
·
Dec 01, 2023
wip/T23209
401c02ed
·
Make SpecConstr deal with casts better
·
Nov 30, 2023
wip/libdir-bytes
ccb87f95
·
testsuite: Remove rogue trace in testsuite
·
Nov 30, 2023
wip/T24176
ace28d2f
·
Kind-check body of a required forall
·
Nov 30, 2023
wip/az/epa-epadelta-comments
f041bab2
·
EPA: EpaDelta for comment has no comments
·
Nov 29, 2023
wip/deb9-failure
7c57408d
·
testsuite: Fix T21097b test with make 4.1 (deb9)
·
Nov 29, 2023
wip/T19414
f6bc045f
·
perf tests: Move comments into new `Note [Sensitivity to unique increment]` (#19414)
·
Nov 29, 2023
wip/az/epa-clean-up-tc-monad-utils
a07063f2
·
EPA: Clean up TC Monad Utils
·
Nov 28, 2023
wip/widen-stats
4f199454
·
metrics: Widen libdir and size_hello_obj acceptance window
·
Nov 28, 2023
wip/az/epa-clean-up-mkscope
41c769ac
·
EPA: Clean up mkScope in Ast.hs
·
Nov 27, 2023
wip/stefansf/fix-llvm-align
bed85f7b
·
llvmGen: Align objects in the data section
·
Nov 27, 2023
wip/az/locateda-epa-improve-2023-07-15
6c42514d
·
Summary: EPA: Remove Anchor
·
Nov 26, 2023
wip/az/epa-remove-srcspanann
4c9ec2d7
·
EPA: Remove SrcSpanAnn
·
Nov 26, 2023
wip/angerman/drop-xcode-dependency
5adc8db4
·
Drop hard Xcode dependency
·
Nov 26, 2023
wip/int-index/term-capture
72bf9201
·
Term variable capture (#23740)
·
Nov 26, 2023
wip/az/epa-remove-epannnotused
61fa630b
·
EPA: Remove EpAnnNotUsed
·
Nov 25, 2023
wip/int-index/note-hs-scoped-tvs
87acebfe
·
Update Note [hsScopedTvs and visible foralls]
·
Nov 25, 2023
wip/T24219
71dec31e
·
testsuite: don't initialize testdir to '.'
·
Nov 25, 2023
wip/testsuite-generic-stats
dda8cd3a
·
testsuite: Add mechanism to collect generic metrics
·
Nov 24, 2023
wip/int-index/deprecated-type-abstractions
405da633
·
Add name for -Wdeprecated-type-abstractions (#24154)
·
Nov 24, 2023
Prev
1
…
18
19
20
21
22
23
24
25
26
…
238
Next