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
barvinok 0.31
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpo
l
ynomial_upper_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc
:
add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
is
l
_pw_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd isl_
p
w_qpolynom
i
a
l
_
to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
u
pdate is
l
f
or
i
sl_pw_qpolynomial_fo
r
e
a
ch_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
r
ename evalue2isl
t
o isl_pw_qpo
l
y
n
o
mial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
ven
Verdoo
l
aege
i
s
cc
:
detect mor
e
kinds of e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolae
g
e
barvinok_e
n
umerate: use isl during
t
he ver
i
ficatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdo
o
lae
g
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
ad
d
isl_set_card and isl_
m
ap_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
l
aege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
evalue_con
v
e
r
t: exp
o
rt as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
olaege
barvinok_enumer
a
te_e: optiona
l
ly use i
s
l
to projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add isl submodul
e
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdo
o
l
aege
AX_S
U
BM
O
DU
L
E:
a
cce
p
t
"
-" in
m
odul
e
name
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
barvino
k
_enumerate
:
r
eturn NaN for
i
n
finite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verd
o
o
laeg
e
remove_
a
l
l
_
equalities: handle i
n
tegrally, but no
t
ra
t
i
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barvi
n
ok
_
en
u
m
e
rate_e: alw
a
y
s
r
eturn a
p
artition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Ve
r
doola
e
ge
barvinok_
e
n
u
merate: check that dime
n
sion of in
p
ut inc
l
udes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
p
ar
t
i
tion2enumera
t
i
on:
check that
input is re
a
l
ly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upd
a
te
p
iplib f
o
r ch
a
nge in configure opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
update omega for configuration
/
compi
l
at
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verd
o
o
laege
barvin
o
k_count_with_options:
check retu
r
n val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaeg
e
Polyhed
r
on_S
a
mple
:
plu
g
memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ve
r
d
o
olaege
s
ummate
.
c: add m
i
s
s
i
ng inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
to
p
com
.
c: support newer versions of
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
t
opcom
.
c:
c
ompute_domain: skip vertices w
i
th
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erd
o
o
laege
polytop
e
_minimize: t
a
k
e
const
a
nt term to be zero w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
doolaege
doc:
r
e
flect that --enable-fracti
o
na
l
is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verd
o
olaege
gl
p
k_polyhedro
n
_affine
_
sign: special cas
e
0D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_I
n
sert_Col
u
mns: fix t
y
po
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Factor
:
fix updating
o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
oolaege
configure
.
i
n: use AX_SUBMODULE instead of BV_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Ve
r
d
oolaege
remo
v
e_equalities:
u
se Polyhedron
_
Pr
e
image instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
doc
:
add ex
p
e
r
i
mental
c
omp
a
ri
s
on between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
lex
m
in
.
cc:
r
emo
v
e "an
a
chronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
doc: add so
m
e le
s
s commo
n
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
er
d
ool
a
ege
add "cl
e
ver
"
L
a
ur
e
nt expan
s
i
on based summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdo
o
laege
m
o
ve Las
t
_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out
p
aram_
p
olynomial fro
m
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract vertex_con
e
from la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oolaege
NTL_
Q
Q
.
cc
:
a
d
d stdio i
n
clu
d
e fo
r
EOF hidde
n
in N
T
L
_
io_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdo
o
laeg
e
update po
l
ylib for speed
improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
aege
updat
e
piplib for
d
istribut
i
on iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron
_
Factor: fix merging of groups
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolae
g
e
barvin
o
k_enumerate_serie
s
: don't ch
e
ck for
r
e
v
lex posit
i
ve
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
(t)counter: move counter::reset() up to co
u
nter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Mak
e
file
.
am: keep better track
o
f fai
l
ed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
add semigro
u
p_
h
oles
a
ppli
c
ation
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
Line_Length:
handle 0D polytope
in 1D spa
c
e
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
g
e
n_fun: add
i
s_zero me
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
barvinok_e
n
umerate_e_series
:
remo
v
e equalities
in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok
_
enumerate_e
_
s
e
r
i
es: handle all
e
xi
s
tentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erd
o
olaege
se
r
ies
.
cc: m
a
ke proje
c
t static
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaeg
e
barvinok_enumerate_e_
s
eries: handle a
l
l equ
a
litie
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaeg
e
add test set from the o
t
her itsl2008 pa
p
er
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdoolaege
.
gitignore: ignore obje
c
t files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoola
e
g
e
g
enf
u
nc
.
cc: parallel_polytopes:
d
etect 0D polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
conf
i
gure
.
in:
s
et AC
_
C
ONF
I
G_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven
Ve
r
doo
l
aege
add pkg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
ge
Polyhe
d
ron_Fact
o
r:
han
d
le polyh
e
dra with a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaeg
e
update piplib for cha
n
ge in configu
r
e
a
r
gument
s
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test
_
approx
.
c:
add d
u
mmy field
i
n dummy tms struc
t
ure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdo
o
laege
configur
e
.
in: avoid
introducing empty elements
i
n PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ:
d
ef
i
ne
O
M
IT_GETRUSAG
E
if
sys/resour
c
e
.
h
cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
rdoolaege
ome
g
a_interface/M
a
kefil
e
.
am: put depending li
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
con
f
igure
.
i
n
: add $(EXEEXT) to op
t
i
o
n
a
l occ f
o
r cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
u
pdate omega
f
or
M
i
n
GW compatibil
i
ty
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Ve
r
d
oolaege
b
e
rnstein/con
f
igure
.
i
n
: add
missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
g
e
nfu
n
.
cc: add b
r
ace
s
r
o
und extern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoo
l
aege
vector_partitio
n
_chamber
s
: computes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
ven
V
e
rdoo
l
ae
g
e
barvinok
.
cc: r
e
m
o
ve unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdo
o
laege
up
d
ate piplib for
MinGW com
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Verdoolaege
update polylib for MinGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fds
t
r
eam
.
cc: don't (re)declare fil
e
no if
i
t's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
e
value
.
c: in_domain: special
-
case 0D domain
s
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolaege
Avoid
u
s
e
of
s
ys/times
.
h h
e
a
der when
n
ot availabl
e
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doolaeg
e
add g
n
ul
i
b getsubopt m
o
dule for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
o
laege
README:
men
t
ion
t
hat GiNaC is also need
e
d f
o
r the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
Allow build
of occ when using
b
undled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Ve
r
doolaege
d
o
c
: add
a reference to a master thesis act
u
a
l
l
y using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
Verdoolaeg
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Ve
r
doolaege
READ
M
E: fix up insta
l
lati
o
n instruction
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
A
d
d
f
iles ge
n
e
r
ated by b
i
son a
n
d
f
lex to the
di
s
tri
b
ution
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
er
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Ve
r
doolaege
evalue
.
c
:
af
f
i
n
e2evalue: redu
c
e c
o
eff
i
cients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoo
l
aege
e
value
.
c
:
eval
u
e_level_cmp: produce more consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add
a
n
other
paper
refe
r
ring
t
o
the library
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
e
rdoolaege
piecew
i
se_lst
.
h
:
avoid
d
uplicat
e
parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
laege
evalue_read
.
c: fix mino
r
bugs in
t
ok
e
nizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
upd
a
te omega for missing files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
ba
r
vinok_enumer
a
te_e:
av
o
id inf
i
n
i
te loop
when
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include omega
s
ubmodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move
om
e
ga subdir to omega_inte
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
d
oolae
g
e
NTL_Q
Q
.
cc:
add stdlib i
n
c
lu
d
e fo
r
a
b
or
t
hidd
e
n in NTL_v
e
cto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
remove gnulib link-warning
module completely
commit
|
commitdiff
|
tree
next