Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/adamse/docs-rts-options
53241dee
·
docs: rename the "Running a compiled program" section in the users guide
·
Jul 28, 2021
wip/fix-validate
a08a7080
·
validate: Look for python3 executable in python detection
·
Jul 28, 2021
wip/T20130
1b89584c
·
Delete ToDo about incorrect optimisation [skip ci]
·
Jul 28, 2021
wip/drop-old-bintools-hack
aa21d4bc
·
Revert "Revert "codeGen: Remove binutils<2.17 hack, fixes T11758""
·
Jul 28, 2021
wip/T20144
6e15e66c
·
rts/OSThreads: Fix reference clock of timedWaitCondition
·
Jul 28, 2021
wip/T18806
f8b3a849
·
Reject pattern synonyms with linear types (#18806)
·
Jul 28, 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
Prev
1
…
86
87
88
89
90
91
92
93
94
…
197
Next