Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/T18806
f8b3a849
·
Reject pattern synonyms with linear types (#18806)
·
Jul 28, 2021
wip/T17469
d017b9d3
·
Better renaming for record fields
·
Jul 27, 2021
wip/T20153
ca6ebd6c
·
Fix a subtle scoping error in simplLazyBind
·
Jul 27, 2021
wip/bang-pattern-docs
8a9a011d
·
Functor docs: link to free theorem explanation (#19300)
·
Jul 27, 2021
wip/spj-refactor-Jul21
559e80d0
·
Inline less logging code
·
Jul 27, 2021
wip/adinapoli-more-driver-unknown-msgs
de36c888
·
Port more DriverUnknownMessage into richer DriverMessage constructors
·
Jul 27, 2021
wip/T20166
faf47076
·
rts: Don't rely on configuration when CLEANING=YES
·
Jul 27, 2021
wip/andreask/infer_closures
533fadfb
·
Add new bot element to lattice
·
Jul 27, 2021
wip/newLocal
be909ad9
·
compiler: Name generated locals more descriptively
·
Jul 26, 2021
wip/T20143
51af8af0
·
Eliminate unnecessary unsafeEqualityProof
·
Jul 26, 2021
wip/T19918
2e4be92e
·
Eta expand through CallStacks
·
Jul 26, 2021
wip/warn-unqualified
03fd6122
·
rename: Avoid unnecessary map lookup
·
Jul 25, 2021
wip/osthread-fixes
8ed5bcf7
·
rts/OSThreads: Improve error handling consistency
·
Jul 25, 2021
wip/rts_ticker_refac
29ec5324
·
Use pthread if available on linux
·
Jul 25, 2021
wip/libffi
b89013f9
·
rts: Don't declare libCffi as bundled when using system libffi
·
Jul 25, 2021
wip/T20160
28573b75
·
rts: Fix inconsistent signatures for collect_pointers
·
Jul 25, 2021
wip/tsan/cmm
a5b86287
·
squash: system libffi
·
Jul 25, 2021
wip/hadrian/libffi-includes
5b39a107
·
hadrian: Don't add empty -I arguments
·
Jul 25, 2021
wip/libffi-bundling
6ad34396
·
rts: Don't declare libCffi as bundled when using system libffi
·
Jul 23, 2021
wip/tsan/codegen
a1b4b50d
·
codeGen: Introduce ThreadSanitizer instrumentation
·
Jul 23, 2021
Prev
1
…
9
10
11
12
13
14
15
16
17
…
126
Next