Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/T14880-2
c8a1f9c4
·
14880, part 0: insertion order
·
Sep 10, 2018
wip/T15578
6855d926
·
Add regression test for #15578
·
Sep 08, 2018
wip/T14880-reengineered
057dfdcb
·
Literally use Simon's code for tcvs_of_...
·
Sep 06, 2018
wip/T14880-accum
2d7211e8
·
Fix merge conflicts between #14880 and master
·
Sep 04, 2018
wip/T1448-accum
a4e7a912
·
Use an accumulator version of tyCoVarsOfType
·
Aug 31, 2018
wip/t-12758_circleci_push_perf_notes_short
a34302ce
·
testsuite: Save performance metrics in git notes.
·
Aug 23, 2018
wip/T15548
93843a6b
·
Do not pass -DTABLES_NEXT_TO_CODE to gcc (untested)
·
Aug 22, 2018
wip/T13064
2dcebe69
·
Fix unused-import warnings
·
Aug 20, 2018
wip/az-D5036
6c125148
·
Include submodule versions so it can build.
·
Aug 17, 2018
wip/enable-freebsd-ci
cf29bd1a
·
circleci: Reenable FreeBSD
·
Aug 11, 2018
wip/fix-docs
244eda91
·
Revert "Try fixing OS X build"
·
Aug 08, 2018
wip/T14880-nondet-fv
e74ba209
·
Rewrite tyCoVarsOf... in terms of new nondet FV (NDFV)
·
Aug 06, 2018
wip/T14880-baseline
4887050f
·
Upgrade haddock submodule to avoid bug
·
Aug 01, 2018
wip/T14880-just-tvs
8b567b3c
·
Upgrade haddock submodule to avoid bug
·
Aug 01, 2018
wip/T14880-reinstate-fv-1
c11a053d
·
Reinstate using FV for getting free vars
·
Jul 30, 2018
wip/monoidal/odd-linking
be534b04
·
first version of test
·
Jul 21, 2018
wip/T14880
3caf3dd4
·
Fix egregious error from last commit
·
Jun 15, 2018
wip/tdammers/disable-defer-type-errors-ghci
32ed0c59
·
Regressions caused by workaround to #14963
·
Jun 12, 2018
wip/seq-res-eval
ff1d40a9
·
Let the simplifier know that seq# forces
·
Jun 05, 2018
wip/T2893
8308b2df
·
Wibbles (mainly comments)
·
Jun 01, 2018
Prev
1
…
5
6
7
8
9
10
11
12
13
…
22
Next