Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/T20987
46230d5f
·
Introduce MO_UnalignedStore
·
Jan 27, 2022
wip/T20746
697e569f
·
Improve boxity in deferAfterPreciseException
·
Jan 27, 2022
wip/no-skolem-info
d694f3f6
·
Rework the handling of SkolemInfo
·
Jan 28, 2022
wip/T14816
b921a6fe
·
Bug fixes on Core freshen
·
Jan 28, 2022
wip/windows-clang
4fb18bc5
·
testsuite: Force-enable caret diagnostics in T17786
·
Jan 29, 2022
wip/T21016
8ae1e3be
·
Check type first then expression
·
Jan 29, 2022
wip/note-check
69896758
·
gitlab-ci: Add lint-notes job
·
Jan 30, 2022
wip/T21011
b67c8b57
·
Make typechecker trace less strict
·
Jan 31, 2022
wip/fix-notes
27b25250
·
Fix a few Note inconsistencies
·
Feb 01, 2022
wip/tidy-implic-mp
c5663a9a
·
Make implication tidying agree with Note [Tidying multiple names at once]
·
Feb 01, 2022
wip/T20817
400aa60a
·
More accurate unboxing
·
Feb 01, 2022
wip/marge-bot-metric
7f53be62
·
testsuite: Honour PERF_BASELINE_COMMIT when computing allowed metric changes
·
Feb 02, 2022
wip/T20941
34d6268f
·
Two small improvements in the Simplifier
·
Feb 02, 2022
wip/T20929
97aa3592
·
Refactor the escaping kind check for data constructors
·
Feb 02, 2022
wip/andreask/rm_sndOfTriple
94609184
·
Replace sndOfTriple with sndOf3
·
Feb 02, 2022
wip/maybe-backend
fb1a4e37
·
Split `Backend` into multiple sum types
·
Feb 02, 2022
wip/deb11-release
71265906
·
ci: Add debian 11 jobs (validate/release/nightly)
·
Feb 03, 2022
wip/caller-cc-parser
6477878c
·
Rewrite CallerCC parser using ReadP
·
Feb 03, 2022
wip/devel2-test-fixes
49308a64
·
Unbreak T13168 on windows
·
Feb 03, 2022
wip/roughmap-mp
03692e13
·
compiler: Introduce and use RoughMap for instance environments
·
Feb 03, 2022
Prev
1
…
131
132
133
134
135
136
137
138
139
…
146
Next