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
Fix assertion failure when combining build-tool-depends and --enable-documentation
2023-11-19
Kristen Kozak
Remo
v
e debug-conflict-sets flag
f
rom solver
p
ackage
commit
|
commitdiff
|
tree
2023-07-31
Kristen Kozak
Re
m
ove special case fo
r
running solver with no targets
commit
|
commitdiff
|
tree
2023-07-31
K
r
isten
Ko
z
ak
Comb
i
ne
n
on-installable and no
n
-upgradab
l
e package
.
.
.
commit
|
commitdiff
|
tree
2020-05-22
K
ris
t
e
n
Kozak
Update test output w
i
t
h solver
e
rror fo
r
p
r
i
v
a
te depen
d
e
n
cies
.
commit
|
commitdiff
|
tree
2020-05-22
Kris
t
en K
o
zak
Ad
d
solver unit test
s
f
or sub-l
i
b
r
a
ry dependencies
.
.
.
commit
|
commitdiff
|
tree
2020-05-22
K
r
iste
n
Kozak
Solver DSL: Su
p
port
s
ub-libraries
a
nd library v
i
sibili
t
y
.
.
.
commit
|
commitdiff
|
tree
2020-05-22
Kriste
n
Kozak
Solver: Suppo
r
t dependenc
i
es
o
n
s
ub-li
b
rarie
s
(issu
e
.
.
.
commit
|
commitdiff
|
tree
2020-05-22
K
risten Kozak
Update comment about extrac
t
Condition
.
commit
|
commitdiff
|
tree
2020-01-21
Kriste
n
Ko
z
ak
S
h
ow
f
ull
ABI hash
f
or
insta
l
l
e
d packa
g
es i
n
solve
r
.
.
.
commit
|
commitdiff
|
tree
2020-01-18
Kristen Kozak
Merge pull re
q
u
es
t
#5918 fro
m
gr
a
y
jay/version-
a
nd-goal
.
.
.
commit
|
commitdiff
|
tree
2020-01-18
Kristen Kozak
S
o
lver: Pair conflict
se
t
variables wit
h
more i
n
forma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2020-01-12
Kristen
K
ozak
R
e
name two functi
o
n
s and improve th
e
ir comme
n
ts
.
commit
|
commitdiff
|
tree
2020-01-12
Kristen
Ko
z
ak
U
s
e >
=
instead of == to
c
heck whether solver reached
.
.
.
commit
|
commitdiff
|
tree
2020-01-12
Kristen Kozak
Remove an
o
u
t of da
t
e c
o
mment from Conflict
S
et
.
commit
|
commitdiff
|
tree
2020-01-12
Kristen Kozak
Remove u
n
used fi
l
ter
f
u
nct
i
o
n
f
r
om Co
n
fli
c
t
S
et
.
commit
|
commitdiff
|
tree
2020-01-05
Kr
i
sten
Kozak
Show ful
l
ABI hash
for installed pack
a
ges in solver
.
.
.
commit
|
commitdiff
|
tree
2019-12-18
K
r
isten Kozak
Im
p
r
ove reproducibility
of install command used in
.
.
.
commit
|
commitdiff
|
tree
2019-12-18
K
risten Koz
a
k
Update
solve
r
Hackage benchmark for v2-i
n
stall
.
commit
|
commitdiff
|
tree
2018-12-05
Kri
s
ten Kozak
Document --minimize-conflict-set
.
commit
|
commitdiff
|
tree
2018-12-05
Kristen Kozak
A
dd --minimi
z
e-conflict-set t
o
changel
o
g
.
commit
|
commitdiff
|
tree
2018-12-05
Krist
e
n Kozak
Suggest running
w
ith --m
i
nimize-conflict-
s
et in so
l
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
K
r
i
sten Koza
k
Check for pre
s
e
n
ce of var
i
able
b
efore
rem
o
v
i
ng it
with
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Kris
t
en Kozak
Add uni
t
t
e
sts for --minimize
-
conflict-se
t
.
commit
|
commitdiff
|
tree
2018-12-05
Kristen Ko
z
ak
Add --
m
inimize-
c
onflict-set to sol
v
er DSL
.
commit
|
commitdiff
|
tree
2018-12-05
Kristen Kozak
S
o
l
ver:
A
d
d a flag to control minimizing the
c
onflict
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Kri
s
ten Koza
k
Sol
v
e
r
: Im
p
rove error message by
findin
g
a minim
a
l
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Kristen K
o
zak
Use
RetryLog
wh
e
n rerun
n
ing the so
l
v
er
.
commit
|
commitdiff
|
tree
2018-12-05
Kri
s
ten Kozak
R
efactor
generat
i
on of the solver's error m
e
ssage
.
commit
|
commitdiff
|
tree
2018-08-16
Krist
e
n
Kozak
M
erge
p
ull reque
s
t #551
0
from grayj
a
y/
g
oal
-
choice-failure
.
.
.
commit
|
commitdiff
|
tree
2018-08-11
Kristen Kozak
Test full error mess
a
ge for --reject-unc
o
n
s
t
r
a
ined
.
.
.
commit
|
commitdiff
|
tree
2018-08-10
K
risten
Kozak
So
l
ver: Represe
n
t an u
n
known
package with a fai
l
ure
.
.
.
commit
|
commitdiff
|
tree
2018-08-10
Kris
t
en
K
o
zak
Fact
o
r
o
u
t two helper functions
i
n D
.
S
.
Mo
d
ular
.
Expl
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-10
Kristen
Kozak
Remove redunda
n
t
case in D
.
S
.
Modular
.
M
e
ssage
.
showMessage
s
.
commit
|
commitdiff
|
tree
2018-07-31
K
r
isten Koz
a
k
Fix bug i
n
converti
n
g So
l
verI
n
stallPla
n
to Elab
o
ratedInstall
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
Kristen Kozak
Impro
v
e comm
e
nt ab
o
u
t So
l
verInst
a
l
lPla
n
.
commit
|
commitdiff
|
tree
2018-06-08
K
r
isten Koz
a
k
Solver: Check whether co
m
ponent
s
are buildab
l
e
in the
.
.
.
commit
|
commitdiff
|
tree
2018-05-13
Kristen Kozak
Add ch
a
ng
e
l
og entr
y
for PR #5304
.
commit
|
commitdiff
|
tree
2018-05-13
Kriste
n
Kozak
Update
c
abal-install/
c
h
angelog fo
r
2
.
2
.
0
.
0
release
.
commit
|
commitdiff
|
tree
2018-05-09
Kr
i
sten Kozak
Solver: Enforce dependenc
i
e
s
on libr
a
ries (fixes #779)
.
commit
|
commitdiff
|
tree
2018-05-09
Kristen
K
ozak
S
o
lver DSL: Support pac
k
age
s
without libr
a
ries
.
commit
|
commitdiff
|
tree
2018-05-09
Kristen Koz
a
k
S
o
l
ver DSL:
S
upp
o
r
t be
n
c
hmarks, internal libraries
.
.
.
commit
|
commitdiff
|
tree
2018-05-09
Kristen Kozak
Use ha
c
ka
g
e-r
e
po
-
t
ool when running
cabal-testsuite
.
.
.
commit
|
commitdiff
|
tree
2018-05-09
Kristen Kozak
Work around issue #5218
in
c
a
b
al
-
testsuite
.
commit
|
commitdiff
|
tree
2018-05-09
Kristen Koza
k
W
ork around
i
s
s
ue #4515 in
several new-build in
t
e
g
ration
.
.
.
commit
|
commitdiff
|
tree
2018-05-09
Kristen Kozak
Se
t
C
A
B
A
L_D
I
R in cabal-tests (fixes #5187)
.
commit
|
commitdiff
|
tree
2018-05-09
Kristen Kozak
Add CABAL_DIR
en
v
ironment variable for specif
y
ing the
.
.
.
commit
|
commitdiff
|
tree
2018-05-09
Kristen K
o
zak
Run tar
w
ith --force-
l
o
cal
on
Windows in cabal-t
e
st
s
.
.
.
commit
|
commitdiff
|
tree
2018-05-07
Kristen Koza
k
Print all te
s
t
o
u
tput w
h
en
running solver
-
quickcheck
.
.
.
commit
|
commitdiff
|
tree
2018-04-07
Kristen Kozak
Revert
"Use G
H
C
8
.
2
.
2 for solver-deb
u
g-flag
s
Travis
.
.
.
commit
|
commitdiff
|
tree
2018-03-31
K
ri
s
te
n
Kozak
Use
new-build for solver-debug
-
fl
a
gs
T
ravis
j
ob
.
commit
|
commitdiff
|
tree
2018-03-31
Kri
s
ten Kozak
Use GHC 8
.
2
.
2 for solver-debug-flags Travis job
.
commit
|
commitdiff
|
tree
2018-03-16
K
r
i
sten K
o
zak
Merge pu
l
l request
#5
1
66 f
r
o
m
grayjay/refactor-solver-l
o
g
commit
|
commitdiff
|
tree
2018-03-08
Kristen Kozak
M
e
r
ge
p
ull request #5170 from
grayjay
/
i
ssue-4288
commit
|
commitdiff
|
tree
2018-03-08
Kr
i
sten
Kozak
M
e
rg
e
pull request #518
6
from gra
y
jay/update
-
T415
4
commit
|
commitdiff
|
tree
2018-03-05
Kristen
Kozak
U
p
da
t
e
re
g
ression test
f
or
i
ssue #4154 after the
fix
.
.
.
commit
|
commitdiff
|
tree
2018-02-26
Kr
i
s
t
en
Kozak
Add a reg
r
e
s
sion test for issue #4
2
8
8
.
commit
|
commitdiff
|
tree
2018-02-26
Kris
t
e
n
Kozak
Look for transitiv
e
s
e
tup
d
e
pe
n
denc
y
on Cabal when
.
.
.
commit
|
commitdiff
|
tree
2018-02-25
Kr
i
sten Kozak
Skip processing the solver log when the log i
s
n
't need
e
d
.
commit
|
commitdiff
|
tree
2018-02-24
Kristen
K
ozak
Add verbosity
t
o solver DSL
.
commit
|
commitdiff
|
tree
2018-02-24
K
r
isten Kozak
Use
R
etryLog
t
o
avoid an
O
(N) update to th
e
end of
.
.
.
commit
|
commitdiff
|
tree
2018-02-24
Kristen Ko
z
ak
Enforce th
e
backjump limi
t
befor
e
cre
a
tin
g
the sol
v
er
.
.
.
commit
|
commitdiff
|
tree
2018-02-24
Kristen Ko
z
ak
Add a test for the solver's un
k
no
w
n targe
t
error message
.
commit
|
commitdiff
|
tree
2018-02-24
Kristen K
o
zak
Add data type
representing the
st
a
te used when ex
p
loring
.
.
.
commit
|
commitdiff
|
tree
2018-02-19
Kristen Koza
k
Sim
p
lif
y
a funct
i
on
in D
.
Solver
.
Mo
d
ul
a
r
.
commit
|
commitdiff
|
tree
2018-02-19
Kristen Kozak
En
s
ure that conflict
s
ets ar
e
evaluated ev
e
n when
b
a
ck
j
umpin
.
.
.
commit
|
commitdiff
|
tree
2018-02-19
Kris
t
en Kozak
Solve
r
: Use
insert
W
ith
f
r
om D
.
Com
p
a
t
.
Map
.
Str
i
ct in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2018-02-19
Kriste
n
Kozak
Use D
.
Solver
.
C
o
mpat
.
Prelud
e
inst
e
ad of D
.
Client
.
Com
p
at
.
.
.
commit
|
commitdiff
|
tree
2018-02-18
Kristen Kozak
U
s
e 'assertBool'
inst
e
a
d o
f
'
assert'
t
o av
o
i
d
depre
c
ation
.
.
.
commit
|
commitdiff
|
tree
2018-02-12
Kr
i
s
ten Ko
z
ak
Add test for new
-
fr
e
eze flag constraints
.
commit
|
commitdiff
|
tree
2018-02-12
Kristen Kozak
Ad
d
ba
s
ic new-freeze test
.
commit
|
commitdiff
|
tree
2018-02-12
Kriste
n
Kozak
M
ove new
-
f
re
e
ze build tools
test
into a
s
u
bdirect
o
ry
.
commit
|
commitdiff
|
tree
2018-02-10
Kri
s
ten K
o
zak
Merge pull request #5
1
33 from g
r
ayjay/fix-
s
olver-bu
i
ld
.
.
.
commit
|
commitdiff
|
tree
2018-02-10
Kristen Kozak
Fix t
y
po in flag n
a
me in solv
e
r u
n
it tes
t
.
commit
|
commitdiff
|
tree
2018-02-10
Kristen Kozak
Don't ign
o
re go
a
l o
r
d
e
r para
m
e
t
er when genera
t
in
g
summa
r
ized
.
.
.
commit
|
commitdiff
|
tree
2018-01-31
Kriste
n
Kozak
Fix typo in new
-
build error message
.
commit
|
commitdiff
|
tree
2018-01-23
Kristen
Kozak
M
e
rge pull requ
e
s
t
#5035
from
g
rayj
a
y/solv
e
r
-
quic
k
check
.
.
.
commit
|
commitdiff
|
tree
2018-01-22
K
risten K
o
zak
Merg
e
p
u
ll req
u
est #5062 from grayjay/print-quickche
c
k
.
.
.
commit
|
commitdiff
|
tree
2018-01-21
Kristen Kozak
Merge pull
request #
5
023 from gr
a
y
j
a
y/issue-4161
commit
|
commitdiff
|
tree
2018-01-21
Kristen Koz
a
k
Print
the seed before r
u
nning
e
ach s
o
lver-quickcheck
.
.
.
commit
|
commitdiff
|
tree
2018-01-21
Kristen Kozak
Also merg
e
dependencies with
d
i
ffer
e
nt DependencyReasons
.
commit
|
commitdiff
|
tree
2018-01-20
Kristen
K
ozak
Merge depende
n
c
i
es more effe
c
tively in D
.
Solve
r
.
Modular
.
.
.
commit
|
commitdiff
|
tree
2018-01-17
Kristen
Kozak
Solver:
Detect cycles between
pac
k
ages
a
nd their se
t
up
.
.
.
commit
|
commitdiff
|
tree
2018-01-14
Kristen
K
o
zak
Avo
i
d calling 'el
e
me
n
t
s'
o
n
e
m
pty
l
ist in so
l
ver QuickCheck
.
.
.
commit
|
commitdiff
|
tree
2018-01-10
Kristen Kozak
Add unit tests
f
or
the sol
v
er's summarized l
o
g
.
commit
|
commitdiff
|
tree
2018-01-10
Kri
s
ten Kozak
Allow setting -
-
max-backjumps in the solve
r
DSL
.
commit
|
commitdiff
|
tree
2018-01-10
Kristen Kozak
Solver: Remove unused
l
og filt
e
ring fu
n
ctionality
.
commit
|
commitdiff
|
tree
2018-01-10
Kriste
n
Koza
k
R
e
run
d
e
penden
c
y sol
v
er
to gene
r
ate
a better err
o
r
.
.
.
commit
|
commitdiff
|
tree
2018-01-10
Kr
i
s
t
e
n
Kozak
Sol
v
er: Update comment after #47
9
1
.
commit
|
commitdiff
|
tree
2017-12-17
Kristen Kozak
So
l
ver:
C
ombine dep
e
ndenci
e
s o
n
t
h
e same p
a
ckage
in
.
.
.
commit
|
commitdiff
|
tree
2017-12-17
K
r
i
sten Kozak
Call simplifyVe
r
s
i
o
nRange in solver
c
onveni
e
n
c
e f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2017-12-17
Kristen
Kozak
Solver: Remove redundant f
l
ag choi
c
es f
r
om Flagg
e
dDeps
.
commit
|
commitdiff
|
tree
2017-12-17
K
r
i
st
e
n Kozak
Solver: Deduplicate fl
a
gs and stanzas in D
e
pendency
R
eason
.
commit
|
commitdiff
|
tree
2017-12-03
Kr
i
sten
K
o
zak
Update regression test for iss
u
e #3436 aft
e
r
#
4
909
.
commit
|
commitdiff
|
tree
2017-12-02
Kristen Ko
z
ak
Re
s
tore a
few integration te
s
t c
o
mments a
n
d new-build
.
.
.
commit
|
commitdiff
|
tree
2017-11-12
Kristen Kozak
Fix depr
e
cation warning by using D
.
Compat
.
Ma
p
.
S
t
r
i
ct
.
.
.
commit
|
commitdiff
|
tree
2017-11-12
Kristen Koz
a
k
A
d
d more solve
r
tests
for b
u
ild tool
d
e
p
endencies
.
commit
|
commitdiff
|
tree
2017-11-12
Kristen
Koza
k
Add ch
a
n
g
elog entry for e
n
forcing exe depend
e
ncies
.
.
.
commit
|
commitdiff
|
tree
2017-11-12
Kri
s
ten
Kozak
Test that the solver igno
r
es bu
i
ld tool dependenc
i
es
.
.
.
commit
|
commitdiff
|
tree
2017-11-12
K
ri
s
ten
K
oza
k
A
dd tests f
o
r
build-tool
-
depends dependenc
i
es using
.
.
.
commit
|
commitdiff
|
tree
2017-11-12
Kris
t
en
K
ozak
Add
b
uild
-
tool-depend
s
d
e
pendencies t
o
the solver DSL
.
commit
|
commitdiff
|
tree
next