repo.or.cz
/
cabal.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Merge branch 'master' into pr/accumulate-allow
2017-08-10
H
erb
e
r
t
Valerio
.
.
.
Mer
g
e br
a
nch
'm
a
st
e
r' into pr/acc
u
mula
t
e
-allow
commit
|
commitdiff
|
tree
2017-08-10
Herbert Valerio
.
.
.
M
erge
pul
l
req
u
est #4
6
6
6
commit
|
commitdiff
|
tree
2017-08-09
Mikhail
G
lushenkov
Merge pull reques
t
#46
2
3
from alexbieh
l
/pr/glob
a
l-
s
tore
.
.
.
commit
|
commitdiff
|
tree
2017-08-09
Mikhai
l
Glushen
k
ov
M
erge branch
'
m
aster' into pr/glo
b
al-store
-
flag
commit
|
commitdiff
|
tree
2017-08-09
Herbert Valerio
.
.
.
Merge pull request #4669
commit
|
commitdiff
|
tree
2017-08-07
F
rancesco Ga
z
zetta
M
erge
pull re
q
u
est #4641 from
f
gaz/new-run/
d
atafi
l
e
s
-2
commit
|
commitdiff
|
tree
2017-08-05
Herbe
r
t V
a
lerio
.
.
.
Merge pull
r
e
quest #4665 from hv
r
/
pr/getProgramInvocationOut
.
.
.
commit
|
commitdiff
|
tree
2017-08-05
E
d
w
a
r
d Z
.
Yang
Merge pull reque
s
t
#46
6
4 from th
e
m
o
ritz
/
master
commit
|
commitdiff
|
tree
2017-08-02
Bardur Arantss
o
n
Merge p
u
ll request #46
5
7 fro
m
alexbiehl/
p
r/no-defaults
commit
|
commitdiff
|
tree
2017-08-02
Alexander Biehl
Update changelog
commit
|
commitdiff
|
tree
2017-08-02
Alexand
e
r Biehl
A littl
e
d
o
cumenti
o
n
commit
|
commitdiff
|
tree
2017-08-02
Edward
Z
.
Yang
M
e
r
g
e
p
ull request #4617 fr
o
m zw3rk/f
e
atu
r
e/s
t
aticlib
commit
|
commitdiff
|
tree
2017-08-01
Edward Z
.
Yang
Merge pull request #4
6
4
9 from
alexbiehl/
p
r/conf
i
g
-
file
commit
|
commitdiff
|
tree
2017-07-29
Ed
w
ard
Z
.
Yang
M
er
g
e pull requ
e
st #4634 fr
o
m ez
y
an
g
/pr/tra
v
is
-
2
.
0
commit
|
commitdiff
|
tree
2017-07-25
Mik
h
ail Glushenkov
M
erge pull request #4596
from sergv/leave-si
n
gle
-
invoc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2017-07-25
Fr
a
n
cesco Gazzetta
Merge pull request #4614 from
fgaz/n
e
w
-
b
e
n
c
h/1
commit
|
commitdiff
|
tree
2017-07-21
M
i
khail Glushenko
v
M
e
rge
p
ul
l
request #4612 from suzumiya
s
mith/ma
s
te
r
commit
|
commitdiff
|
tree
2017-07-21
Mikh
a
il
G
l
ushenkov
Merge
p
ull re
q
u
est #462
0
f
r
om amir/com
p
act-build-
p
ro
f
ile
.
.
.
commit
|
commitdiff
|
tree
2017-07-20
Fran
c
esco Ga
z
zetta
Merge pull
req
u
e
st #
4
607
f
rom
fgaz
/
new-ru
n
/r
e
duce-duplic
a
tion
commit
|
commitdiff
|
tree
2017-07-20
Edward Z
.
Yang
M
e
r
g
e pu
l
l request #4610 from fgaz/new-run
/
datafiles
commit
|
commitdiff
|
tree
2017-07-17
Mikhai
l
Glush
e
nkov
Merg
e
pull request #4605
from
am
i
r/
p
rint-buil
d
-
p
rofil
e
.
.
.
commit
|
commitdiff
|
tree
2017-07-16
Francesco Gaz
z
etta
Merge pull reques
t
#
4
586 from fgaz
/
new-
r
un-2
commit
|
commitdiff
|
tree
2017-07-16
Francesco Gazze
t
ta
Merge branch 'mast
e
r' into
n
ew-r
u
n-2
commit
|
commitdiff
|
tree
2017-07-10
Mikhail Glu
s
he
n
kov
Merge pull request #4599 f
r
om g
r
ayjay/c
o
nflict-counting-bug
commit
|
commitdiff
|
tree
2017-07-10
Frances
c
o
Gazze
t
ta
Fix now incorr
e
ct new-test example
commit
|
commitdiff
|
tree
2017-07-10
Mikhail Glus
h
enk
o
v
Merge p
u
ll re
q
uest
#
45
9
8
f
rom duog/master
commit
|
commitdiff
|
tree
2017-07-07
Mik
h
ail
Glus
h
e
nkov
Merge pu
l
l request #4591 f
r
om ivan-m/
p
atch-1
commit
|
commitdiff
|
tree
2017-07-07
Iva
n
Lazar M
i
ljenovic
Remove extra space from ChangeLog gen
e
rat
i
on
commit
|
commitdiff
|
tree
2017-07-06
Mikhail Glus
h
enk
o
v
Mer
g
e
p
ull r
e
quest #4588 from
p
-alik
/
m
aster
commit
|
commitdiff
|
tree
2017-07-05
Mik
h
ail Gl
u
s
h
enko
v
Merge pull req
u
est #
4
584 from p-
a
lik/mast
e
r
commit
|
commitdiff
|
tree
2017-07-05
Mikhail Gl
u
shenkov
M
erge pull req
u
es
t
#4
5
8
3
fr
o
m fgaz/p
a
t
c
h-1
commit
|
commitdiff
|
tree
2017-07-05
Mikhail Glushen
k
ov
M
e
rge pull request #4587 from
s
erg
v
/speed-up-e
q
ual
.
.
.
commit
|
commitdiff
|
tree
2017-07-05
M
i
khail
Glushenkov
Merge
pull request #44
4
1 fr
o
m p
h
a
d
ej/gold-
l
inker-travis
commit
|
commitdiff
|
tree
2017-07-04
Mik
h
ail Glushenkov
Merge pull request #456
2
from gra
y
ja
y
/
fl
a
g-variables
commit
|
commitdiff
|
tree
2017-07-03
Her
b
ert Valer
i
o
.
.
.
Mer
g
e
pull request #4575 from hvr/pr/extended-
r
elax
.
.
.
commit
|
commitdiff
|
tree
2017-06-21
Mikhail Glushenko
v
M
erge
pull reques
t
#4547 from Bardu
r
Arant
s
son/m
o
ve
.
.
.
commit
|
commitdiff
|
tree
2017-06-16
Edw
a
r
d
Z
.
Yang
Merge p
u
ll request #4
5
63
f
rom
g
r
a
yjay/r
e
factor-va
l
ida
t
e
commit
|
commitdiff
|
tree
2017-06-16
E
dward Z
.
Yang
Merge pull request #45
6
4
from g
r
ayjay
/
solver
-
ds
l
-goal
.
.
.
commit
|
commitdiff
|
tree
2017-06-13
Mikhail Glushenkov
Edit t
h
e pull request template
.
commit
|
commitdiff
|
tree
2017-06-09
Mikhail
G
lush
e
nkov
M
erge p
u
ll req
u
e
s
t
#4554 from ezyang/p
r
/8
.
2-wobbliness
commit
|
commitdiff
|
tree
2017-06-05
Mikhail Glush
e
n
kov
Merge p
u
ll
re
q
uest
#
4549 from cocreature/
i
ssue
-
4521
commit
|
commitdiff
|
tree
2017-05-29
Kristen
Koza
k
Merge pull request #4545 f
r
om grayjay/quickch
e
ck-
c
onst
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2017-05-29
Mikhail Glus
h
en
k
ov
Merge pull
r
equest
#4539
f
rom hvr
/
pr
/
invalid-other
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Joel
M
erge pu
l
l
request
#4536
commit
|
commitdiff
|
tree
2017-05-23
Mikhail Glushen
k
o
v
Merge pul
l
requ
e
st #4534 from hvr/pr/issue-4528b
commit
|
commitdiff
|
tree
2017-05-23
Herbert Valerio
.
.
.
M
e
rge pull
r
equest #4533
commit
|
commitdiff
|
tree
2017-05-19
H
e
rbert Valerio
.
.
.
Merge
p
u
l
l request #45
2
2
commit
|
commitdiff
|
tree
2017-05-19
H
erbert Vale
r
io
.
.
.
Merge
p
ull requ
e
s
t
#4527
from
h
v
r/wip
/
issue-35
8
1
commit
|
commitdiff
|
tree
2017-05-19
M
i
k
hail Glushenko
v
Merge
pull requ
e
st
#
4
526 from 23Skidoo/more
-
ac
c
urate
.
.
.
commit
|
commitdiff
|
tree
2017-05-18
Er
i
k de Castro Lo
p
o
Merge pull
r
e
quest #
4
525 from erik
d
/master
commit
|
commitdiff
|
tree
2017-05-16
H
e
r
bert
V
alerio
.
.
.
Merge pull
r
equest #4518 fr
o
m hv
r
/pr/timestamp2
commit
|
commitdiff
|
tree
2017-05-15
Joel
Merge pull re
q
u
e
st #4490 from b
i
trauser
/
cab
a
l
commit
|
commitdiff
|
tree
2017-05-15
Herbe
r
t Valer
i
o
.
.
.
Merge pull request #4433
from
hvr
/
p
r
/reenable-ghc-envs
commit
|
commitdiff
|
tree
2017-05-09
Kristen Kozak
Merge pull
re
q
ue
s
t #4511
f
rom grayjay/setup-dependencies
commit
|
commitdiff
|
tree
2017-05-07
Ed
w
a
r
d
Z
.
Yang
Merge pu
l
l
request #4
5
08 from ezyan
g
/pr/travis-memory
.
.
.
commit
|
commitdiff
|
tree
2017-05-07
Edward Z
.
Y
ang
Merge
pull request #449
4
f
r
om ezyang/cabal-travis
commit
|
commitdiff
|
tree
2017-05-06
Colin Wahl
M
e
r
g
e pull request #4504
f
rom co
l
inwahl/
c
abal-license
.
.
.
commit
|
commitdiff
|
tree
2017-05-06
Edward Z
.
Yang
Mer
g
e
p
u
ll request #4502 fro
m
ezyang/p
r
/unbo
u
nd-dela
y
s
.
.
.
commit
|
commitdiff
|
tree
2017-05-06
E
dwa
r
d
Z
.
Y
a
ng
Merge pull req
u
e
s
t #4501 from Dani
e
lG/
e
x
e
-
i
n
s
tall-dir
.
.
.
commit
|
commitdiff
|
tree
2017-05-05
Mik
h
ail Glushe
n
kov
M
erge p
u
ll
r
equest #
4
495
from
f
gaz/lint
commit
|
commitdiff
|
tree
2017-05-05
Mikhail Glushenkov
Merge pull request
#4481 from grayjay/enable-independ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2017-05-05
M
ikhail Gl
u
shenkov
M
erge pull
request #4
4
8
2
fro
m
grayjay/local-
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2017-05-05
M
ikhai
l
Glus
h
enk
o
v
Merge pull request #4488 fr
o
m ezy
a
ng/pr
/
i
m
prove-err
o
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-05
Mikha
i
l Glu
s
henkov
Merge pull request #
4
485 from haskell/23Skidoo-patch-1
commit
|
commitdiff
|
tree
2017-05-05
Edward Z
.
Yang
M
e
rge pull
r
equ
e
st #4498 from ezyang/
p
r/unbou
n
d
e
d-delays
.
.
.
commit
|
commitdiff
|
tree
2017-05-05
Morit
z
Ang
e
rm
a
nn
Me
r
ge pull request #4480 from zw3rk
/
master
commit
|
commitdiff
|
tree
2017-05-03
Edward Z
.
Yang
Merge pull req
u
est #4
4
6
0 from pranitbauva1997/d
i
spla
y
.
.
.
commit
|
commitdiff
|
tree
2017-05-02
P
r
a
nit
B
auva
Merge pull request #4487 fro
m
pran
i
tbauv
a
1
997/remov
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-01
Mikhail
G
lushenkov
Ad
d
a pull
r
equest template
.
commit
|
commitdiff
|
tree
2017-04-30
Ed
w
ard Z
.
Ya
n
g
Merg
e
pull request #4478 from ezyang/pr/T4477-t
e
s
tcase
commit
|
commitdiff
|
tree
2017-04-30
E
dwar
d
Z
.
Y
a
n
g
Merge
pull requ
e
st #4470 from ezyang/pr/T4450
commit
|
commitdiff
|
tree
2017-04-28
Erik de
C
a
s
t
ro Lopo
Merge pull
r
equ
e
st #4469 from erikd/topic
/
ezyang-
p
atch
commit
|
commitdiff
|
tree
2017-04-28
Edward Z
.
Ya
n
g
Mer
g
e pull request #43
9
9
from
dcoutts/remote-targets
commit
|
commitdiff
|
tree
2017-04-28
Edw
a
rd Z
.
Yang
Merge pull
request #4455
from ezya
n
g/pr/T
4
447
commit
|
commitdiff
|
tree
2017-04-27
Mikhail Glus
h
enkov
Merg
e
pull request #4459 from ezya
n
g/
p
r/tra
v
i
s-trusty
commit
|
commitdiff
|
tree
2017-04-27
E
d
ward
Z
.
Yang
Merge p
u
ll request #4465 f
r
om pranitba
u
va1997/rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2017-04-26
Mik
h
a
il Glushen
k
ov
Mer
g
e pull
req
u
es
t
#4463 fr
o
m
h
v
r/pr/is
s
ue-4461
commit
|
commitdiff
|
tree
2017-04-23
Mikhail Glushenk
o
v
Merge pull
req
u
est
#4458 from ezyang/pr/appveyor-fix
commit
|
commitdiff
|
tree
2017-04-23
Herbert
V
alerio
.
.
.
Merge pull r
e
quest #4
4
46 from hvr/pr/fix-cpp-
g
h
c
8
2
1
commit
|
commitdiff
|
tree
2017-04-21
Herbert Valerio
.
.
.
Li
n
k agai
n
st libb
s
d
.
a on AIX
commit
|
commitdiff
|
tree
2017-04-07
Krist
e
n Koza
k
Merge
p
ull request #
4
43
0
from
gr
a
y
j
ay/solver-re
f
ac
t
oring
commit
|
commitdiff
|
tree
2017-04-02
Edward Z
.
Yang
Merge pul
l
request #4400 fro
m
dcoutts/store-c
o
ncur
r
ent
commit
|
commitdiff
|
tree
2017-03-31
Mikhail Glushe
n
k
ov
Merg
e
pull
request
#4429 fr
o
m Eric
s
on2314/
l
ibra
r
yC
o
mpo
n
entName
commit
|
commitdiff
|
tree
2017-03-28
Edward Z
.
Yang
Merge pull request
#4
4
25 from ezyang/pr/backp
a
ck-fixes
.
.
.
commit
|
commitdiff
|
tree
2017-03-23
Mik
h
ai
l
Glushen
k
ov
Merge
pull request #4422 from ez
y
ang/pr
/
haddo
c
k-fromflag
commit
|
commitdiff
|
tree
2017-03-23
Mi
k
h
ail G
l
ushenkov
Merg
e
pull reque
s
t
#
4419 from e
z
yang/pr/more-
w
ith-callstack
commit
|
commitdiff
|
tree
2017-03-23
Herbert Valerio
.
.
.
Merge pull req
u
est #
4
4
1
8 from hvr/pr/issue-4414-splitArgs
commit
|
commitdiff
|
tree
2017-03-21
Edward Z
.
Ya
n
g
Merge pull request #4411 from
e
zy
a
n
g
/
pr/appveyo
r
-
curl
commit
|
commitdiff
|
tree
2017-03-21
Edward Z
.
Yang
M
e
rge
pull request #4409
fr
o
m ezy
a
ng/pr/
T
440
5
commit
|
commitdiff
|
tree
2017-03-17
Edward
Z
.
Yang
M
erge pull r
e
quest #4397
from ezyang/pr/omnibus-r
e
factor
commit
|
commitdiff
|
tree
2017-03-16
Edward Z
.
Yang
Me
r
ge pull
r
e
quest #4398 from grayjay/memory-usage
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Edward Z
.
Y
ang
M
e
rge pull reque
s
t #4394 from ezya
n
g/pr/
T
4393
commit
|
commitdiff
|
tree
2017-03-12
Ed
w
ard
Z
.
Ya
n
g
Merge pull r
e
q
uest #4389 from
ezyan
g
/pr/filter-internal
.
.
.
commit
|
commitdiff
|
tree
2017-03-10
Edward Z
.
Yang
Merge pull
request #4386 f
r
om
ezyang
/
pr/in
s
ta
l
l
-plan
.
.
.
commit
|
commitdiff
|
tree
2017-03-10
Edw
a
rd Z
.
Yan
g
M
erge
p
u
ll request
#417
9
fro
m
dc
o
utts
/
target-handling
commit
|
commitdiff
|
tree
2017-03-10
Edward Z
.
Ya
n
g
Merge pull r
e
quest #4382 from Ericson23
1
4/mu
n
ge
commit
|
commitdiff
|
tree
2017-03-10
Edward Z
.
Yang
Merge pull request
#43
8
5 from Ericson2314
/
build-tool
s
.
.
.
commit
|
commitdiff
|
tree
2017-03-07
Edwa
r
d Z
.
Ya
n
g
Merge pull r
e
quest #4378
f
rom ezy
a
ng/pr/ci-tips
commit
|
commitdiff
|
tree
2017-03-07
J
o
hn Erics
o
n
M
e
rge pull
r
equest #4373
f
rom
E
ricson2314/ipi-pec
commit
|
commitdiff
|
tree
2017-03-05
Edward Z
.
Y
a
ng
Merge pull request #4371 from e
z
y
ang/pr/
g
hc-8
.
0
.
2
commit
|
commitdiff
|
tree
next