Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
tdammers/wip/16615
f8c6238d
·
Make add_info attach unfoldings (#16615)
·
Aug 15, 2019
wip/marge_bot_batch_merge_job
f7e4e4e0
·
Hadrian: profiling and debug enabled ways support -eventlog too
·
Jun 04, 2019
master
default
protected
114b014f
·
Hadrian: fix OSX build failure and add an OSX/Hadrian CI job
·
Jun 04, 2019
wip/slowtest
3028f75c
·
testsuite: Mark T16449_2 as broken due to #16742
·
Jun 04, 2019
wip/T16740
50c700f5
·
PrelRules: Ensure that string unpack/append rule fires with source notes
·
Jun 04, 2019
wip/T16736
6b923176
·
llvm-targets: Add x86_64 android layout
·
Jun 04, 2019
wip/T16742
80203523
·
PrelRules: Ensure that shift rule result type is correct
·
Jun 03, 2019
wip/8-8-ghci
7af05bc4
·
Use datatype for unboxed returns when loading ghc into ghci
·
Jun 03, 2019
cherry-pick-43a43a33
0b91a029
·
Handle hs-boot files in -Wmissing-home-modules (#16551)
·
Jun 03, 2019
cherry-pick-e172a6d1
07131494
·
Enable external interpreter when TH is requested but no internal interpreter is available
·
Jun 03, 2019
wip/T16738
d0c03112
·
Maintain separate flags for C++ compiler invocations
·
Jun 03, 2019
wip/hadrian-delete-symlinks
29478eb3
·
Hadrian: Delete target symlink in createFileLinkUntracked
·
Jun 03, 2019
ghc-8.8
605869c7
·
Fix optSemi type in Parser.y
·
Jun 03, 2019
wip/T16741
5d2d6da8
·
testsuite: Suppress ticks in T4918 output
·
Jun 03, 2019
wip/run-bindisttest
713fd756
·
make: Fix bindist installation
·
Jun 03, 2019
wip/T16715
59521739
·
make: Fix bindist installation
·
Jun 03, 2019
wip/pmcheck-ncon
37a06c03
·
Add `PmNCons` to `Check` for correct warnings in the presence of `COMPLETE` groups
·
Jun 03, 2019
wip/T16735
98cd2fad
·
Preserve ShadowInfo when rewriting evidence
·
Jun 03, 2019
wip/pmcheck-refuts
affd1ceb
·
TmOracle: Replace negative term equalities by refutable PmAltCons
·
Jun 03, 2019
wip/top-level-kind-signatures
bb0a631c
·
TLKSs instead of CUSKs in tests
·
Jun 02, 2019
Prev
1
2
3
4
5
…
30
Next