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
add isl_pw_qpolynomial_to_evalue
2010-03-09
Sven Verdool
a
ege
add isl_pw_qp
o
lynomial_t
o
_
e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdool
a
ege
update isl for isl_pw
_
qpolynom
i
al_fo
r
e
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename
e
valu
e
2isl to
isl_pw
_
q
p
ol
y
nomial_fro
m
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verd
o
olaege
iscc:
det
e
c
t
more
k
inds
o
f e
r
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oola
e
g
e
b
a
r
v
inok
_
enume
r
ate: u
s
e is
l
during
t
he verifi
c
atio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
ae
g
e
add isl_set_c
a
rd and isl_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoo
l
aege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdo
o
laege
evalue_convert: expo
r
t as application
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoola
e
g
e
barvi
n
ok_enumerate_e:
o
p
t
ionally use isl t
o
pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add
i
sl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
AX_SUBMODULE:
accept "-" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
barv
i
nok_enum
e
rate: return NaN for in
f
inite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_eq
u
a
l
i
t
ies: handle integr
a
l
l
y, but
n
o
t rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdool
a
eg
e
barv
i
nok_e
n
umerate_e: always ret
u
rn a
par
t
itio
n
fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Ver
d
oolaege
ba
r
vinok_enumera
t
e: check tha
t
dim
e
nsion o
f
input in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
o
la
e
g
e
p
a
rtition2en
u
m
e
rati
o
n
: che
c
k that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
e
n
Verdoola
e
g
e
updat
e
piplib fo
r
change in
configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
ol
a
ege
update omega
f
o
r con
f
igu
r
ation/compi
l
ation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
r
d
oolae
g
e
barvin
o
k_count_with_opt
i
ons: check retur
n
val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdoolaege
Polyhedron_S
a
m
p
l
e: plug memory
l
e
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summ
a
te
.
c: add missing in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
:
support newer vers
i
o
n
s of T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topcom
.
c
:
compu
t
e_
d
omain: s
k
ip vertice
s
without
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoo
l
a
e
ge
polytope_m
i
nimize: t
a
k
e con
s
tant term to b
e
zer
o
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
doc:
reflec
t
tha
t
-
-enable-fractional
is no
w
t
he
defa
u
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
glpk_p
o
lyhedron_af
f
ine_sign:
s
p
e
cial case 0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
P
olyhed
r
on_Insert_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
d
oolaeg
e
Polyhedron
_
Fa
c
tor: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configu
r
e
.
in: use
A
X_SUBMODULE instead of BV_SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sv
e
n Verdoolaege
remove_equalities: use Polyhe
d
r
o
n_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verd
o
olaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
do
c
:
add experiment
a
l com
p
aris
o
n between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
lexmin
.
cc: remove
"anac
h
ronism"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
doc: add some less commo
n
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "c
l
ever" Laurent expan
s
ion bas
e
d summat
i
on
commit
|
commitdiff
|
tree
2009-07-20
S
v
en V
e
rdoolaege
m
ove Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
extract out par
a
m
_
p
o
l
y
n
omi
a
l from
l
a
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract vertex_cone from
laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ver
d
ool
a
ege
NTL_QQ
.
c
c
:
add stdio
incl
u
d
e
for
E
OF hidde
n
i
n
NTL
_
io_vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update
p
olylib f
o
r
spe
e
d improvement in in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdool
a
ege
updat
e
piplib for
d
istribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Verdoo
l
aege
Polyhed
r
on_
F
a
ctor: fix m
e
rging of grou
p
s
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
er
d
oolae
g
e
barvinok_enu
m
era
t
e_series: do
n
'
t
chec
k
for revle
x
positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
ola
e
ge
(t)counter
:
move counter::
r
eset() up to c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
e
r
doolaege
Makefile
.
am: kee
p
bett
e
r track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdo
o
la
e
ge
add semigroup_
h
oles ap
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
Line_Length: h
a
ndle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
r
doolaege
gen_
f
u
n
: add is_zero
m
e
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdo
o
laege
barvino
k
_enum
e
rate_e_series: remove equal
i
ties i
n
ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
barvinok_en
u
merate_e
_
serie
s
: ha
n
dle all
e
xistentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
series
.
cc: make project sta
t
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
barvinok
_
enumerate_
e
_series: handle
a
ll
e
qua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Ve
r
doolaege
a
d
d
test set fr
o
m
the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven V
e
rdoolaeg
e
.
gitigno
r
e: ignore objec
t
file
s
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Ve
r
doo
l
ae
g
e
genfunc
.
cc: par
a
llel_p
o
lytop
e
s: detect 0D
p
o
l
ytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdool
a
ege
c
o
nf
i
gure
.
i
n
: set AC_CONFIG_MAC
R
O
_
DIR
commit
|
commitdiff
|
tree
2009-04-27
S
ven Verdool
a
ege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaege
Po
l
yhe
d
ro
n
_Fa
c
tor: handle p
o
lyhe
d
ra with
a
non-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolae
g
e
update pip
l
ib f
o
r
ch
a
nge in confi
g
ur
e
a
rg
u
ments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_
a
pprox
.
c: add du
m
my fie
l
d in dummy tms
s
tructure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oo
l
aege
co
n
figure
.
in: avoid introd
u
cing em
p
ty elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
occ: define OMIT_GETRUSAGE if sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
omega_in
t
erface/Mak
e
file
.
am: put dependi
n
g libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
Ve
r
doolae
g
e
co
n
f
i
gure
.
in:
add
$(EXEEXT
)
to
opti
o
nal occ for cyg
w
in
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdool
a
e
ge
update omega for MinGW compa
t
ibility
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
b
ernstein/co
n
figur
e
.
in: add m
i
ssing AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoo
l
aeg
e
genfun
.
cc
:
add
braces round exte
r
n "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven
Verdoolaege
vector_partition_ch
a
m
b
ers: computes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvi
n
ok
.
c
c: rem
o
ve unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolaeg
e
updat
e
pip
l
i
b
for MinGW c
o
mpa
t
ib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
er
d
ool
a
ege
f
ds
t
r
e
a
m
.
cc
:
don
'
t (
r
e)
d
ec
l
are fileno if it's a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
ev
a
l
u
e
.
c: i
n
_domain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avoid use o
f
sys/times
.
h
header w
h
en not avail
a
bl
e
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoo
l
aege
ad
d
gnu
l
ib getsubopt module for
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdo
o
laege
README
:
mentio
n
that GiN
a
C is
also
n
eeded for
t
he Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
Allow
build of
occ w
h
e
n
using bundl
e
d omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add a re
f
e
r
en
c
e to
a
master th
e
si
s
actually us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdool
a
e
ge
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoola
e
ge
README:
f
i
x
up installat
i
o
n
instru
c
tions
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
Add files gene
r
ated
by bison and fle
x
to
t
he distribu
t
ion
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
update pol
y
li
b
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdool
a
e
g
e
updat
e
pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoo
l
aege
evalue
.
c: affine2eva
l
ue: reduc
e
coe
f
f
i
cients
commit
|
commitdiff
|
tree
2008-10-10
S
v
en V
e
rdool
a
ege
eva
l
ue
.
c: eval
u
e_le
v
el_cmp:
produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ve
r
doolaege
doc: add another
p
aper
referring to the l
i
b
r
a
ry
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
pie
c
ewise_lst
.
h: avoid duplicate
p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
e
g
e
evalue_read
.
c: fi
x
minor
b
ugs in tokeniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n
Ve
r
doo
l
aege
update
o
mega for m
i
ss
i
ng files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvin
o
k_enume
r
ate_
e
: avoid infinit
e
l
o
o
p when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verd
o
o
l
a
ege
include omega s
u
bmodule
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
d
oolaege
mo
v
e omega su
b
di
r
to
o
m
ega_interface
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
e
r
d
oolaege
NTL_
Q
Q
.
c
c: add std
l
i
b
incl
u
d
e for
abo
r
t
h
idden in NTL_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
laege
remove gnulib lin
k
-warning m
o
d
u
l
e
comple
t
ely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
lex
m
i
n
.
cc: find and so
r
t are in
s
t
d
:: names
p
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
lex
m
in
.
cc: avoid use of type
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coin
s
.
cc: r
e
move dead code
commit
|
commitdiff
|
tree
next