repo.or.cz
/
zeroinstall
/
solver.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
More tests for SAT solver
2010-03-26
Tho
m
as Leonard
More tests for SAT
solve
r
commit
|
commitdiff
|
tree
2010-03-25
Thom
a
s
Le
o
nard
R
e
moved u
n
used code
commit
|
commitdiff
|
tree
2010-03-25
Thomas Leonard
Test SAT le
a
rning
commit
|
commitdiff
|
tree
2010-03-25
T
homas
Leonard
Added
backtracing to
S
A
T sol
v
er
commit
|
commitdiff
|
tree
2010-03-24
Thomas L
e
o
n
ard
Started implementing SAT sol
v
er
i
n P
y
tho
n
commit
|
commitdiff
|
tree
2010-03-22
Thomas Leonar
d
Refacto
r
solver
commit
|
commitdiff
|
tree
2010-03-22
Thomas Leonard
Ad
d
ed stress tests
for sol
v
er
commit
|
commitdiff
|
tree
2010-03-20
Thomas
Leonard
Test
r
ankin
g
of implementati
o
n
s b
y
t
he s
o
lver
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leona
r
d
Don
'
t select uncached implementa
t
ions with no download
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Sel
e
ct best version one int
e
r
face at a time
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
F
ixed Solver
.
requires; return dependencies of se
l
ect
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leo
n
ard
C
o
nsider versions in f
e
eds
as dependencies
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Support
e
xt
r
a
r
estrictions
p
as
s
ed
i
n by us
e
r
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Take into account stability preferences
commit
|
commitdiff
|
tree
2010-03-13
Th
o
mas L
e
onar
d
Handle version restrictions
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Clea
n
ed up s
o
me d
e
bugging
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonar
d
Update
d
test not to care abo
u
t the
order i
n
th
e
det
a
i
ls
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
Tho
m
as Leonard
Record
d
etails about why an implement
a
tion
is una
v
ailable
commit
|
commitdiff
|
tree
2010-03-13
T
h
omas L
e
ona
r
d
Tak
e
m
achine group
s
into account w
h
en solving
commit
|
commitdiff
|
tree
2010-03-13
T
homas Leonard
Get a
r
ch sup
p
ort w
o
r
king
ag
a
in
commit
|
commitdiff
|
tree
2010-03-13
T
homas Leonard
C
o
nsider imple
m
ent
a
tions from ex
t
ra fee
d
s
commit
|
commitdiff
|
tree
2010-03-13
Tho
m
as Leon
a
rd
Handle depen
d
e
n
cies
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leon
a
r
d
Sta
r
ted addi
n
g pseudo-boolean solver
commit
|
commitdiff
|
tree
2010-03-09
Thomas Le
o
nard
Start dev
e
lo
p
m
e
nt series
0
.
45-post
commit
|
commitdiff
|
tree
2010-03-09
Thom
a
s Leo
n
a
rd
Release 0
.
4
5
commit
|
commitdiff
|
tree
2010-03-06
Thomas Leonard
Added --select-only opt
i
on
commit
|
commitdiff
|
tree
2010-03-03
T
h
omas Leonard
Use just "python"
,
not "pyt
h
on2
.
5"
f
o
r
running
tests
commit
|
commitdiff
|
tree
2010-02-27
Thomas Leonard
N
on-Ze
r
o
Install
Implementations get digests=None
commit
|
commitdiff
|
tree
2010-02-27
Thom
a
s
L
e
onard
Ne
e
d
absolute
pa
t
h whe
n
u
s
ing @local-path
commit
|
commitdiff
|
tree
2010-02-21
Thoma
s
L
eonard
A
d
ded support for @local-pa
t
h
a
t
t
ribute when parsi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-21
Thomas L
e
on
a
rd
Rank
d
i
g
est alg
o
rit
h
ms and download us
i
ng the
b
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-21
Thomas L
e
o
n
a
r
d
Implement
a
tion
.
i
d
doesn'
t
have t
o
be path
or digest
commit
|
commitdiff
|
tree
2010-02-20
T
h
oma
s
Leonard
Allow https: URIs in <feed> e
l
em
e
nts
commit
|
commitdiff
|
tree
2010-02-20
Tho
m
as Leonard
Added Im
p
lem
e
nt
a
tion
.
lo
c
al_
p
ath
a
ttribute
commit
|
commitdiff
|
tree
2010-02-20
Thomas
L
eonard
Removed unused code
commit
|
commitdiff
|
tree
2010-02-20
Thom
a
s Leonard
Only show "(was
.
.
.
)"
i
f th
e
impl
e
me
n
tation ID change
d
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leonard
ZeroInstallFe
e
d
.
_get
_
impl always cr
e
ates a new Imple
m
entation
commit
|
commitdiff
|
tree
2010-02-20
Re
n
e Lopez
F
ixed
e
r
r
o
r
for passing a p
a
rameter
t
h
a
t
wasn't a G
T
KWindow
commit
|
commitdiff
|
tree
2010-02-16
Al
e
ksey L
i
m
Fixed e
r
r
o
r
when ch
e
c
k
ing f
o
r
a Gentoo category t
h
at
.
.
.
commit
|
commitdiff
|
tree
2010-02-16
T
h
omas Leonard
Fixed typo in
e
rror message fo
r
mat
s
tr
i
ng
commit
|
commitdiff
|
tree
2010-02-16
Thomas
L
eonard
Rem
o
v
e
d old check for gpg
commit
|
commitdiff
|
tree
2010-02-13
A
lekse
y
Li
m
"No aut
o
matic
u
pdates" didn't work
commit
|
commitdiff
|
tree
2010-02-09
Th
o
mas
Leonard
D
o
n't require a bzip2 e
x
ecutable when handling
.
t
a
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-07
Thomas Le
o
nard
Support seve
r
al package implementations
i
n feed for
.
.
.
commit
|
commitdiff
|
tree
2010-02-07
Thoma
s
Leon
a
rd
Fixe
d
u
n
p
a
ckin
g
of zip arch
i
ves w
i
th "ext
r
a
c
t"
commit
|
commitdiff
|
tree
2010-01-31
Thom
a
s
L
eo
n
ard
Fi
x
ed error when a download has the wrong size
commit
|
commitdiff
|
tree
2010-01-31
Tho
m
as
Leonard
Don't i
n
t
e
rpret
w
ildchars in
G
entoo
p
ackage
names
commit
|
commitdiff
|
tree
2010-01-30
Aleksey Lim
Add support for nat
i
ve Gentoo packages
commit
|
commitdiff
|
tree
2010-01-22
Thomas Leonard
Sta
r
t developme
n
t
s
erie
s
0
.
44-post
commit
|
commitdiff
|
tree
2010-01-22
Thomas Leonard
Re
l
ease 0
.
4
4
commit
|
commitdiff
|
tree
2010-01-17
Anders F Bjorklund
C
anoni
c
alize
architec
t
ures
commit
|
commitdiff
|
tree
2010-01-09
T
homas
L
eonard
Fi
x
ed out-of-date info
r
mation in
m
an-pag
e
commit
|
commitdiff
|
tree
2010-01-09
Thomas Leonard
Esc
a
ped m
i
nus signs
i
n
m
an-pages
commit
|
commitdiff
|
tree
2010-01-03
Thomas
L
eonar
d
If g
p
g isn't fo
u
nd i
n
$PATH, try gpg2
commit
|
commitdiff
|
tree
2010-01-03
Thomas Leonard
Use
--fi
x
ed-l
i
st-mode with gpg
commit
|
commitdiff
|
tree
2010-01-02
Thomas Leonar
d
Fixed spellin
g
e
rror
i
n man-page
commit
|
commitdiff
|
tree
2009-12-21
Thom
a
s
L
eonard
In --cons
o
le mode, show download pr
o
gre
s
s if stdout
.
.
.
commit
|
commitdiff
|
tree
2009-12-20
Thom
a
s
Leonar
d
If
g
pg
--
i
m
p
ort retu
r
n
s
e
x
i
t status
zero and
w
r
ites
.
.
.
commit
|
commitdiff
|
tree
2009-12-20
Thom
a
s Leonard
So
m
e
extra unit-tests
commit
|
commitdiff
|
tree
2009-12-19
Th
o
ma
s
Leona
r
d
W
h
en spawning a
d
ownload subprocess,
a
d
d ze
r
oinstall
.
.
.
commit
|
commitdiff
|
tree
2009-12-10
Thomas Leonard
Use -
-
batch
w
ith
g
pg --
i
mp
o
r
t
commit
|
commitdiff
|
tree
2009-11-25
T
h
o
ma
s
L
e
onard
A
l
lo
w
confirm_impo
r
t
_
f
eed to ret
u
rn None
commit
|
commitdiff
|
tree
2009-11-22
Thom
a
s Leonard
Start develop
m
ent
s
eries
0
.
43-post
commit
|
commitdiff
|
tree
2009-11-22
Thomas L
e
onard
Release 0
.
43
commit
|
commitdiff
|
tree
2009-11-21
T
h
omas
L
e
o
nard
Fixed fo
r
mat stri
n
g for "0store ve
r
ify"
commit
|
commitdiff
|
tree
2009-11-15
Thomas L
e
onard
F
i
x
ed some min
o
r errors in
t
h
e
e
p
ydoc
.
commit
|
commitdiff
|
tree
2009-11-15
Th
o
mas
L
eo
n
ard
If some downloads failed, say whi
c
h ones
.
commit
|
commitdiff
|
tree
2009-11-15
Th
o
mas
L
eonar
d
Remove
d
lega
c
y
code
commit
|
commitdiff
|
tree
2009-11-15
Thom
a
s
Leonar
d
Allow an Architectu
r
e to decide w
h
ethe
r
to
s
k
i
p <requires
.
.
.
commit
|
commitdiff
|
tree
2009-10-27
Rene
L
opez
Add
s
u
pport for xz comp
r
essed tars
commit
|
commitdiff
|
tree
2009-10-17
R
ene
L
opez
A
dd support for fetchin
g
feeds over htt
p
s
commit
|
commitdiff
|
tree
2009-10-10
Rene Lopez
Added
S
panish l10n
commit
|
commitdiff
|
tree
2009-10-10
Re
n
e Lop
e
z
Cha
n
ged some strings
f
or
better i18n
commit
|
commitdiff
|
tree
2009-10-10
Rene Lope
z
Make sure that GTK
Build
e
r uses zero-install as the
.
.
.
commit
|
commitdiff
|
tree
2009-10-01
Thomas Leon
a
r
d
F
i
xed erro
r
when
t
w
o
i
n
s
ta
n
ces u
p
date a fee
d
at once
commit
|
commitdiff
|
tree
2009-09-20
Th
o
m
a
s
Le
o
nard
C
h
eck ful
l
D
e
bi
a
n
d
a
ta
.
tar names explic
i
t
ly
(paranoia)
commit
|
commitdiff
|
tree
2009-09-20
Re
n
e L
o
pez
Add s
u
pport for mor
e
type
s
o
f
c
o
mpresion inside a
d
eb
commit
|
commitdiff
|
tree
2009-09-11
T
h
omas
Leo
n
ard
Start development ser
i
es
0
.
42
.
1
-post
commit
|
commitdiff
|
tree
2009-09-11
Th
o
mas Leonard
Rele
a
se 0
.
42
.
1
commit
|
commitdiff
|
tree
2009-09-11
R
e
ne
Lopez
Removed
u
nused in
s
t
ances of gtk
.
tool
t
ips
commit
|
commitdiff
|
tree
2009-09-11
R
e
ne Lopez
Fix zero-in
s
tall
.
ui duplicate obje
c
t
commit
|
commitdiff
|
tree
2009-09-06
Thomas L
e
o
nard
0deskt
o
p sets the Terminal
flag c
o
rrectly
commit
|
commitdiff
|
tree
2009-09-06
Thomas Leonard
In the Prefer
e
nces box,
s
o
r
t
the domains in t
h
e list
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Thomas
L
e
o
nard
Sta
r
t deve
l
o
pment seri
e
s 0
.
42-p
o
st
commit
|
commitdiff
|
tree
2009-09-06
T
homas Leona
r
d
Re
l
e
a
se 0
.
42
commit
|
commitdiff
|
tree
2009-08-31
T
ho
m
as Leonard
Fixed typo in log format string
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leonar
d
Al
w
ays run t
h
e
b
uilt-in
c
opy of the
G
U
I
commit
|
commitdiff
|
tree
2009-08-31
T
h
omas Leon
a
rd
The GUI tr
u
st box
n
o
w displays informati
o
n f
r
o
m
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-31
Thom
a
s Le
o
nard
C
o
nvert
e
d GUI ha
n
dler to use new key confirmation in
t
er
f
ace
commit
|
commitdiff
|
tree
2009-08-30
A
n
ders F Bjorklu
n
d
Allow mu
l
tipl
e
versions o
f
each dist
r
ibution p
a
ckage
commit
|
commitdiff
|
tree
2009-08-07
Re
n
e Lopez
Fi
x
ed
.
ui f
i
le
s
requiri
n
g
g
tk 2
.
1
6
instead of 2
.
12
commit
|
commitdiff
|
tree
2009-08-05
Thomas Leonard
U
p
d
a
ted tooltip
.
commit
|
commitdiff
|
tree
2009-08-05
Ren
e
Lopez
Rep
l
aced Glade with GtkBuil
d
er
commit
|
commitdiff
|
tree
2009-08-02
Rene Lop
e
z
R
e
moved u
s
e gtk
.
FileSelection in favour of gtk
.
FileChooserDialog
commit
|
commitdiff
|
tree
2009-07-29
Rene L
o
pez
M
a
ke
c
hanges to s
o
m
e strings
to im
p
r
ove
the i18n
commit
|
commitdiff
|
tree
2009-07-19
Thomas
Leonard
Mar
k
trust messages as tran
s
latable
commit
|
commitdiff
|
tree
2009-07-19
Thomas
Leonard
Allow user to skip key loo
k
up
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leon
a
rd
R
ecord e
r
r
ors lookin
g
up
keys
commit
|
commitdiff
|
tree
2009-07-19
Thomas
L
e
onard
U
pdated
unit-tests
commit
|
commitdiff
|
tree
2009-07-19
T
homas
Leonard
Rep
o
rt er
r
o
r
s
b
e
f
o
re starti
n
g new task
commit
|
commitdiff
|
tree
next