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
Thomas
L
e
o
nar
d
More tests for
S
AT
s
olv
e
r
commit
|
commitdiff
|
tree
2010-03-25
Thomas
L
eonard
R
e
m
oved unused
code
commit
|
commitdiff
|
tree
2010-03-25
Tho
m
as Leo
n
a
rd
Test SAT learnin
g
commit
|
commitdiff
|
tree
2010-03-25
T
h
omas Leonard
A
dded
backtracing
t
o SAT so
l
ve
r
commit
|
commitdiff
|
tree
2010-03-24
T
h
omas Leonard
Started implementing SAT solver in
Pytho
n
commit
|
commitdiff
|
tree
2010-03-22
Thom
a
s L
e
onard
Re
f
actor solver
commit
|
commitdiff
|
tree
2010-03-22
T
homas Leonard
Added stress tests for s
o
lver
commit
|
commitdiff
|
tree
2010-03-20
Thomas Leonard
T
e
st ra
n
king of implementati
o
ns by
t
he so
l
ver
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Don't
s
elect uncached implementati
o
ns with no downl
o
ad
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
T
h
omas Leonard
Se
l
ect
b
est v
e
rsion one int
e
rface at a time
commit
|
commitdiff
|
tree
2010-03-13
Thomas
Leonard
Fixe
d
Solver
.
requires; ret
u
rn dependencies of
s
elected
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
T
h
omas Leonard
Consider versi
o
n
s
in feeds as depend
e
n
c
i
e
s
commit
|
commitdiff
|
tree
2010-03-13
T
homa
s
Leonard
Support extra restrictions passed in by user
commit
|
commitdiff
|
tree
2010-03-13
Thoma
s
Leonard
Take
into accoun
t
stabilit
y
preferences
commit
|
commitdiff
|
tree
2010-03-13
T
homas L
e
onard
Ha
n
dle version restriction
s
commit
|
commitdiff
|
tree
2010-03-13
Thomas
Leonard
Cleaned up some debug
g
ing
commit
|
commitdiff
|
tree
2010-03-13
Thomas
L
eon
a
rd
Updat
e
d
test not to care about the or
d
er in
the details
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leona
r
d
R
e
cord
details
a
bout why an implementatio
n
is unavaila
b
le
commit
|
commitdiff
|
tree
2010-03-13
Tho
m
as Leonard
Take machin
e
g
ro
u
p
s
i
n
to account when solving
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonar
d
G
et arc
h
support
w
orking a
g
ain
commit
|
commitdiff
|
tree
2010-03-13
Thomas
L
eonard
Cons
i
de
r
implementations
f
rom extra feeds
commit
|
commitdiff
|
tree
2010-03-13
Thoma
s
Leonard
Han
d
le
d
ep
e
ndencies
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
St
a
rted
a
dding pseudo-boolea
n
solver
commit
|
commitdiff
|
tree
2010-03-09
T
h
om
a
s
L
eon
a
r
d
St
a
rt d
e
velopment se
r
ies 0
.
45-
p
os
t
commit
|
commitdiff
|
tree
2010-03-09
Thomas Leonard
Release 0
.
45
commit
|
commitdiff
|
tree
2010-03-06
Thom
a
s Leonard
Added --
s
elect-only option
commit
|
commitdiff
|
tree
2010-03-03
Thomas Le
o
nard
Use just "python",
not "
p
ython2
.
5" for running tests
commit
|
commitdiff
|
tree
2010-02-27
T
h
omas Leonard
N
on-
Z
e
ro Install Implementa
t
ions get
d
iges
t
s
=None
commit
|
commitdiff
|
tree
2010-02-27
Th
o
m
as Leonard
Need absolut
e
path when using @local-path
commit
|
commitdiff
|
tree
2010-02-21
Tho
m
as Leo
n
ard
Added support for @
l
ocal-
p
at
h
attr
i
bu
t
e when parsing
.
.
.
commit
|
commitdiff
|
tree
2010-02-21
Thomas Leonard
R
a
nk
digest algorith
m
s and dow
n
load usi
n
g the best
.
.
.
commit
|
commitdiff
|
tree
2010-02-21
Thomas Leonard
I
m
plementation
.
id doe
s
n't have
t
o be path or digest
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leon
a
rd
Allow https: URIs i
n
<feed> el
e
m
ents
commit
|
commitdiff
|
tree
2010-02-20
Thomas
Leonard
A
d
d
ed Impl
e
mentat
i
o
n
.
local
_
p
a
th
a
ttribute
commit
|
commitdiff
|
tree
2010-02-20
T
h
om
a
s
Le
o
nard
R
e
mo
v
e
d
u
nused
c
o
de
commit
|
commitdiff
|
tree
2010-02-20
Thoma
s
Leonar
d
O
n
l
y show "(was
.
.
.
)
"
i
f
the i
m
pleme
n
tation ID ch
a
nge
d
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leonard
Zero
I
nstallFe
e
d
.
_get_
i
mpl always c
r
eates a new
I
mplementation
commit
|
commitdiff
|
tree
2010-02-16
Tho
m
a
s L
e
onard
Fixed typo i
n
error message fo
r
mat string
commit
|
commitdiff
|
tree
2010-02-16
Th
o
mas Leonar
d
Remov
e
d old check f
o
r gpg
commit
|
commitdiff
|
tree
2010-02-09
Thomas Leonard
Don't
r
equire a bzip2 executable when
handli
n
g
.
tar
.
.
.
commit
|
commitdiff
|
tree
2010-02-07
Th
o
mas Leo
n
ard
Support several package
i
mpl
e
mentatio
n
s in feed for
.
.
.
commit
|
commitdiff
|
tree
2010-02-07
Thom
a
s Leo
n
ard
F
i
xe
d
unpacki
n
g of zip archives w
i
th "extract
"
commit
|
commitdiff
|
tree
2010-01-31
T
h
om
a
s Leo
n
ard
Fixe
d
erro
r
when a download has t
h
e wrong siz
e
commit
|
commitdiff
|
tree
2010-01-31
Th
o
mas Leon
a
r
d
Do
n
'
t
inter
p
ret wildchars
in G
e
ntoo p
a
c
kage names
commit
|
commitdiff
|
tree
2010-01-22
Thomas
L
eonard
Sta
r
t de
v
elopment series
0
.
44
-
pos
t
commit
|
commitdiff
|
tree
2010-01-22
Thomas Leonard
Release 0
.
44
commit
|
commitdiff
|
tree
2010-01-09
Thomas Leonard
Fixed out-of-d
a
te
info
r
mat
i
on in man-page
commit
|
commitdiff
|
tree
2010-01-09
Thomas Leonard
Escape
d
minu
s
signs
in man
-
pages
commit
|
commitdiff
|
tree
2010-01-03
Thomas
Leonard
If
gpg isn'
t
found in $PATH, try gpg2
commit
|
commitdiff
|
tree
2010-01-03
Thomas
L
eonard
Use --fix
e
d-
l
ist-
m
o
d
e with gpg
commit
|
commitdiff
|
tree
2010-01-02
Thom
a
s Leo
n
ar
d
Fixed spelling error in man-page
commit
|
commitdiff
|
tree
2009-12-21
T
homas Leon
a
rd
In --console mode, show download progress
i
f stdout
.
.
.
commit
|
commitdiff
|
tree
2009-12-20
T
h
omas Le
o
n
ard
If gpg --
i
mpor
t
returns e
x
i
t
sta
t
u
s
zero and
w
rit
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-20
Thomas Leona
r
d
Some
e
xtra unit-
t
ests
commit
|
commitdiff
|
tree
2009-12-19
T
h
omas Leonard
Wh
e
n spawning a downloa
d
sub
p
roces
s
,
add zeroinstall
.
.
.
commit
|
commitdiff
|
tree
2009-12-10
Th
o
mas
L
eona
r
d
U
s
e --batch with gpg
-
-im
p
ort
commit
|
commitdiff
|
tree
2009-11-25
T
h
omas Leon
a
rd
A
llow co
n
firm_import_feed to re
t
urn None
commit
|
commitdiff
|
tree
2009-11-22
Thomas Leo
n
ard
S
ta
r
t deve
l
opment ser
i
e
s
0
.
43-pos
t
commit
|
commitdiff
|
tree
2009-11-22
Thomas Leonard
Release 0
.
43
commit
|
commitdiff
|
tree
2009-11-21
Thomas Leonard
Fixed format st
r
ing f
o
r "0store verify"
commit
|
commitdiff
|
tree
2009-11-15
Thomas
Leona
r
d
Fixed some minor
error
s
in the e
p
ydoc
.
commit
|
commitdiff
|
tree
2009-11-15
Thoma
s
Le
o
nard
I
f
some dow
n
loads failed, say w
h
ich ones
.
commit
|
commitdiff
|
tree
2009-11-15
Thomas L
e
onard
Removed
legacy cod
e
commit
|
commitdiff
|
tree
2009-11-15
Thomas Le
o
nard
Al
l
ow an Arch
i
tecture to decide whether to
skip
<requires
.
.
.
commit
|
commitdiff
|
tree
2009-10-01
Thomas Leonard
Fixed error w
h
en two in
s
tances upda
t
e a
fee
d
at
o
nce
commit
|
commitdiff
|
tree
2009-09-20
T
homas Le
o
nard
C
h
eck
full Debia
n
data
.
ta
r
names
e
xpli
c
i
tly (p
a
ranoia)
commit
|
commitdiff
|
tree
2009-09-11
Thoma
s
L
e
onard
Start development se
r
ies 0
.
42
.
1-post
commit
|
commitdiff
|
tree
2009-09-11
Tho
m
as Leonard
R
elease 0
.
42
.
1
commit
|
commitdiff
|
tree
2009-09-06
Th
o
mas Leonard
0desktop sets th
e
Terminal flag corr
e
c
t
ly
commit
|
commitdiff
|
tree
2009-09-06
Thomas
Le
o
nard
In the Preferences
b
ox, sort the domains
in th
e
list
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Thomas Leo
n
ard
S
t
art developm
e
nt series
0
.
42-post
commit
|
commitdiff
|
tree
2009-09-06
Tho
m
a
s
Leo
n
ard
R
e
lease 0
.
42
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leonard
Fi
x
ed typo
i
n log for
m
at strin
g
commit
|
commitdiff
|
tree
2009-08-31
Tho
m
as Leonard
Al
w
a
ys run the built-in copy of the GUI
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leonard
The GUI tr
u
st box
n
ow displays i
n
formation from the
.
.
.
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leonard
Convert
e
d GUI han
d
ler to use new key confirmation inte
r
face
commit
|
commitdiff
|
tree
2009-08-05
Thomas Leonard
Upd
a
ted too
l
t
ip
.
commit
|
commitdiff
|
tree
2009-07-19
T
h
omas
L
eonard
Mark trust messages as tra
n
slatab
l
e
commit
|
commitdiff
|
tree
2009-07-19
Thom
a
s Leonar
d
Allow use
r
to skip key
l
o
o
k
u
p
commit
|
commitdiff
|
tree
2009-07-19
Tho
m
a
s
Leonard
R
e
cord erro
r
s look
i
ng u
p
k
eys
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
U
p
date
d
unit-tests
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
R
e
port err
o
rs before starting
n
ew task
commit
|
commitdiff
|
tree
2009-07-19
Th
o
mas Leonard
Cache k
e
y infor
m
ation
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
Queue key confirmation
p
rom
p
ts
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leo
n
ard
Connect to a key-server to lookup trust hints
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
Adde
d
Handler
.
confirm_keys to replace co
n
firm_trust_
k
eys
commit
|
commitdiff
|
tree
2009-07-19
Th
o
mas Leonard
Allow
h
ttps
down
l
oads
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leo
n
ard
Ens
u
r
e tempfile is None
when
a
down
l
oad is u
n
modified
commit
|
commitdiff
|
tree
2009-07-19
Thom
a
s Leo
n
a
rd
Handle KeyboardInterrupt exceptions
correctly
commit
|
commitdiff
|
tree
2009-07-18
Thomas Leonard
If unpacking fails, report stderr from unpacker child
.
.
.
commit
|
commitdiff
|
tree
2009-07-12
Tho
m
as Leonard
F
ixed li
c
ense output fro
m
the GUI
commit
|
commitdiff
|
tree
2009-07-12
Thoma
s
Leonard
Merge bra
n
c
h 'i18
n
'
commit
|
commitdiff
|
tree
2009-07-12
Thom
a
s Leonard
Import _ into each mo
d
ule rather than us
i
ng
a b
u
iltin
commit
|
commitdiff
|
tree
2009-07-12
Thomas Leonard
Do
n
't install N_() in
the bu
i
ltin na
m
espace
commit
|
commitdiff
|
tree
2009-07-12
Th
o
mas
L
eona
r
d
Moved
l
ocale setting out o
f
the library
commit
|
commitdiff
|
tree
2009-06-30
T
homas Leonard
Merge secu
r
ity fixes fro
m
0
.
41
.
1
commit
|
commitdiff
|
tree
2009-06-28
Tho
m
as
L
eo
n
ard
Ensure th
a
t $HOME is reset by sudo
commit
|
commitdiff
|
tree
2009-06-28
Tho
m
as
L
e
ona
r
d
When us
i
ng
"0s
t
o
r
e
c
opy", make copied directories read
.
.
.
commit
|
commitdiff
|
tree
2009-06-28
Thomas Leo
n
ard
Securi
t
y fix: hard-co
d
e
/
v
ar/cache/0
i
nstall
.
net/implementa
t
i
.
.
.
commit
|
commitdiff
|
tree
2009-06-28
T
homas Leonard
T
r
y t
o
update an icon if the u
s
er
p
ress
e
s "Re
f
resh
"
commit
|
commitdiff
|
tree
next