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
test_bound.cc: fix printf format
2010-03-27
S
ve
n
Verdoolaege
test_bound
.
cc: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
be
r
nstein
.
cc: fix
p
r
i
ntf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
eva
l
u
e
_
rang
e
_propagation: fix
s
ubstitution for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/c
o
nf
i
gure
.
i
n
: use
absolute srcdir of PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
e
g
e
only
distrib
u
te
bundled sub
m
odules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
upd
a
te omeg
a
for configura
t
ion issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
erdoolaege
configure
.
in: allow "buil
d
" Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Ve
r
doolaege
isl_qpol
y
nom
i
al_f
o
ld_f
r
o
m
_ginac:
handle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_qpoly
n
omial_from_ginac: expand ex before
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
e
g
e
isl_
o
bj_
l
ist
.
c: update to use of isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
is
c
c: a
d
d gist op
e
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
u
p
d
ate isl for
i
ntroduct
i
on of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_
p
w_qpolyno
m
ial_upper_bound: se
t
up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
iscc: add
s
ome comparison operat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add
i
n
v
e
r
se operatio
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc:
fix up t
y
pe
of
fi
n
d_
m
a
tc
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoo
l
aege
i
scc: add af
f
ine h
u
ll oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
e
rdoolaege
is
c
c: add operation t
o
construct u
n
iversal
m
ap from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaeg
e
iscc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: add
interse
c
t_d
o
main ope
r
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc:
a
l
low overloading bin
a
ry ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: a
d
d m
o
r
e
dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
do
c
: reorg
a
nize table of
i
scc ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
U
T
H
ORS
:
update
s
uppo
r
t
infor
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
randomvecto
r
:
doub
l
e size of coeffi
c
ients on ea
c
h atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
iscc: suppo
r
t trans
i
tive closur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update i
s
l to ver
s
ion
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
cc: enumerate_vd:
remove
u
n
u
sed variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdoolaege
e
value
.
c:
Polyhedron_Insert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oola
e
ge
evalu
e
.
c: reduce_evalue: remove unu
s
ed vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
i
s
cc: a
d
d @
o
pera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_
p
w_qpolynomial_uppe
r
_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
i
s
c
c
:
add sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
r
d
o
olae
g
e
ad
d
isl_pw_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
o
laege
add
isl_p
w
_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
update isl for isl_pw_qp
o
l
y
nom
i
al_f
o
rea
c
h
_p
i
ec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
rename e
v
alue2isl to isl_pw_qpo
l
ynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
S
ve
n
V
erdoolaege
iscc: det
e
ct
m
ore kin
d
s of errors
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aege
barvinok_enume
r
ate: use
isl during
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
ad
d
isl
_
set_c
a
rd an
d
isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
e
va
l
ue_
c
onv
e
rt: expor
t
as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
barvinok_enumerate_e: o
p
t
i
o
n
ally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
erdoola
e
ge
add i
s
l submodule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oola
e
g
e
AX_SUBM
O
DULE:
accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
barvinok_en
u
merate: ret
u
r
n NaN for infinite pr
o
blems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verd
o
olaege
remove_
a
ll_equalities: h
a
ndle integral
l
y, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdo
o
l
a
ege
ba
r
v
ino
k
_
e
numerate_e
:
always retur
n
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoola
e
ge
barvi
n
ok_enumerate: c
h
eck that dimension of inpu
t
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
p
artition2enu
m
eration:
c
h
eck that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdoolaege
upda
t
e piplib
for c
h
an
g
e
i
n c
o
nfigure o
p
tions
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoola
e
g
e
u
p
date omega for con
f
i
g
uration/co
m
pilatio
n
is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
rdoolaege
b
arvin
o
k
_
c
ount_with_opt
i
ons: check return va
l
ue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Sample: plug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdo
o
l
a
ege
su
m
mate
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdo
o
laeg
e
t
opco
m
.
c: s
u
pport ne
w
e
r versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_dom
a
in: skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
polytope_minimize: take con
s
t
a
n
t
term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect that
-
-enable-fractional is now the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
g
e
glpk_poly
h
edron
_
affi
n
e
_sign
:
sp
e
c
ial
c
ase 0D po
l
yhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
P
o
lyhedr
o
n
_
Insert_Co
l
umns: fix typ
o
commit
|
commitdiff
|
tree
2009-11-11
Sven
Ve
r
doolaege
Polyhedron_Facto
r
:
fix upda
t
ing of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in: use AX_
S
U
B
MODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
erdoolaege
remov
e
_equa
l
ities:
use
P
olyhedron_Preimage ins
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
l
aege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc: add
e
xperi
m
ental
compa
r
ison betw
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
l
e
xmin
.
cc:
remov
e
"anachro
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
olaege
d
oc: ad
d
some
less common
.
sty
files
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
add "clever" La
u
rent ex
p
ansion
b
ased sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaeg
e
move Last_Non_Z
e
ro to
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
e
x
tract ou
t
p
a
ram_polynomial
f
rom lauren
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
extrac
t
v
er
t
e
x_
c
one from
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
ven Verdoola
e
g
e
update polylib for spe
e
d im
p
rovement in
i
n_
d
omain
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdoola
e
ge
update pi
p
lib for di
s
tribution
i
ss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Pol
y
hedron_Factor: fix merg
i
ng of g
r
o
u
ps of co
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
barvinok_en
u
m
erate_series: don't check
for r
e
vlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoola
e
ge
(t)
c
ounter: mov
e
counter::
r
ese
t
() up
t
o counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolae
g
e
Makefile
.
am: keep better track of failed te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
ad
d
s
emigroup_holes
a
pplicati
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: handle 0D
p
olytope
i
n
1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoo
l
aege
gen
_
fun: add is_z
e
ro metho
d
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
aege
bar
v
inok
_
enumera
t
e_e_series: r
e
move equalities i
n
e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdool
a
ege
ba
r
vino
k
_
en
u
merate_e_se
r
ies: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
ser
i
es
.
c
c
: make projec
t
static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
l
aege
barvinok_enumerate_e_series: ha
n
dle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ver
d
o
o
l
aege
add test set from the other i
t
sl20
0
8
paper
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdoo
l
aege
P
olyhedron_
F
actor: han
d
l
e
p
olyhedra with a
n
on-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdool
a
ege
upd
a
te p
i
plib
f
or
change in configure
a
rgum
e
nts
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
test_approx
.
c: add d
u
mmy f
i
eld
in du
m
my t
m
s
s
t
r
ucture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoo
l
aeg
e
configure
.
in:
avoid
int
r
oducing
empty elemen
t
s in PKG_CONF
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
occ:
d
ef
i
ne
OMIT_GETRUSAGE if sys/resou
r
ce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verd
o
olaege
omega_interface/Makefi
l
e
.
a
m
: put depending li
b
rar
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
configure
.
in:
add $
(
EXE
E
XT)
to optional
o
cc for cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
r
d
oolae
g
e
upda
t
e omega for MinGW compati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstein
/
configur
e
.
in:
add missing AC_
P
ROG_CXX
commit
|
commitdiff
|
tree
next