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
Test SAT learning
2010-03-25
Th
o
mas
L
eonard
Test S
A
T learning
commit
|
commitdiff
|
tree
2010-03-25
T
homas Leo
n
ard
Added bac
k
tracing to SAT
s
olver
commit
|
commitdiff
|
tree
2010-03-24
Thomas Leonard
St
a
rted implementi
n
g SAT solver in Python
commit
|
commitdiff
|
tree
2010-03-22
Thomas Leonard
Refactor
solver
commit
|
commitdiff
|
tree
2010-03-22
Thomas Leonard
Add
e
d stress tests f
o
r solver
commit
|
commitdiff
|
tree
2010-03-20
Thoma
s
L
e
onard
Te
s
t ranking of im
p
lemen
t
ations
b
y the solve
r
commit
|
commitdiff
|
tree
2010-03-13
T
h
omas Leonard
D
on'
t
select uncached implementa
t
ions with n
o
downlo
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
T
homas Leonard
Select best
v
ersion one interface at a time
commit
|
commitdiff
|
tree
2010-03-13
Th
o
ma
s
Leonard
Fi
x
ed
S
o
l
v
e
r
.
requires; return
d
ependencies
of se
l
ected
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
T
homas Leonar
d
C
o
n
s
ider versions
in fe
e
ds
a
s depe
n
den
c
i
e
s
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leona
r
d
Support extra restrict
i
ons p
a
sse
d
in by user
commit
|
commitdiff
|
tree
2010-03-13
Tho
m
as Leonard
T
a
k
e int
o
accou
n
t stability
preference
s
commit
|
commitdiff
|
tree
2010-03-13
Thoma
s
Leonar
d
H
andle
v
ersion restrictions
commit
|
commitdiff
|
tree
2010-03-13
Thomas Le
o
nard
Cl
e
aned u
p
some debuggi
n
g
commit
|
commitdiff
|
tree
2010-03-13
T
h
omas Leonard
Updated test not
t
o
care abo
u
t the
o
rder i
n
the details
.
.
.
commit
|
commitdiff
|
tree
2010-03-13
Thomas Leonard
Record details about w
h
y an imple
m
enta
t
ion is unavailable
commit
|
commitdiff
|
tree
2010-03-13
Thomas
Leonard
Take
m
achine
groups into accou
n
t when solving
commit
|
commitdiff
|
tree
2010-03-13
T
homas Leonard
Get arch
s
upport working
a
gai
n
commit
|
commitdiff
|
tree
2010-03-13
T
h
omas
Leonar
d
Co
n
si
d
er
i
mpl
e
men
t
ations
from extra feed
s
commit
|
commitdiff
|
tree
2010-03-13
Thomas L
e
onard
H
an
d
le
de
p
e
ndencies
commit
|
commitdiff
|
tree
2010-03-13
Thoma
s
Leon
a
rd
Starte
d
a
dding pseudo-b
o
ol
e
an solver
commit
|
commitdiff
|
tree
2010-03-09
T
homas Leona
r
d
S
t
ar
t
dev
e
lopment series 0
.
45
-
post
commit
|
commitdiff
|
tree
2010-03-09
T
homas Leonard
Release 0
.
4
5
commit
|
commitdiff
|
tree
2010-03-06
T
h
oma
s
L
e
on
a
rd
Added
-
-selec
t
-o
n
ly option
commit
|
commitdiff
|
tree
2010-03-03
T
h
omas Le
o
nard
Use
j
ust "python", not "pyt
h
on2
.
5
"
for
run
n
ing
t
ests
commit
|
commitdiff
|
tree
2010-02-27
Thomas Leonard
Non-Zero Ins
t
all Implementation
s
get
d
ig
e
st
s
=None
commit
|
commitdiff
|
tree
2010-02-27
Thomas
L
eonard
Need absolute path when using @local-path
commit
|
commitdiff
|
tree
2010-02-21
T
h
omas Leonard
Added support for @local-
p
ath
attribu
t
e
w
hen pars
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-21
Thomas
Leonard
Ra
n
k
d
igest algorithms and d
o
wnload using the best
.
.
.
commit
|
commitdiff
|
tree
2010-02-21
Thomas
L
eona
r
d
Impl
e
m
entation
.
i
d doesn'
t
h
a
ve to be
p
ath or d
i
gest
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leonard
Allow https: U
R
Is in
<
feed> elem
e
nts
commit
|
commitdiff
|
tree
2010-02-20
Thomas Le
o
nard
Added Implementati
o
n
.
l
o
c
al_path attr
i
b
ute
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leona
r
d
Removed unus
e
d
c
ode
commit
|
commitdiff
|
tree
2010-02-20
Tho
m
as L
e
onard
Only s
h
ow
"
(was
.
.
.
)" i
f
the implementa
t
ion ID ch
a
n
g
ed
commit
|
commitdiff
|
tree
2010-02-20
Thomas Leonard
Zer
o
Instal
l
Feed
.
_get_impl
a
lways creates a new Implem
e
ntat
i
on
commit
|
commitdiff
|
tree
2010-02-20
Rene Lopez
F
ixed e
r
ror for passing
a parameter that wasn't a GTKWin
d
ow
commit
|
commitdiff
|
tree
2010-02-16
Alek
s
ey Li
m
F
ixed err
o
r when
c
hecking for
a
G
e
nt
o
o category that
.
.
.
commit
|
commitdiff
|
tree
2010-02-16
Thomas Leonard
Fi
x
e
d ty
p
o in
e
rror me
s
sage format string
commit
|
commitdiff
|
tree
2010-02-16
Thom
a
s Leon
a
rd
Remov
e
d old check
f
or gpg
commit
|
commitdiff
|
tree
2010-02-13
Alek
s
e
y
Lim
"No au
t
om
a
tic updat
e
s" didn'
t
work
commit
|
commitdiff
|
tree
2010-02-09
Thomas Leonard
D
o
n
't require a bzip2 execut
a
ble wh
e
n
h
a
nd
l
ing
.
tar
.
.
.
commit
|
commitdiff
|
tree
2010-02-07
T
h
o
mas Leonard
Su
p
port several pa
c
kage implementa
t
ion
s
i
n f
e
e
d
for
.
.
.
commit
|
commitdiff
|
tree
2010-02-07
Thom
a
s L
e
onard
F
ixed unpac
k
ing of zip archives
w
ith "extract"
commit
|
commitdiff
|
tree
2010-01-31
Thomas Leo
n
ard
Fixed er
r
o
r when a download
h
as th
e
wrong size
commit
|
commitdiff
|
tree
2010-01-31
Thomas Leona
r
d
Don't in
t
erpret wildchars in Gentoo package names
commit
|
commitdiff
|
tree
2010-01-30
Ale
k
s
e
y Lim
Add su
p
por
t
for native
Gentoo
p
ackages
commit
|
commitdiff
|
tree
2010-01-22
Thomas Leonar
d
S
tart devel
o
pme
n
t series 0
.
44-post
commit
|
commitdiff
|
tree
2010-01-22
Thomas L
e
on
a
rd
R
e
lease 0
.
44
commit
|
commitdiff
|
tree
2010-01-17
Anders
F Bjorklund
Canonica
l
ize archite
c
tures
commit
|
commitdiff
|
tree
2010-01-09
Thomas L
e
o
nard
Fixed out-of
-
date information in man-page
commit
|
commitdiff
|
tree
2010-01-09
Tho
m
as
L
e
onard
E
scape
d
minus signs in man-pages
commit
|
commitdiff
|
tree
2010-01-03
Thomas Leonard
I
f
gpg isn'
t
f
ound in
$
PATH, try
gpg2
commit
|
commitdiff
|
tree
2010-01-03
Thomas Leo
n
ard
Us
e
--fixed
-
l
i
s
t-
m
ode with gpg
commit
|
commitdiff
|
tree
2010-01-02
Thomas Leonar
d
Fix
e
d spelling error
in man-page
commit
|
commitdiff
|
tree
2009-12-21
T
h
omas Leonard
In
--console mode, show d
o
wnl
o
ad progr
e
s
s
i
f stdout
.
.
.
commit
|
commitdiff
|
tree
2009-12-20
Thoma
s
Leonard
If gpg --import returns ex
i
t status zero and
w
rit
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-20
Thomas Leonard
Some
e
xtra unit-test
s
commit
|
commitdiff
|
tree
2009-12-19
T
h
om
a
s Leo
n
a
r
d
When s
p
awning a do
w
nload subprocess
,
a
d
d
z
eroin
s
ta
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-10
Thomas
Le
o
nard
Use --batch with
g
p
g --import
commit
|
commitdiff
|
tree
2009-11-25
Thomas Leonard
A
llow confirm_impor
t
_fe
e
d
to ret
u
rn None
commit
|
commitdiff
|
tree
2009-11-22
Thomas
Leonard
Start de
v
elop
m
ent
se
r
ies 0
.
43-pos
t
commit
|
commitdiff
|
tree
2009-11-22
Thomas Leonard
Re
l
e
a
se 0
.
43
commit
|
commitdiff
|
tree
2009-11-21
T
hom
a
s Leonard
Fixed format string for "0stor
e
verify"
commit
|
commitdiff
|
tree
2009-11-15
Tho
m
as Leonard
Fixed s
o
m
e minor err
o
rs in the epydoc
.
commit
|
commitdiff
|
tree
2009-11-15
Thomas Leonard
I
f
some downloa
d
s failed, s
a
y
which one
s
.
commit
|
commitdiff
|
tree
2009-11-15
Thomas L
e
onard
R
e
move
d
legacy code
commit
|
commitdiff
|
tree
2009-11-15
Thoma
s
Leonar
d
Allo
w
a
n
A
r
c
h
itecture to
d
ecide whether to
skip <
r
equires
.
.
.
commit
|
commitdiff
|
tree
2009-10-27
Rene Lopez
Add su
p
port f
o
r xz compressed t
a
rs
commit
|
commitdiff
|
tree
2009-10-17
Rene Lopez
A
dd su
p
port
f
or f
e
tc
h
ing fee
d
s ove
r
ht
t
ps
commit
|
commitdiff
|
tree
2009-10-10
R
e
n
e Lopez
A
dded Spanish l10n
commit
|
commitdiff
|
tree
2009-10-10
Rene
L
opez
Cha
n
ge
d
some strings for bett
e
r i
1
8n
commit
|
commitdiff
|
tree
2009-10-10
Rene Lope
z
Make su
r
e that GTK Build
e
r
u
ses z
e
ro-install
a
s
the
.
.
.
commit
|
commitdiff
|
tree
2009-10-01
T
homas Le
o
n
a
rd
Fixed er
r
or
when two in
s
tances
u
pdate a
feed at once
commit
|
commitdiff
|
tree
2009-09-20
T
homas Leonard
Check fu
l
l
Debia
n
da
t
a
.
tar names
explicitly (pa
r
a
n
oia)
commit
|
commitdiff
|
tree
2009-09-20
Rene Lopez
Add support
for more types of compresion insid
e
a
deb
commit
|
commitdiff
|
tree
2009-09-11
Th
o
mas Leonard
Sta
r
t development
seri
e
s 0
.
42
.
1-post
commit
|
commitdiff
|
tree
2009-09-11
Thomas Le
o
nard
R
e
l
ease 0
.
42
.
1
commit
|
commitdiff
|
tree
2009-09-11
Rene Lopez
Removed unuse
d
instances of gtk
.
t
o
oltips
commit
|
commitdiff
|
tree
2009-09-11
Ren
e
L
opez
Fix zero-inst
a
ll
.
u
i duplicate object
commit
|
commitdiff
|
tree
2009-09-06
T
homas
L
e
onard
0des
k
top sets
t
he T
e
rmi
n
a
l
f
lag co
r
r
e
c
tly
commit
|
commitdiff
|
tree
2009-09-06
Thomas Leona
r
d
In the Preferen
c
es box,
s
ort the domains i
n
t
h
e l
i
st
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Thoma
s
L
eonard
Start
development se
r
ies 0
.
42-
p
ost
commit
|
commitdiff
|
tree
2009-09-06
Thomas Leonard
Rele
a
s
e 0
.
42
commit
|
commitdiff
|
tree
2009-08-31
T
h
omas Le
o
nard
Fix
e
d typo
in
log format strin
g
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leonard
Always
run th
e
b
uilt-in
c
o
py
of
the GUI
commit
|
commitdiff
|
tree
2009-08-31
Thoma
s
Leo
n
ard
The
G
UI trust
b
ox now displays i
n
for
m
a
t
i
on f
r
om the
.
.
.
commit
|
commitdiff
|
tree
2009-08-31
Thomas Leo
n
ard
Converte
d
G
U
I handle
r
t
o use new key c
o
n
firmation in
t
erface
commit
|
commitdiff
|
tree
2009-08-30
Anders F Bjorklu
n
d
A
llow multiple versions of each
d
i
s
tribu
t
ion package
commit
|
commitdiff
|
tree
2009-08-07
R
e
ne Lopez
Fix
e
d
.
ui files r
e
quiring gtk 2
.
16
in
s
tead of 2
.
1
2
commit
|
commitdiff
|
tree
2009-08-05
Thomas Leonard
Updated tooltip
.
commit
|
commitdiff
|
tree
2009-08-05
Re
n
e L
o
pez
Repla
c
ed
Glade with GtkBuilder
commit
|
commitdiff
|
tree
2009-08-02
Rene Lopez
Remove
d
use gtk
.
File
S
election in
f
avour of gtk
.
File
C
hooserDialo
g
commit
|
commitdiff
|
tree
2009-07-29
Rene Lopez
M
a
ke
changes
to some str
i
ngs t
o
i
mprove the i18n
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
M
a
r
k
t
rus
t
messages
a
s translat
a
ble
commit
|
commitdiff
|
tree
2009-07-19
Thomas Le
o
nard
Allow user to skip
k
ey
l
ooku
p
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
R
ecord
errors look
i
n
g
up keys
commit
|
commitdiff
|
tree
2009-07-19
Thoma
s
Leonard
Upd
a
ted unit-te
s
ts
commit
|
commitdiff
|
tree
2009-07-19
Thoma
s
L
e
o
nard
Rep
o
rt errors bef
o
re starting new
t
as
k
commit
|
commitdiff
|
tree
2009-07-19
Thomas Leonard
Cache key informa
t
ion
commit
|
commitdiff
|
tree
2009-07-19
Thomas
L
eonard
Queue k
e
y co
n
f
irm
a
tion prompts
commit
|
commitdiff
|
tree
next