Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
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
wip/bump-ci
44fe54fb
·
gitlab-ci: Try cleaning up hadrian directory
·
Mar 29, 2021
wip/sjakobi/T17018-fragile-tests
3464a3e0
·
Mark p6 and T3333 as fragile
·
Mar 29, 2021
wip/az/test-git-meta
c6c5e6a4
·
Checking that author and email show up in the commit
·
Mar 29, 2021
wip/sjakobi/T5298
a5c16f18
·
Add regression test for #5298
·
Mar 29, 2021
Prev
1
…
18
19
20
21
22
23
24
25
26
…
118
Next