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 Verdoolaege
isl_pw_qpolynomia
l
_upper_b
o
und
:
set up variable ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven
V
erdoolaege
iscc:
a
d
d s
o
me compari
s
on operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
dool
a
ege
isc
c
: add inve
r
se
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
r
do
o
laege
isc
c
:
f
i
x up ty
p
e
of
find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolae
g
e
i
s
cc: add affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add operation t
o
construct u
n
iversal map
f
ro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
is
c
c: add "join"
o
pera
t
io
n
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolae
g
e
iscc: a
d
d int
e
rsect_domain
operat
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: allow overloading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ver
d
ool
a
ege
i
scc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolae
g
e
d
oc: reo
r
ga
n
i
z
e tab
l
e of iscc op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
do
o
l
aege
AUTHORS:
update support i
n
for
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: d
o
uble s
i
ze of coefficients
on each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
iscc: s
u
pport transitive closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
olaege
update isl
t
o version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
b
arvinok_e
.
cc
:
enumerat
e
_vd: remove unused va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
ev
a
lue
.
c:
Po
l
yhedr
o
n
_Inse
r
t
: add missing
return
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
laege
evalue
.
c: reduc
e
_evalue: remove unused var
i
ab
l
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
is
c
c: add @
o
p
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
ge
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
a
d
d isl_p
w
_
q
polynomial_upper_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc: add su
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolae
g
e
add
isl_pw_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ver
d
oo
l
ae
g
e
a
dd i
s
l_pw_qpoly
n
omia
l
_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
up
d
ate
i
sl for
i
s
l
_pw_qp
o
ly
n
o
mial_foreach_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
rename evalue2isl t
o
isl_p
w
_qpo
l
y
nomial
_
from_e
v
al
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Ver
d
oolaege
iscc: detect
m
o
re kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barv
i
n
o
k_enumer
a
te: us
e
isl d
u
ring the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
dd isl_set_card a
n
d isl_
m
a
p
_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
erd
o
olaege
evalu
e
_
convert: e
x
p
o
rt as application
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ver
d
oola
e
ge
b
arvinok_enumerate_e
:
optionally use
i
s
l
to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add isl
submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
A
X_SUBMODULE:
accept "-" in
modu
l
enam
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
e
rdoolaege
barvinok_enumerate: r
e
tu
r
n NaN
for infinite p
r
oblems
commit
|
commitdiff
|
tree
2010-01-28
Sven V
e
rd
o
olaeg
e
remov
e
_
a
ll_e
q
ualities: h
a
ndle integr
a
lly, but
n
o
t rationa
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ve
n
Verdoolaege
barvinok_
e
numerate
_
e:
a
lwa
y
s return a pa
r
tition
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
ba
r
v
inok_enumerate: check that dimension
o
f
i
n
p
ut
in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partition2e
n
umer
a
tion: check that
i
nput is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolae
g
e
update
p
i
pl
i
b for ch
a
nge in confi
g
ure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
update omega for configuration
/
c
ompilation i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
b
arvinok_count_
w
ith_op
t
ions: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhe
d
ro
n
_Sample:
plug mem
o
ry lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doola
e
ge
sum
m
at
e
.
c
:
a
dd missing include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ve
r
dool
a
ege
topcom
.
c:
support newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
Verdoolaeg
e
to
p
com
.
c
:
comp
u
te_domai
n
:
skip
ve
r
ti
c
es with
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
doc: ref
l
ect
that --enable-
f
ractional is now
the default
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
glpk_p
o
lyhedron_affine_sig
n
: s
p
ecia
l
case
0
D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
Polyhed
r
on_In
s
ert_Columns: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_
F
actor: fix
u
pdat
i
ng of g
r
ou
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in:
u
se AX_SUBMODULE i
n
stea
d
o
f
B
V_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdool
a
e
ge
remove_equ
a
liti
e
s: us
e
Polyhedron_Preima
g
e inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
d
oc: add experimental compa
r
ison
b
etwee
n
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
lexm
i
n
.
cc: remove "anac
h
ronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoo
l
aege
doc
:
a
dd so
m
e
less c
o
mmo
n
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
e
r
doolae
g
e
ad
d
"cle
v
er" Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
m
o
v
e
Last_Non_Zero t
o
ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoo
l
aege
extract out param_po
l
yn
o
mia
l
fr
o
m laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erd
o
olaeg
e
extract vertex_cone from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
up
d
ate p
o
l
y
l
i
b
for spee
d
impro
v
ement
i
n in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolaege
updat
e
piplib for di
s
tribu
t
ion is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
e
rdoo
l
a
e
ge
P
ol
y
he
d
r
o
n_Factor: fix merging of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
erdoolaege
(t)counter: move counte
r
::reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
ol
a
e
ge
M
a
kefile
.
am: kee
p
b
e
tter
track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
Line_Length: handle 0D polytope in
1
D
spac
e
commit
|
commitdiff
|
tree
2009-04-02
S
ve
n
Ver
d
oolaeg
e
P
o
l
yhe
d
ron_Factor: han
d
l
e polyhedra
wit
h
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdo
o
laege
update piplib
f
or change in conf
i
g
ure argument
s
commit
|
commitdiff
|
tree
2008-12-27
Sven
Verdoolaege
b
a
rvinok
.
cc: remove unused nono
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolaege
update piplib for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
update po
l
ylib for MinGW compat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
er
d
o
o
l
a
ege
evalue
.
c
: in_domain: spec
i
al-case 0D do
m
ains
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
e
rdoolae
g
e
Avoid use of sy
s
/times
.
h header when not availabl
e
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
add gnulib
getsubopt module for Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdo
o
laege
R
EAD
M
E: mention that GiNaC is
a
lso
needed fo
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolae
g
e
Allow bu
i
ld of oc
c
when using
b
undled
o
m
ega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n
V
er
d
oo
l
a
ege
doc: add a
r
e
feren
c
e
to a m
a
s
t
er thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoo
l
aege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
README: fix
u
p insta
l
lat
i
on instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add
files generated by bison
a
nd
f
l
ex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
erdoolaeg
e
update polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
ool
a
ege
upda
t
e
piplib
commit
|
commitdiff
|
tree
2008-10-10
S
ve
n
Verdoolaege
evalue
.
c: affine2evalue: reduc
e
coeffici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdoolaege
evalue
.
c: evalue_leve
l
_cmp:
produce more c
o
nsist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven Ver
d
oolaege
doc: add anothe
r
p
aper
r
e
f
erring to the library
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdoolae
g
e
piecewise_lst
.
h:
avoid dupl
i
cate paramete
r
name
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Ve
r
d
o
olaege
eval
u
e_read
.
c: fi
x
minor bugs
in toke
n
izer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
doolaege
update omega for missing files in
distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
barvinok_enum
e
rate_e: avoid infi
n
i
te l
o
o
p
whe
n
pres
e
nted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdo
o
laege
m
ov
e
omega su
b
dir to omega_
i
n
terface
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ve
r
doolaege
NTL_QQ
.
cc: add stdlib inc
l
ude f
o
r
abort h
i
d
d
en in NTL_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
r
emove
g
nulib
link-warning modul
e
completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
u
p
date polylib
with e
x
tra
f
ield in Param_Pol
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Ve
r
doolaege
doc: fi
x
t
y
pos
commit
|
commitdiff
|
tree
2008-07-20
S
v
en V
e
rd
o
olae
g
e
u
p
dat
e
gnulib fun
c
tio
n
t
o last pre-
G
PLv3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
S
ven Ve
r
d
o
olaeg
e
enumerator::handle:
replace inc
o
rr
e
ct delete by
free
commit
|
commitdiff
|
tree
2008-06-17
S
v
en Ve
r
d
o
o
laege
updat
e
piplib for corrected Ur
s
_parms hand
l
ing
commit
|
commitdiff
|
tree
next