Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/T14880
3caf3dd4
·
Fix egregious error from last commit
·
Jun 15, 2018
wip/monoidal/odd-linking
be534b04
·
first version of test
·
Jul 21, 2018
wip/T14880-reinstate-fv-1
c11a053d
·
Reinstate using FV for getting free vars
·
Jul 30, 2018
wip/T14880-just-tvs
8b567b3c
·
Upgrade haddock submodule to avoid bug
·
Aug 01, 2018
wip/T14880-baseline
4887050f
·
Upgrade haddock submodule to avoid bug
·
Aug 01, 2018
wip/T14880-nondet-fv
e74ba209
·
Rewrite tyCoVarsOf... in terms of new nondet FV (NDFV)
·
Aug 06, 2018
wip/fix-docs
244eda91
·
Revert "Try fixing OS X build"
·
Aug 08, 2018
wip/enable-freebsd-ci
cf29bd1a
·
circleci: Reenable FreeBSD
·
Aug 11, 2018
wip/az-D5036
6c125148
·
Include submodule versions so it can build.
·
Aug 17, 2018
wip/T13064
2dcebe69
·
Fix unused-import warnings
·
Aug 20, 2018
wip/T15548
93843a6b
·
Do not pass -DTABLES_NEXT_TO_CODE to gcc (untested)
·
Aug 22, 2018
wip/t-12758_circleci_push_perf_notes_short
a34302ce
·
testsuite: Save performance metrics in git notes.
·
Aug 23, 2018
wip/T1448-accum
a4e7a912
·
Use an accumulator version of tyCoVarsOfType
·
Aug 31, 2018
wip/T14880-accum
2d7211e8
·
Fix merge conflicts between #14880 and master
·
Sep 04, 2018
wip/T14880-reengineered
057dfdcb
·
Literally use Simon's code for tcvs_of_...
·
Sep 06, 2018
wip/T15578
6855d926
·
Add regression test for #15578
·
Sep 08, 2018
wip/T14880-2
c8a1f9c4
·
14880, part 0: insertion order
·
Sep 10, 2018
wip/T14880-2-step1
1a69d366
·
Use an accumulator version of tyCoVarsOfType
·
Sep 10, 2018
wip/T14880-2-step2
f3dd2ff0
·
Fix closeOverKinds to use unclosed sets internally
·
Sep 13, 2018
wip/T14880-2-step3
a71f0226
·
Add test for #14880
·
Sep 17, 2018
Prev
1
…
10
11
12
13
14
15
16
17
18
…
108
Next