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
evalue.c: Polyhedron_Insert: add missing return type
2010-03-09
S
ven
Ve
r
doolaege
e
v
alue
.
c: Polyhedr
o
n_Insert: ad
d
missing return type
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
er
d
oola
e
g
e
e
value
.
c: red
u
ce_evalue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
iscc
:
add @
opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
l
a
ege
i
scc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
add
i
sl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
c
c: a
d
d sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_
p
w_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd isl_pw_qpolyn
o
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaeg
e
update isl for
i
sl_pw_qpolyno
m
i
a
l_fore
a
ch_
p
ie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue2is
l
to isl_pw_qpol
y
n
o
mial_
f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
isc
c
:
detect m
o
re kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
rvin
o
k_enumerate: use isl during th
e
veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add isl_se
t
_
c
ard and isl_map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoo
l
a
e
ge
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
ev
a
lu
e
_co
n
vert: export as app
l
icatio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
b
a
rvinok_
e
n
u
m
e
rat
e
_e: optionally use i
s
l to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
A
X
_SUB
M
OD
U
LE: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaeg
e
barvinok_enumerat
e
: r
e
turn
Na
N
for infinite
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdoolaege
re
m
ove_all_equaliti
e
s: han
d
le integ
r
ally, bu
t
n
o
t
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvino
k
_enu
m
erate_e: a
l
ways return a partition fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
e
n
Ve
r
dool
a
ege
barvinok_enumera
t
e
: check that di
m
ension of inp
u
t
includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
partition2enumer
a
tion: check that in
p
ut is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdo
o
laege
updat
e
piplib for
ch
a
nge in c
o
nf
i
g
ure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ver
d
oolae
g
e
upd
a
te omega for confi
g
uration
/
co
m
pilation issue
s
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
barvinok_co
u
nt_w
i
th_options: chec
k
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoola
e
ge
Polyhedron_Sample: plug me
m
or
y
lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erdoolaege
topcom
.
c: s
u
pport newer versions o
f
TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
ae
g
e
topcom
.
c: c
o
mpute_doma
i
n: skip
v
e
r
tices wi
t
ho
u
t d
o
m
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
p
o
l
y
t
ope
_
minimi
z
e: take const
a
nt term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
eg
e
do
c
:
ref
l
ect that
-
-ena
b
le-fractional is
n
o
w
the default
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ve
r
doolaege
g
lp
k
_polyhedr
o
n_affine_si
g
n: special
c
ase 0D p
o
lyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
Polyhedro
n
_Ins
e
rt_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Factor: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoola
e
ge
c
o
nfigure
.
in
:
use AX_SUBMODULE instea
d
of
BV
_
S
U
BMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ve
r
doolaeg
e
remove_equal
i
ties: use Polyhedro
n
_Preimage i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
b
arvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdo
o
laege
doc:
a
dd experiment
a
l comparison bet
w
een ol
d
and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
V
erdoolaege
l
exmin
.
c
c
: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
d
o
c: ad
d
s
ome
l
ess common
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
ad
d
"clever" Laure
n
t
expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaeg
e
move
L
a
s
t_Non_Zero
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdool
a
ege
ex
t
ract out param_polynomial from la
u
r
e
nt
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n
Verdoolaege
ex
t
ract vertex_cone fro
m
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
erdoo
l
aege
upd
a
te
po
l
ylib for spee
d
improveme
n
t in in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Ver
d
oolaege
updat
e
pipli
b
for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Verdoolae
g
e
Polyhed
r
on_
F
actor: fix m
e
rging of groups
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolae
g
e
barvinok_
e
n
umerate_serie
s
: d
o
n't
c
h
eck f
o
r revlex p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaeg
e
(t)counter:
m
o
ve counter::res
e
t()
up
t
o co
u
nter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefi
l
e
.
am:
k
eep bet
t
er
t
rack of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaeg
e
add semigroup_
h
oles a
p
plication
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
Line_Leng
t
h: ha
n
dle 0D polytope in 1D
space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun
:
add is_z
e
r
o
method
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
barvinok_enumerate
_
e_
s
eries:
r
em
o
ve equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
barvin
o
k_
e
numerate_e_seri
e
s:
h
andle all ex
i
stent
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdool
a
e
ge
s
eries
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolaege
barvinok_enu
m
erate_e_series: handle all equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
dool
a
e
g
e
add
t
es
t
set f
r
o
m
the other itsl200
8
paper
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolaeg
e
P
o
l
yh
e
dron_Fa
c
tor:
h
andle polyhedra with a non-trivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoo
l
a
ege
u
pdate piplib for change in conf
i
gure ar
g
uments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_appr
o
x
.
c: add dummy
f
ield in dum
m
y tms structur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
V
erd
o
olaege
configure
.
i
n
:
a
voi
d
intr
o
duc
i
ng empty elements in PK
G
_CONF
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
occ: define OMIT_G
E
TRUSAGE if sys
/
r
e
s
o
u
rce
.
h ca
n
no
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven V
e
r
doolaege
omeg
a
_interface/Ma
k
e
file
.
am: put depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
V
e
r
doolaege
configure
.
i
n
: add
$(EXEE
X
T) to
o
pti
o
nal oc
c
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
update omeg
a
f
or MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
Verdool
a
ege
bernstein/configur
e
.
in: add
m
issin
g
AC_P
R
OG_CXX
commit
|
commitdiff
|
tree
2008-12-30
S
ven
Verdool
a
ege
vec
t
or_partitio
n
_chambers: compute
s
chambers of
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
c
c
: re
m
ove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
e
rd
o
olaege
update pip
l
ib fo
r
MinGW compa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
updat
e
pol
y
lib for MinGW
co
m
pa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
f
ds
t
r
e
am
.
cc: don't (r
e
)declare fil
e
no if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdool
a
e
g
e
evalue
.
c: in_domain: special-case
0D doma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolaege
Av
o
id use of s
y
s
/
t
imes
.
h
h
ead
e
r when no
t
available
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoola
e
ge
a
d
d gnul
i
b getsubop
t
module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: mention that GiNaC is
also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verdoolaeg
e
Allow build
o
f o
c
c
when using
b
und
l
ed ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verd
o
olaege
d
oc
:
add a reference
t
o a m
a
ster thesi
s
actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdo
o
lae
g
e
b
a
rvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
R
EADME: fix up installation
inst
r
uctions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
r
doolae
g
e
Add files generated by
b
i
son a
n
d
flex to t
h
e dis
t
r
ib
u
t
i
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
e
r
d
oolaege
evalue
.
c: affine2evalue:
r
educe coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoo
l
aege
evalue
.
c: evalue_le
v
el_cmp: pr
o
duce more c
o
nsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sve
n
V
e
rdoo
l
a
e
ge
doc:
add another paper referr
i
n
g
to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven
Verd
o
olae
g
e
p
i
ecewi
s
e_lst
.
h: avoid
d
u
p
licate par
a
meter
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalue_read
.
c:
f
ix min
o
r bugs in tok
e
n
i
zer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaege
update
omega for missing files in
d
istri
b
u
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
barvinok_e
n
umer
a
t
e_e: avoid
infin
i
te loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
include om
e
ga
submodule
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdo
o
la
e
ge
move ome
g
a subdir to om
e
ga_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
NTL_QQ
.
cc
:
add
std
l
i
b
inc
l
u
de fo
r
abor
t
hid
d
en in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoo
l
ae
g
e
r
e
move gnulib link-warning
m
odu
l
e compl
e
te
l
y
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdool
a
eg
e
lexmin
.
cc:
f
ind and sort are in s
t
d:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doolae
g
e
lexmin
.
c
c
: avoid
u
se of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
g
e
4co
i
ns
.
cc: remove dead code
commit
|
commitdiff
|
tree
next