Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/rts_ticker_refac
29ec5324
·
Use pthread if available on linux
·
Jul 25, 2021
wip/osthread-fixes
8ed5bcf7
·
rts/OSThreads: Improve error handling consistency
·
Jul 25, 2021
wip/warn-unqualified
03fd6122
·
rename: Avoid unnecessary map lookup
·
Jul 25, 2021
wip/T19703
6fae805a
·
Fix it
·
Jul 26, 2021
wip/T19918
2e4be92e
·
Eta expand through CallStacks
·
Jul 26, 2021
wip/T20143
51af8af0
·
Eliminate unnecessary unsafeEqualityProof
·
Jul 26, 2021
wip/newLocal
be909ad9
·
compiler: Name generated locals more descriptively
·
Jul 26, 2021
wip/andreask/infer_closures
533fadfb
·
Add new bot element to lattice
·
Jul 27, 2021
wip/T20166
faf47076
·
rts: Don't rely on configuration when CLEANING=YES
·
Jul 27, 2021
wip/adinapoli-more-driver-unknown-msgs
de36c888
·
Port more DriverUnknownMessage into richer DriverMessage constructors
·
Jul 27, 2021
wip/spj-refactor-Jul21
559e80d0
·
Inline less logging code
·
Jul 27, 2021
wip/bang-pattern-docs
8a9a011d
·
Functor docs: link to free theorem explanation (#19300)
·
Jul 27, 2021
wip/T20153
ca6ebd6c
·
Fix a subtle scoping error in simplLazyBind
·
Jul 27, 2021
wip/T17469
d017b9d3
·
Better renaming for record fields
·
Jul 27, 2021
wip/T18806
f8b3a849
·
Reject pattern synonyms with linear types (#18806)
·
Jul 28, 2021
wip/T20155
c7df4813
·
cleanup
·
Jul 28, 2021
wip/T20144
6e15e66c
·
rts/OSThreads: Fix reference clock of timedWaitCondition
·
Jul 28, 2021
wip/T3781
4249a821
·
Make UnfoldingGuidance account for free variables
·
Jul 28, 2021
wip/drop-old-bintools-hack
aa21d4bc
·
Revert "Revert "codeGen: Remove binutils<2.17 hack, fixes T11758""
·
Jul 28, 2021
wip/T20130
1b89584c
·
Delete ToDo about incorrect optimisation [skip ci]
·
Jul 28, 2021
Prev
1
…
110
111
112
113
114
115
116
117
118
…
121
Next