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
Another unit test
2010-03-30
Tho
m
as L
e
o
n
ard
Another unit
t
e
st
commit
|
commitdiff
|
tree
2010-03-29
T
h
omas
Leonard
Fixed s
e
nse error in SAT solver
commit
|
commitdiff
|
tree
2010-03-28
Thomas Leonard
Output debu
g
messages in
a
nicer f
o
rm for writin
g
test
.
.
.
commit
|
commitdiff
|
tree
2010-03-28
Thoma
s
Leonard
Debian
integration: consider uninstalled packag
e
s
too
commit
|
commitdiff
|
tree
2010-03-28
Thomas Leonard
Added
a simple generic
f
ile ca
c
he
commit
|
commitdiff
|
tree
2010-03-26
Thomas L
e
onard
Merge SAT so
l
ver branch
commit
|
commitdiff
|
tree
2010-03-26
Thomas Leonard
I
f
w
e
fail
t
o find a set of versions, try
t
o
return
.
.
.
commit
|
commitdiff
|
tree
2010-03-26
Tho
m
as Leonar
d
More
t
est
s
for SAT
solver
commit
|
commitdiff
|
tree
2010-03-25
Thomas L
e
on
a
rd
R
emove
d
unused code
commit
|
commitdiff
|
tree
2010-03-25
Thom
a
s Leo
n
ard
T
es
t
SA
T
le
a
rning
commit
|
commitdiff
|
tree
2010-03-25
T
homas
Leo
n
ard
Added backtracing to
S
A
T
solver
commit
|
commitdiff
|
tree
2010-03-24
Thomas Leonard
Started
i
mplemen
t
ing SAT solver in Python
commit
|
commitdiff
|
tree
2010-03-22
Thomas
Leonard
Refactor solver
commit
|
commitdiff
|
tree
2010-03-22
Th
o
m
as
L
eonard
Added stress te
s
ts fo
r
s
olver
commit
|
commitdiff
|
tree
2010-03-20
Thomas
L
eonard
Cope with UT
F
-8
in GP
G
key
names
commit
|
commitdiff
|
tree
2010-03-20
T
homa
s
L
eonard
For bad signatur
e
s
,
also
d
isplay any output from GPG
commit
|
commitdiff
|
tree
2010-03-20
T
h
omas L
e
o
n
ard
D
on't abort if importing cu
r
se
s
f
a
i
l
s
commit
|
commitdiff
|
tree
2010-03-20
Th
o
mas Leonard
Allow Fetche
r
.
feed
_
mi
r
r
or to be Non
e
t
o
d
isable
mirroring
commit
|
commitdiff
|
tree
2010-03-20
T
homas L
e
onard
Test rank
i
n
g
of implemen
t
ations by the
s
olver
commit
|
commitdiff
|
tree
2010-03-13
Th
o
m
as Leonard
D
on'
t
select un
c
ached impl
e
mentatio
n
s wit
h
no
do
w
nload
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Select
b
est version o
n
e i
n
terf
a
ce
a
t a time
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Fixed Solver
.
r
e
quir
e
s
;
r
eturn dependencies of selected
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
C
o
nsid
e
r v
e
rsions
in feeds as d
e
pendencies
commit
|
commitdiff
|
tree
2010-03-13
T
h
o
ma
s
Leonard
Suppo
r
t ext
r
a restrictio
n
s pa
s
sed in
b
y
u
ser
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leon
a
rd
Take into acc
o
unt stability preferences
commit
|
commitdiff
|
tree
2010-03-13
Thom
a
s
Leonard
Handl
e
vers
i
on restr
i
c
tions
commit
|
commitdiff
|
tree
2010-03-13
Thomas L
e
onard
Cleaned up some debugging
commit
|
commitdiff
|
tree
2010-03-13
Thom
a
s L
e
onard
Updated test not
t
o care abo
u
t
the order in t
h
e detail
s
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Record de
t
ai
l
s about why an
impleme
n
tation is unavailable
commit
|
commitdiff
|
tree
2010-03-13
T
h
omas Leonard
Take machi
n
e groups into
a
c
count w
h
en solving
commit
|
commitdiff
|
tree
2010-03-13
Th
o
mas
L
eo
n
ar
d
Get arch support working a
g
ai
n
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Consid
e
r
implementat
i
ons from ex
t
r
a
fee
d
s
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leo
n
a
r
d
H
a
ndle depe
n
dencies
commit
|
commitdiff
|
tree
2010-03-13
T
h
omas Le
o
nar
d
Started
a
dding pseud
o
-boo
l
ean solver
commit
|
commitdiff
|
tree
2010-03-09
Thomas Leona
r
d
Start development
s
e
r
ies
0
.
45-post
commit
|
commitdiff
|
tree
2010-03-09
Thomas Leonard
Relea
s
e
0
.
45
commit
|
commitdiff
|
tree
2010-03-06
Thomas Leonard
A
dd
e
d --select-only option
commit
|
commitdiff
|
tree
2010-03-03
Thomas Leonar
d
U
se just
"
python
"
, no
t
"python2
.
5" for running
t
ests
commit
|
commitdiff
|
tree
2010-02-27
Thomas
Le
o
nard
N
on-Ze
r
o
I
ns
t
al
l
Implementati
o
ns get
d
iges
t
s
=
None
commit
|
commitdiff
|
tree
2010-02-27
T
h
omas Leonard
Ne
e
d a
b
s
o
lute pa
t
h when using @local-path
commit
|
commitdiff
|
tree
2010-02-21
T
h
omas
L
eonard
Add
e
d s
u
pport for @local-path at
t
ribute w
h
en pars
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-02-21
Thomas Leonard
Ra
n
k
d
igest algo
r
ithms
and download using the
b
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-21
Thoma
s
Leonard
Implementation
.
id
d
o
esn't have to be pa
t
h or
d
igest
commit
|
commitdiff
|
tree
2010-02-20
T
h
omas Leonard
Al
l
ow https
:
URIs
i
n
<
feed> ele
m
ents
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leona
r
d
A
d
ded Im
p
l
ementati
o
n
.
local_path attrib
u
te
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leon
a
rd
Removed unused code
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leo
n
ard
O
n
l
y
s
h
ow "(was
.
.
.
)
" if t
h
e
i
m
plementation ID
c
h
anged
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leonard
ZeroInstal
l
Fe
e
d
.
_g
e
t
_
impl always creates a new Imp
l
ementation
commit
|
commitdiff
|
tree
2010-02-16
Thomas Leonard
Fixed typo in error
m
essag
e
format s
t
ring
commit
|
commitdiff
|
tree
2010-02-16
Thomas Leonard
Remov
e
d ol
d
chec
k
for gpg
commit
|
commitdiff
|
tree
2010-02-09
Thomas Leon
a
r
d
Don't req
u
ire a bzip2 executable wh
e
n ha
n
dling
.
t
a
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-07
Thomas Leo
n
ard
Support several
packag
e
impleme
n
t
a
ti
o
ns in f
e
ed for
.
.
.
commit
|
commitdiff
|
tree
2010-02-07
Thoma
s
Leonard
Fixe
d
unpack
i
ng of
z
ip a
r
chives
w
ith "ext
r
act"
commit
|
commitdiff
|
tree
2010-01-31
Thomas Leo
n
a
rd
F
i
xed error whe
n
a
d
o
wnload has the wrong size
commit
|
commitdiff
|
tree
2010-01-31
Thomas Leonar
d
D
o
n't i
n
terpre
t
w
i
ldchars in Gentoo packa
g
e name
s
commit
|
commitdiff
|
tree
2010-01-22
Thomas Leona
r
d
Start d
e
velo
p
m
e
nt series
0
.
4
4
-
p
ost
commit
|
commitdiff
|
tree
2010-01-22
Thomas Le
o
na
r
d
Release
0
.
44
commit
|
commitdiff
|
tree
2010-01-09
Th
o
mas Leonard
Fixed out-of-date information
i
n
man-page
commit
|
commitdiff
|
tree
2010-01-09
Thom
a
s Leo
n
ard
E
s
c
a
ped m
i
nus
signs in man-p
a
ges
commit
|
commitdiff
|
tree
2010-01-03
Th
o
mas Leonard
If gpg isn't found
in $PATH, try gpg2
commit
|
commitdiff
|
tree
2010-01-03
Thomas Leonard
Use --fix
e
d-list-mode with gp
g
commit
|
commitdiff
|
tree
2010-01-02
T
h
o
ma
s
Leonard
Fixed s
p
elling erro
r
in man-page
commit
|
commitdiff
|
tree
2009-12-21
Tho
m
as
L
e
o
n
ard
I
n --console
mod
e
, show download
p
rogress if stdout
.
.
.
commit
|
commitdiff
|
tree
2009-12-20
Thomas Leonar
d
I
f gpg --import returns exi
t
status z
e
ro
a
nd wri
t
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-20
T
homas Leona
r
d
Some e
x
tra unit-te
s
ts
commit
|
commitdiff
|
tree
2009-12-19
T
ho
m
as Leonard
When spawning a download su
b
proce
s
s, add zeroi
n
stall
.
.
.
commit
|
commitdiff
|
tree
2009-12-10
Thomas Leona
r
d
Use --batch
wit
h
gpg --impor
t
commit
|
commitdiff
|
tree
2009-11-25
Thoma
s
L
eonard
Allow confirm_import_feed t
o
r
eturn None
commit
|
commitdiff
|
tree
2009-11-22
Thomas Leona
r
d
Start deve
l
opme
n
t se
r
ie
s
0
.
43-po
s
t
commit
|
commitdiff
|
tree
2009-11-22
T
homas Le
o
nard
Release 0
.
43
commit
|
commitdiff
|
tree
2009-11-21
Thomas L
e
on
a
r
d
F
i
x
ed
f
ormat str
i
ng for "0store verify"
commit
|
commitdiff
|
tree
2009-11-15
Thomas
L
e
onard
F
ixe
d
some mino
r
er
r
o
r
s
in the epydoc
.
commit
|
commitdiff
|
tree
2009-11-15
Thomas
L
eonard
If some
downloads failed, say wh
i
ch ones
.
commit
|
commitdiff
|
tree
2009-11-15
Thomas
L
eonard
Removed legacy c
o
d
e
commit
|
commitdiff
|
tree
2009-11-15
Thomas Leonard
Allow an Architecture to decide wh
e
ther to
s
k
i
p <requ
i
res
.
.
.
commit
|
commitdiff
|
tree
2009-10-01
Thomas L
e
onar
d
Fixed
er
r
or when two instances update a feed at once
commit
|
commitdiff
|
tree
2009-09-20
Thomas Leonard
Check full Debian
d
ata
.
tar n
a
mes explicit
l
y
(p
a
ra
n
oia)
commit
|
commitdiff
|
tree
2009-09-11
Thomas Leona
r
d
Start
developme
n
t series 0
.
42
.
1-post
commit
|
commitdiff
|
tree
2009-09-11
T
h
o
mas Leonard
Release 0
.
42
.
1
commit
|
commitdiff
|
tree
2009-09-06
Thomas
L
eo
n
ard
0
d
esktop sets the Terminal
flag
correctly
commit
|
commitdiff
|
tree
2009-09-06
Thomas Leona
r
d
In
t
he Preferen
c
es box
,
sort
t
he do
m
ains in th
e
list
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Thom
a
s Leonard
St
a
r
t
deve
l
opme
n
t series 0
.
42
-
post
commit
|
commitdiff
|
tree
2009-09-06
Thom
a
s Leon
a
rd
Release
0
.
42
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leo
n
ar
d
Fixed
t
ypo in log f
o
rmat string
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leonard
Alw
a
ys run the built-in c
o
py o
f
t
h
e G
U
I
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leonard
The GUI trust box now d
i
splays in
f
ormat
i
on from the
.
.
.
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leonard
Converted GUI
h
andler to
u
se new key confirmation i
n
t
e
r
face
commit
|
commitdiff
|
tree
2009-08-05
Th
o
ma
s
Leonard
Updated tooltip
.
commit
|
commitdiff
|
tree
2009-07-19
T
h
o
mas Leonard
Mark tru
s
t me
s
sages as tra
n
slatable
commit
|
commitdiff
|
tree
2009-07-19
Thoma
s
Leonard
Allow user to sk
i
p ke
y
lookup
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
R
e
c
ord error
s
look
i
n
g up
keys
commit
|
commitdiff
|
tree
2009-07-19
T
homa
s
L
e
onard
U
p
dated unit-t
e
sts
commit
|
commitdiff
|
tree
2009-07-19
T
h
omas Le
o
nard
Report erro
r
s befor
e
starting
n
e
w ta
s
k
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
Cache k
e
y i
n
f
ormation
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
Queue key confi
r
mation prompts
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leon
a
rd
Connect to
a
ke
y
-server to lookup trust h
i
nts
commit
|
commitdiff
|
tree
2009-07-19
Th
o
mas Leona
r
d
Added
H
andler
.
confirm_k
e
ys to replac
e
con
f
irm_trust_keys
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
Allow ht
t
ps
downloads
commit
|
commitdiff
|
tree
2009-07-19
T
hom
a
s Leonard
Ensure tempfile
is
N
on
e
whe
n
a download i
s
u
n
mod
i
fied
commit
|
commitdiff
|
tree
2009-07-19
Thoma
s
L
e
o
nard
Handle Key
b
oardI
n
terrupt exceptions correctly
commit
|
commitdiff
|
tree
next