repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_pw_qpolynomial_upper_bound: set up variable vector after lifting
2010-03-18
Sven Ver
d
o
olaege
isl
_
pw
_
q
p
olynomi
a
l_upper_bound: set
up var
i
a
b
le
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolaege
i
scc:
add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
i
s
cc: add inverse
ope
r
ati
o
n
commit
|
commitdiff
|
tree
2010-03-15
S
ve
n
Verdo
o
laege
iscc: fi
x
up type of
f
ind_matc
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc
:
add affine hull op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
aege
iscc: add opera
t
ion to construct
universal map
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoolaege
iscc
:
a
dd
"
join" operat
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ola
e
ge
iscc:
a
dd interse
c
t_domain operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaege
isc
c
: al
l
ow overloading binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ve
r
doolaege
iscc: add mor
e
dom opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ver
d
oolaege
doc: reorga
n
ize table
o
f isc
c
o
per
a
tions
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
bar
v
inok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
la
e
ge
AUTHORS: up
d
ate su
p
port
i
n
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
do
o
laege
r
a
ndomve
c
tor: d
o
uble s
i
z
e
of coefficient
s
on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
Ve
r
doolaege
i
scc: support t
r
ansi
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdoolae
g
e
updat
e
is
l
to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
b
arvi
n
ok_
e
.
cc:
e
numerate_vd:
remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
olaege
e
v
alue
.
c: Polyhedron_
I
nsert
:
add missi
n
g return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduc
e
_
e
valu
e
: remove un
u
s
e
d variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add is
l
_pw_qpolyno
m
i
a
l
_u
p
per_
b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
is
c
c: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
a
d
d isl_
p
w_q
p
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaege
add isl_p
w
_qpolyn
o
mia
l
_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
update isl fo
r
isl_
p
w_qpolynomial_for
e
a
c
h_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
r
e
n
am
e
evalu
e
2
i
sl
t
o isl_pw_qp
o
l
y
nomia
l
_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdool
a
ege
iscc:
dete
c
t more k
i
nds of error
s
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
ol
a
ege
barvi
n
ok_enumerate
:
u
s
e isl
durin
g
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verd
o
olaege
add isl_set_card and isl_m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdo
o
laege
ad
d
e
v
a
l
ue2is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
e
v
a
lue
_
co
n
vert
:
e
x
port as
application
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaeg
e
barv
i
nok_
e
nume
r
ate_e
:
optio
n
al
l
y use isl to proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ve
r
doolae
g
e
add isl submodul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_S
U
B
M
O
DULE:
a
ccept "-
"
in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok
_
enumerate: return NaN for infinit
e
problem
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_al
l
_e
q
ualities: hand
l
e integrally, but not
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
e
n
Verdoo
l
ae
g
e
b
arvi
n
ok_enumerate_e: always
r
etu
r
n
a
par
t
ition
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaege
barv
i
n
ok_enumerat
e
:
ch
e
ck that dim
e
nsion of
i
nput in
c
l
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partition2enumerati
o
n: check that i
n
put i
s
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoo
l
a
e
ge
u
pdate pip
l
ib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdo
o
laege
upda
t
e
omega for c
o
nfi
g
uration/compilati
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
V
erdoolaege
b
ar
v
inok_coun
t
_wit
h
_options
:
check
return value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
Poly
h
edron_Samp
l
e: pl
u
g memory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add missing includ
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support newe
r
v
e
rsions of TO
P
C
OM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
to
p
com
.
c:
c
o
mp
u
t
e
_dom
a
in:
skip vertices without do
m
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaeg
e
doc: reflect that --enable-fra
c
tional is no
w
the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
glpk_p
o
lyhedron_
a
ffin
e
_sign: special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
Polyhedron_Insert_Columns: fix
t
y
po
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Po
l
yhedron
_
F
a
ctor: f
i
x up
d
ating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
conf
i
gur
e
.
i
n: use AX_SU
B
M
ODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoola
e
ge
remove_eq
u
alitie
s
: use Polyhedron_
P
r
e
imag
e
i
n
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdool
a
e
ge
b
a
r
v
ino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verd
o
olaege
doc: add ex
p
erime
n
tal comparis
o
n bet
w
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ver
d
oolaege
lexmin
.
cc: remove "ana
c
hronism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: add some less common
.
st
y
f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n V
e
r
doolaege
a
d
d "cle
v
e
r" Laurent expans
i
on bas
e
d s
u
mma
t
ion
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ver
d
oolaege
move Last_Non_Z
e
ro to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
extract out pa
r
am_polyn
o
mial fr
o
m l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
Verdoolaege
extract
v
e
rtex_cone from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
Verdoolaege
update polylib for
s
peed impro
v
ement in
i
n_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
update
p
i
p
li
b
for
d
ist
r
ibution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
oolaege
Polyhe
d
r
o
n
_Factor:
f
i
x
m
erging
o
f groups of
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
(t)co
u
nter: move cou
n
ter::reset()
u
p to co
u
nter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
Mak
e
file
.
am: keep better track of
f
ail
e
d tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
L
i
ne_Length:
handl
e
0D polyt
o
pe in 1D
s
p
a
c
e
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_
F
actor: handle pol
y
he
d
ra wit
h
a non-t
r
ivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolaege
updat
e
piplib
f
o
r c
h
ange in confi
g
ure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven
Verdoolaege
barvino
k
.
c
c
: remove unused nonorth
o
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
upd
a
te piplib for MinG
W
comp
a
ti
b
il
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
S
v
en V
e
r
d
o
o
laege
update
polylib
for MinGW comp
a
tib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolaege
evalue
.
c: in_d
o
main: spec
i
al-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
ge
Avoid
u
se of sys/times
.
h header
w
h
e
n not
av
a
ilable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
d
d
gnulib g
e
tsubopt module
for
M
inGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: ment
i
o
n
that
G
iN
a
C is also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
A
l
l
o
w bui
l
d of o
c
c whe
n
u
sing bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoo
l
aege
doc: add a refe
r
enc
e
to a mas
t
er
thesis actual
l
y usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
Ve
r
d
o
olaege
ba
r
vinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verd
o
o
l
aege
README: fix
up in
s
tallation instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rdoolaege
Ad
d
files g
e
ner
a
ted b
y
bison and fle
x
to the d
i
stribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
o
laege
u
p
da
t
e
po
l
yl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
up
d
ate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
r
d
ool
a
ege
evalu
e
.
c: affine2ev
a
l
u
e
:
reduce coef
f
ici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
e
v
alue
.
c: evalu
e
_
l
e
vel_cm
p
:
produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ve
r
dool
a
ege
doc: add another
paper referring
t
o
the library
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdo
o
laege
p
i
ece
w
ise_lst
.
h: avoid
dupl
i
cate
p
a
r
a
m
eter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
e
n Ve
r
doolaege
eval
u
e_read
.
c: fix
minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega for
m
issing
fi
l
es in di
s
tribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barv
i
nok_enumerate_
e
: av
o
i
d
infi
n
ite
lo
o
p
w
hen pre
s
ented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
ege
mov
e
omega subdir to omega_i
n
terface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
olae
g
e
NTL_QQ
.
cc: add s
t
dlib
includ
e
for a
b
ort
h
idden
i
n
NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoolaege
remove gnulib link-warning
module
completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update
po
l
ylib with
extra field in Param_Pol
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix typ
o
s
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdool
a
ege
upd
a
te gnulib fu
n
ction to l
a
st
pre
-
GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdo
o
laege
enumerator::handl
e
: repla
c
e
i
nco
r
r
e
c
t delete
b
y fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
o
olaege
update piplib f
o
r c
o
rrected
Urs_par
m
s handling
commit
|
commitdiff
|
tree
next