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 pull request #4814 from 23Skidoo/issue-4793
2017-10-05
Mikhail Glushenkov
Merge p
u
ll request #4814 from 23Skidoo/issue-47
9
3
commit
|
commitdiff
|
tree
2017-10-05
r
ecursi
o
n-ninja
Merge
p
ull req
u
e
st #
4
81
0
fro
m
recursion-ninja/mast
e
r
commit
|
commitdiff
|
tree
2017-10-01
Vaibhav Sagar
Merge pull
request #4
8
0
4
from
vaibh
a
vsagar/patc
h
-1
commit
|
commitdiff
|
tree
2017-10-01
Vaibhav S
a
gar
Upd
a
te
G
H
C
.
hs
commit
|
commitdiff
|
tree
2017-09-28
Mikha
i
l Glushenk
o
v
Merge pull reque
s
t
#4796
f
rom ezyang/pr/
b
ackpack-profilin
g
commit
|
commitdiff
|
tree
2017-09-28
Ryan
S
c
o
tt
Merge pull request #4
8
01
f
rom RyanGlSco
t
t
/
master
commit
|
commitdiff
|
tree
2017-09-28
R
yan
Sco
t
t
Add Derivin
g
St
r
ategies and
UnboxedSums to Language
commit
|
commitdiff
|
tree
2017-09-27
Mikhail Glu
s
h
enko
v
M
e
rge pull request #
4
7
91 from gr
a
yjay/remove-
P
I-from-Var
commit
|
commitdiff
|
tree
2017-09-27
Mik
h
ail Glushe
n
kov
Merge pull request #4795 fr
o
m 23
S
kidoo/a
l
ang9-
m
a
s
ter
commit
|
commitdiff
|
tree
2017-09-27
Mikhail Glushe
n
kov
Me
r
ge pul
l
req
u
est #4794 fr
o
m haskell/
2
3S
k
idoo-patch-1
commit
|
commitdiff
|
tree
2017-09-26
Mikhail
G
lushenkov
M
erge p
u
ll reques
t
#472
2
from f
g
az/new-e
x
ec/1
commit
|
commitdiff
|
tree
2017-09-26
France
s
co Gaz
z
etta
Merge b
r
anch
'
ma
s
ter'
i
nto new-exec/1
commit
|
commitdiff
|
tree
2017-09-26
Mikhail Glushenko
v
Use tar
instead of un
x
z
.
commit
|
commitdiff
|
tree
2017-09-21
Herber
t
Valerio
.
.
.
M
e
rge pull
re
q
ue
s
t #4779 from hvr/p
r
/
issue-4777
commit
|
commitdiff
|
tree
2017-09-21
Herb
e
rt Valerio
.
.
.
Merge p
u
ll reques
t
#4778 f
r
om hvr/pr/case-
s
ens-cli
commit
|
commitdiff
|
tree
2017-09-20
Oleg Grenrus
Me
r
ge pull re
q
u
est #4702 from phad
e
j/fields
-
parser
commit
|
commitdiff
|
tree
2017-09-19
Mikhail Glushenk
o
v
Merge pull
request #4
7
75 from cocreat
u
r
e
/te
s
t-su
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2017-09-19
Herber
t
Valerio
.
.
.
Merge pull re
q
uest #4
7
73 from
h
v
r
/pr
/
comp-d
i
s
t
di
r
commit
|
commitdiff
|
tree
2017-09-13
Michael Sn
o
yman
Merge pull req
u
es
t
#4764 from hask
e
ll/4
7
63-foreign
.
.
.
commit
|
commitdiff
|
tree
2017-09-12
Mik
h
ail Glushenkov
Merge pull request
#
475
9
from W4RH4WK/patch-1
commit
|
commitdiff
|
tree
2017-09-12
Alex Hirsch
F
i
x new-build comp
o
ne
n
t name
doc
s
commit
|
commitdiff
|
tree
2017-09-12
Mikhail Glushenk
o
v
Merge
pu
l
l request
#4758 fro
m
bg
a
m
a
ri/l
o
g-
c
w
d
commit
|
commitdiff
|
tree
2017-09-10
Mikh
a
il Gl
u
shenko
v
M
erge pull request
#4756 from
nomeata/typo
commit
|
commitdiff
|
tree
2017-09-09
Mikhail Glush
e
nk
o
v
M
ention [c
i
skip] in
t
h
e pull request template
.
commit
|
commitdiff
|
tree
2017-09-09
M
ikhail Glushenkov
M
e
rge pull request #
4
752 from cocreatur
e
/ty
p
o
commit
|
commitdiff
|
tree
2017-09-04
Ole
g
Gr
e
nr
u
s
Merge pul
l
request
#
4740 from phadej/foldable-all-any
commit
|
commitdiff
|
tree
2017-09-03
Oleg Gr
e
nrus
Merge pu
l
l req
u
est #4738 from
p
hade
j
/unfoldrM
commit
|
commitdiff
|
tree
2017-09-03
Oleg
Grenrus
Me
r
ge p
u
ll request #4736 from phadej
/
poor-man-doctest
commit
|
commitdiff
|
tree
2017-09-01
Oleg Grenr
u
s
Mer
g
e pull request
#
4
7
35 from phade
j
/types-lens
commit
|
commitdiff
|
tree
2017-09-01
Oleg Grenrus
Merge pull reque
s
t #4733 from phadej
/
pret
t
y
commit
|
commitdiff
|
tree
2017-09-01
Oleg Gren
r
u
s
Merge p
u
ll re
q
uest #4730 from
p
hadej/versio
n
-ranges
.
.
.
commit
|
commitdiff
|
tree
2017-08-31
O
l
e
g Gr
e
nrus
Merge pu
l
l
r
e
q
u
est #47
3
1 from phadej/newty
p
e
s
commit
|
commitdiff
|
tree
2017-08-30
Herbert Valerio
.
.
.
M
erge p
u
l
l
r
equest #4724
commit
|
commitdiff
|
tree
2017-08-29
Oleg Gren
r
us
Merge pull reque
s
t #4709
fro
m
pha
d
e
j/
a
lens
commit
|
commitdiff
|
tree
2017-08-28
Peter Simo
n
s
Merge pull request #472
5
from p
e
ti/master
commit
|
commitdiff
|
tree
2017-08-26
Mikhail Glushenkov
Update change
l
og
commit
|
commitdiff
|
tree
2017-08-26
Mikhail Gl
u
shenkov
Merge
p
ull request #4673 from b
g
amari/debug-levels
commit
|
commitdiff
|
tree
2017-08-25
Mik
h
a
i
l
G
l
ushenkov
Mer
g
e pull req
u
est #4714 from DanielG
/
demote-scope
.
.
.
commit
|
commitdiff
|
tree
2017-08-25
Bard
u
r
Arantsson
Mer
g
e pull request #
4
717 from ve
d
k
sah/patc
h
-1
commit
|
commitdiff
|
tree
2017-08-22
vedk
s
ah
Fix typo
commit
|
commitdiff
|
tree
2017-08-22
Moritz Kiefer
M
e
rge
p
ul
l
req
u
es
t
#
4
716 from cocr
e
ature/cc
-
optimizatio
n
s
commit
|
commitdiff
|
tree
2017-08-22
M
oritz Angermann
Merg
e
pull reques
t
#465
6
from zw3rk/fe
a
t
ure/store-lib
commit
|
commitdiff
|
tree
2017-08-20
O
le
g
Gr
e
n
ru
s
Merge pull request #4713
f
rom p
h
adej/
m
ore-lenses
commit
|
commitdiff
|
tree
2017-08-20
Oleg
G
renrus
Merge
pull request #
4
708 f
r
om phadej/
s
ourcerepo-
l
ens
commit
|
commitdiff
|
tree
2017-08-19
Herbert V
a
lerio
.
.
.
Merge
pul
l
re
q
uest #
4
7
1
0
commit
|
commitdiff
|
tree
2017-08-18
Oleg Grenru
s
Merge
pull
req
u
e
st #
4
70
7
from phad
e
j/iss
u
e-7
4
4
commit
|
commitdiff
|
tree
2017-08-18
Oleg Grenr
u
s
Merge pull request #4
7
0
6 from phade
j
/parse-re
s
ult-cps
.
.
.
commit
|
commitdiff
|
tree
2017-08-17
Oleg Gren
r
u
s
Merge
p
u
ll request #47
0
1 from phadej/lensify
commit
|
commitdiff
|
tree
2017-08-17
Oleg G
r
enrus
Merge
p
ull req
u
est #47
0
5 from phadej/par
s
e-re
s
u
l
t-cps
commit
|
commitdiff
|
tree
2017-08-17
Mikhail Gl
u
shenkov
Merge
p
u
l
l re
q
uest #4695 from
2
3Skidoo/ar
r
ow
d
-maste
r
commit
|
commitdiff
|
tree
2017-08-17
Mic
h
a
e
l Snoyman
Merge pull request #4704 from haskell/4703-
i
m
prove
.
.
.
commit
|
commitdiff
|
tree
2017-08-17
O
l
eg Grenrus
Merge pull request #4700 from pha
d
ej/go
l
den-Diff
commit
|
commitdiff
|
tree
2017-08-16
Oleg G
r
enru
s
Merge pull request #4698 from phadej/alex-
l
atin1
commit
|
commitdiff
|
tree
2017-08-16
Oleg Gr
e
nrus
Merge pull request #4694 from phade
j
/patch-glued-operators
commit
|
commitdiff
|
tree
2017-08-15
Mikhail Gl
u
she
n
ko
v
Merg
e
pull
r
e
quest
#
4693
from tf
a
usak
/
st
a
cka
g
e-lts-9
.
0
commit
|
commitdiff
|
tree
2017-08-15
Oleg
G
r
e
nrus
Merge p
u
ll req
u
est #46
9
0 f
r
om phadej/c
o
rrect-since
commit
|
commitdiff
|
tree
2017-08-15
O
le
g
G
r
enrus
Merg
e
p
ull request #4654 fro
m
p
hadej/parsec-on
l
y
commit
|
commitdiff
|
tree
2017-08-14
Oleg Grenrus
Merge pu
l
l request #468
7
from phadej
/
cabal-
c
heck
-
f
l
ag
s
commit
|
commitdiff
|
tree
2017-08-13
Kristen Kozak
M
e
rge pull r
e
quest #
4
674 from grayjay/solver-
h
ac
k
a
ge
.
.
.
commit
|
commitdiff
|
tree
2017-08-12
Mikhail Glushenkov
Merge pull request #4680 from tuncer/tryin
g
-configure-msg
commit
|
commitdiff
|
tree
2017-08-11
Francesco
Gazzetta
Merge branch 'ma
s
te
r
' into
new-exec/1
commit
|
commitdiff
|
tree
2017-08-10
Herbert Valerio
.
.
.
Merg
e
pull request
#
4679
commit
|
commitdiff
|
tree
2017-08-10
Herb
e
rt Valerio
.
.
.
Merge branch 'm
a
ster'
i
n
to pr/accumulate-allow
commit
|
commitdiff
|
tree
2017-08-10
Herb
e
rt
Va
l
erio
.
.
.
Merge pull request #4666
commit
|
commitdiff
|
tree
2017-08-09
M
i
khai
l
Gl
u
shenkov
Merge pull r
e
quest #4623
f
rom a
l
e
x
bieh
l
/pr/global-store
.
.
.
commit
|
commitdiff
|
tree
2017-08-09
Mikhail
G
lushenko
v
Merge branch 'ma
s
ter' i
n
to pr/g
l
oba
l
-store-
f
lag
commit
|
commitdiff
|
tree
2017-08-09
Herbert Valerio
.
.
.
Merge pull re
q
uest #4669
commit
|
commitdiff
|
tree
2017-08-07
Francesco Gazzetta
Merge pul
l
request #4641
from fgaz/new-run/datafiles-2
commit
|
commitdiff
|
tree
2017-08-05
Herb
e
rt
V
alerio
.
.
.
Me
r
ge pull request #4665
f
ro
m
hvr/pr/get
P
rogra
m
Invocat
i
onOu
t
.
.
.
commit
|
commitdiff
|
tree
2017-08-05
Edward Z
.
Yang
Merge pull re
q
uest
#
4664 from themo
r
itz/master
commit
|
commitdiff
|
tree
2017-08-02
B
a
r
dur Arantsso
n
Merge pull request #465
7
from alexbiehl/
p
r/
n
o-d
e
faults
commit
|
commitdiff
|
tree
2017-08-02
Ale
x
ander Biehl
Update c
h
a
ngelog
commit
|
commitdiff
|
tree
2017-08-02
A
l
exa
n
der Biehl
A
l
itt
l
e docum
e
n
tion
commit
|
commitdiff
|
tree
2017-08-02
Edward
Z
.
Yan
g
Merge pull request #4
6
17 from zw3rk/
f
eature
/
stati
c
l
ib
commit
|
commitdiff
|
tree
2017-08-01
E
dward
Z
.
Y
a
ng
Merge pull request #4649 fr
o
m
a
lexbiehl/pr
/
con
f
ig
-
file
commit
|
commitdiff
|
tree
2017-07-29
E
d
w
ard Z
.
Yang
Me
r
ge pull requ
e
s
t #4634
f
rom ezyang/pr/travis-2
.
0
commit
|
commitdiff
|
tree
2017-07-25
Mi
k
hail Gl
u
s
hen
k
o
v
Me
r
ge pull request #4596 from sergv/
l
eave-
s
ingle-in
v
ocati
o
n
.
.
.
commit
|
commitdiff
|
tree
2017-07-25
Francesco Ga
z
z
e
tta
M
e
rge pull r
e
q
u
est #
4
614 from fgaz/ne
w
-bench/1
commit
|
commitdiff
|
tree
2017-07-21
Mikhail Glushe
n
kov
Merge
p
ull re
q
uest #4612 fro
m
suz
u
mi
y
asmith/master
commit
|
commitdiff
|
tree
2017-07-21
Mikh
a
i
l Gl
u
s
h
e
nkov
Merge pull req
u
est #462
0
from amir/compact
-
b
uild-profil
e
.
.
.
commit
|
commitdiff
|
tree
2017-07-20
F
r
a
n
cesco
G
az
z
et
t
a
Merg
e
pull reques
t
#46
0
7 fr
o
m fgaz/new-run/re
d
uce-du
p
lication
commit
|
commitdiff
|
tree
2017-07-20
Edwar
d
Z
.
Y
ang
M
e
rg
e
pull request #4610 from fgaz/new-
r
un/datafiles
commit
|
commitdiff
|
tree
2017-07-17
Mikhail G
l
ush
e
nkov
Merge p
u
ll request #4
6
0
5
from amir/pri
n
t-
b
uild-profile
.
.
.
commit
|
commitdiff
|
tree
2017-07-16
F
r
a
ncesc
o
Gazzet
t
a
Merge pull
r
eques
t
#4586 from fgaz/new-run-2
commit
|
commitdiff
|
tree
2017-07-16
Fran
c
esco Gazzetta
Merge br
a
nch
'
ma
s
ter' i
n
to new-run-2
commit
|
commitdiff
|
tree
2017-07-10
Mi
k
hail Glu
s
he
n
kov
Merge pull request #4599 f
r
om gray
j
ay/conflict-
c
ounting-bug
commit
|
commitdiff
|
tree
2017-07-10
Francesco Gazz
e
tta
Fix now incorrect new-
t
est example
commit
|
commitdiff
|
tree
2017-07-10
Mikhail Glushe
n
kov
Merge pull
r
equest
#
45
9
8 fro
m
duog/mast
e
r
commit
|
commitdiff
|
tree
2017-07-07
Mikhail
Glushenko
v
Mer
g
e
pu
l
l request #4591 f
r
om ivan
-
m/patch-1
commit
|
commitdiff
|
tree
2017-07-07
Ivan Laza
r
Miljenovic
Remove extra spac
e
from
ChangeLog gene
r
at
i
o
n
commit
|
commitdiff
|
tree
2017-07-06
Mi
k
hail
G
lushenkov
M
erge pull
r
equest #4588 from p-alik/master
commit
|
commitdiff
|
tree
2017-07-05
Mikhail Glushenkov
Me
r
ge
pul
l
reque
s
t #4584 from p-ali
k
/ma
s
t
e
r
commit
|
commitdiff
|
tree
2017-07-05
M
i
khail
G
lushenkov
Mer
g
e pull request #4583 fro
m
fga
z
/patch-1
commit
|
commitdiff
|
tree
2017-07-05
Mikhail
Glushe
n
kov
M
erge pull reque
s
t
#
4587
from s
e
rgv/
s
pee
d
-up-equ
a
l
.
.
.
commit
|
commitdiff
|
tree
2017-07-05
Mi
k
hail Glushen
k
ov
Mer
g
e pull
request #4441 from phadej/gold-linke
r
-tr
a
vis
commit
|
commitdiff
|
tree
2017-07-04
Mikhail G
l
ushenkov
Me
r
ge pull request #456
2
from grayj
a
y/fl
a
g
-varia
b
les
commit
|
commitdiff
|
tree
2017-07-03
H
e
rbert Vale
r
i
o
.
.
.
M
erge pull
r
e
q
uest
#
4575
from hvr/pr/e
x
tend
e
d-rela
x
.
.
.
commit
|
commitdiff
|
tree
2017-06-21
Mikhail G
l
ushenkov
Merge pull
request #4547
f
rom BardurArantsson/move
.
.
.
commit
|
commitdiff
|
tree
2017-06-16
Edward Z
.
Yang
M
erge pul
l
request #4563 from grayjay/refactor-validat
e
commit
|
commitdiff
|
tree
2017-06-16
Edward Z
.
Ya
n
g
Merge pull request #4564 from grayjay
/
solver-
d
sl-g
o
al
.
.
.
commit
|
commitdiff
|
tree
next