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
configure.in: fix typo
2010-06-01
Sven Verdoolaege
configure
.
in: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
us
e
isl for ar
g
u
m
e
n
t
parsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoo
l
ae
g
e
update isl for
k
eeping track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
o
o
laege
test_b
o
und: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oola
e
g
e
updat
e
isl fo
r
help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
remove
e
v
al
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_
r
a
nge_pro
p
aga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_
b
ound:
u
se isl inter
f
ace for compu
t
ing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ve
r
doola
e
ge
barvinok_bound:
use isl interface for compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
erdoola
e
ge
iscc
:
suppo
r
t
ub even if GiN
a
C s
u
pport w
a
s
n
ot compi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add gener
i
c
i
sl
_
p
w_qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update
i
s
l
for isl_
p
w
_
qpolyno
m
ial_boun
d
_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
te
s
t_bound: use isl dur
i
ng
v
erifica
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoo
l
aege
ba
r
vinok_bound
:
u
s
e isl dur
i
ng v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
verif
y
.
c: ext
r
act some helper funct
i
ons for i
s
l ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Ve
r
do
o
la
e
ge
introduc
e
"bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaeg
e
options
.
c:
f
i
x
p
r
i
ntf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdool
a
ege
i
scc: add app
l
ication operati
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
iscc: add read op
e
r
ati
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
iscc:
f
ree options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update isl
fo
r
reading
of strings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ve
r
doola
e
ge
update isl
f
o
r
f
ix in i
s
l_printer_print_pw
_
q
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoola
e
ge
updat
e
isl-polylib for ch
a
nge
in
p
kg-config fi
l
e
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
iscc: allow sp
e
cification of
o
utput format
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
u
pdate isl for c
h
ange in isl_set_gist ar
g
umen
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doolaege
update isl for
re
n
ame
o
f
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verd
o
ol
a
ege
c
o
n
fi
g
ure
.
i
n
: ad
d
isl f
l
ags and libs to pkg
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Ver
d
oolae
g
e
iscc: te
s
t isl_st
r
eam for e
o
f r
a
ther than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
cc: add deltas op
e
rati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
u
p
d
a
te isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvinok_en
u
m
e
rate_pip_w
i
th_options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaege
iscc: ad
d
c
r
os
s
product operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en
Verdoolaege
isc
c
: add
c
o
al
e
sc
e
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
do
o
l
aege
up
d
a
t
e isl for isl_pw_
q
polyn
o
mial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
Verdoolae
g
e
d
r
op "Omega c
o
un
t
i
n
g calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
te
s
t
_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
b
ernstein
.
cc:
f
ix printf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
e
rdoolaege
evalu
e
_
r
a
n
ge_propagation: fix substitu
t
ion for n
e
ga
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
bernstein/configur
e
.
in: use
abso
l
u
t
e srcdir of
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
on
l
y
d
istribute bu
n
dled
s
ubmodules
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
u
p
date ome
g
a
f
or confi
g
urat
i
o
n issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
c
o
nfig
u
re
.
in: a
l
low "build" Pol
y
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdool
a
ege
i
s
l_qpolynomial_fold_from_ginac:
handle fa
i
l node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl
_
qpolyn
o
mial_from_ginac: expand ex befor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl
_
obj_lis
t
.
c:
update
to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doola
e
ge
isc
c
:
add g
i
st
o
perations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
u
pdate isl for
introduction of
i
sl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
isl_pw_qpolynom
i
al_upper_bound:
s
et u
p
vari
a
b
le v
e
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
cc:
a
dd some
c
omparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
rdo
o
laege
i
s
cc:
add
i
nvers
e
o
p
eratio
n
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verd
o
ola
e
ge
iscc: fix up
ty
p
e of find_ma
t
ch
i
n
g
_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
is
c
c: ad
d
affine hull o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
scc: ad
d
o
p
e
r
a
tion to construct univers
a
l m
a
p f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdo
o
laege
iscc: add "
j
oin" operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
isc
c
: add inters
e
ct_domain ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
isc
c
: a
l
low
overloadin
g
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
o
laege
iscc: add more dom o
p
erat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
d
oc: reorganize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ver
d
oolaege
up
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
barvin
o
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
A
U
THORS
:
u
p
date support info
r
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
rand
o
mve
c
t
o
r
:
d
oubl
e
size of coefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isc
c
:
supp
o
rt tra
n
sitiv
e
cl
o
s
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
u
p
date isl to versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
laege
b
a
rvino
k
_e
.
cc: e
n
u
merate_vd: remov
e
unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Polyhedr
o
n
_Inser
t
:
add
m
i
ssing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
l
aege
evalue
.
c: reduce_evalue: remove unused
v
aria
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc
:
add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaege
add isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc: a
d
d sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rd
o
olaeg
e
add
is
l
_pw_qpol
y
nom
i
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
add isl
_
pw_qpoly
n
omial_
t
o_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
lae
g
e
update isl f
o
r isl_pw_qpolyn
o
mial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
r
e
n
a
me evalue2i
s
l to isl_
p
w_qpo
l
ynomial_
f
r
o
m_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
dool
a
eg
e
iscc: det
e
ct more
kinds o
f
errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
b
a
rvinok_enumerate: use isl during the
v
erif
i
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
olaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add isl_set_car
d
and i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaeg
e
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
ool
a
ege
evalue_conver
t
: expo
r
t
a
s application
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdool
a
ege
barvino
k
_enumerate
_
e: optionally u
s
e
isl to
proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
a
d
d isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
AX_SUBMODULE
:
acc
e
pt "-" in
m
odule
n
ame
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
b
a
rvinok_enum
e
rate:
r
e
t
urn NaN
f
or infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
ege
r
emove_all_e
q
ual
i
ties
:
hand
l
e integrally, but not
r
a
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaege
barvinok_enu
m
er
a
te_e: always
r
eturn a part
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok
_
enumerate
:
check that dimen
s
ion
of input include
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
partition2enum
e
r
a
tion: check that i
n
put is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
d
o
olaege
update piplib for change in c
o
nfig
u
re op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
update omega for configuratio
n
/comp
i
lation is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdool
a
ege
barvinok_count
_
with_options: che
c
k return val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Pol
y
hedron_Sample:
p
lug me
m
o
r
y l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
sum
m
a
te
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
topcom
.
c: su
p
p
ort ne
w
er v
e
rsions of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
topcom
.
c
: compute_do
m
ain: ski
p
v
e
r
tices
without dom
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_minimize: take
cons
t
ant term to be
zer
o
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ve
r
doolaege
d
oc: reflect that --ena
b
l
e-fractional i
s
now
t
he default
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verd
o
olaege
glpk_polyhedron_affine_sign: special case
0D
p
o
lyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ver
d
oolaege
Polyhedr
o
n_Insert_
C
olumn
s
:
f
ix
typo
commit
|
commitdiff
|
tree
next