Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/andreask/dsel_unfold
a221b68c
·
Experiment: Add unfolings for class selectors.
·
Apr 01, 2021
wip/T19622
87f27cb2
·
Pmc: Add regression test for #19622
·
Apr 01, 2021
wip/test-11545
4a87bb60
·
Add (expect_broken) test for #11545
·
Apr 01, 2021
wip/hadrian-no-profiled-libs
ae23bcf4
·
hadrian: Don't try to build iserv-prof if we don't have profiled libraries
·
Apr 01, 2021
wip/core-expr-strict
6edf11b2
·
Experiment: Try making CoreExpr binder fields strict
·
Apr 01, 2021
wip/sanity-copy-paste
68f1bfee
·
Fix copy+pasto in Sanity.c
·
Apr 01, 2021
wip/adinapoli-diag-reason-severity
0443e2e8
·
Compute Severity of diagnostics at birth
·
Apr 01, 2021
wip/sjakobi/T14062-test
295f5987
·
Add regression test for #14062
·
Apr 01, 2021
wip/release-things
3a6eb591
·
gitlab-ci: Drop Debian 8 job
·
Mar 31, 2021
wip/nested-cpr-light
d7c1b068
·
Worker/wrapper: Refactor CPR WW to work for nested CPR (#18174)
·
Mar 31, 2021
wip/sjakobi/T14565-test
d35183fe
·
Add compiler perf test for #14565
·
Mar 31, 2021
wip/chartonat-axiom
65d1def5
·
Add missing axiom exports for CharToNat/NatToChar
·
Mar 31, 2021
wip/extend-perf-expiration
cfe1b9b9
·
gitlab-ci: Extend expiration time of simple perf job artifacts
·
Mar 30, 2021
wip/az/exactprint-rename-to-epa
04ba89d9
·
EPA : Rename AnnComment to EpaComment
·
Mar 30, 2021
wip/adinapoli-introduce-error-domain-specific-types
60a29266
·
Use the new error infrastructure
·
Mar 30, 2021
wip/T19599
1bb918cd
·
Make specialisation a bit more aggressive
·
Mar 30, 2021
wip/ncg-perf-2
9201bf63
·
Specialize the linear register allocator
·
Mar 30, 2021
wip/T19495
507015e3
·
The result kind of a signature can't mention quantified vars
·
Mar 30, 2021
wip/T19415
4b7c25ef
·
Avoid fundep-caused loop in the typechecker
·
Mar 30, 2021
wip/angerman/linker-fixes-backports
0d01810e
·
[armv7] PIC by default + [aarch64-linux] T11276 metric increase
·
Mar 30, 2021
Prev
1
…
19
20
21
22
23
24
25
26
27
…
120
Next