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: include config.h for HAVE_SYS_TIMES_H
2010-06-12
Sven Verdoola
e
ge
test_bound: i
n
cl
u
d
e
config
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
o
olaege
is
c
c: ad
d
vertices
oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
optionally use isl
to per
f
orm para
m
etric
vertex enum
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
update isl-polylib for
h
andli
n
g of
rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
lae
g
e
drop distinction betwe
e
n bar
v
ino
k
-
core and
barvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
remove ber
n
stei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
updat
e
isl f
o
r gener
i
c is
l
_pw_q
p
olyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
conf
i
gu
r
e
.
in: dro
p
bv_omega_pr
o
g
rams
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
ad
d
isl_ctx_p
e
e
k_barv
i
nok_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoo
l
aege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export is
l
_qpolyno
m
ial_fr
o
m_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdoola
e
ge
Makefi
l
e
.
am: dro
p
dependen
c
e o
n
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
up
d
at
e
is
l
for rename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ver
d
oolaege
verif_ehrhart
.
c: add m
i
s
s
ing include
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolae
g
e
con
f
igure
.
in: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
use isl for argument
p
arsing
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
oolae
g
e
update isl for keepin
g
t
r
a
ck of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdoolaege
test_bo
u
nd:
rewr
i
te in C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
update
i
sl for he
l
p message prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remov
e
evalue_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
evalue_r
a
nge_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
erdoolaege
test_bound
:
use isl interfa
c
e for c
o
m
puti
n
g bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdool
a
ege
barvinok_b
o
u
n
d: use isl interface for computin
g
bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
iscc: support u
b
ev
e
n if GiNaC sup
p
ort wa
s
n
o
t com
p
il
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
add
g
ener
i
c isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
aege
update i
s
l
f
or isl_pw_q
p
o
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Verdoolae
g
e
test_b
o
u
n
d
: use isl during v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
barvin
o
k_bound
:
use
i
sl durin
g
veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extract some helper f
u
nctions
for isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aege
i
ntr
o
d
uce "bo
u
nd"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolae
g
e
options
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdoolaeg
e
isc
c
: add a
p
plicatio
n
operations
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verd
o
olaege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
e
rdoolaege
iscc: fre
e
options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
u
p
date i
s
l for reading of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
V
e
r
d
oolaege
update
i
sl
for f
i
x in isl_pri
n
ter_pr
i
nt
_
p
w_qp
o
lynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
o
o
laege
up
d
ate i
s
l-polylib for c
h
ang
e
in pkg
-
config fil
e
commit
|
commitdiff
|
tree
2010-04-21
S
ven V
e
rdoolaege
iscc: allow
s
pecific
a
tio
n
of output format
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
V
erdoolaeg
e
up
d
ate i
s
l for change
i
n
isl_set_gist argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n Verdoola
e
ge
update i
s
l for rename of i
s
l
_
ma
p
_
move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
ae
g
e
c
onfi
g
ure
.
in: add isl
flags a
n
d
li
b
s to
p
kg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
is
c
c: test isl_st
r
eam
f
or eof
r
ath
e
r than the
underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
iscc:
a
dd d
e
lta
s
operation
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
update
i
s
l
f
or fix
i
n is
l
_map_d
e
l
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop ba
r
vinok_e
n
umerate_pip_with_opt
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
r
doolaege
iscc: add
cr
o
ss product opera
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdo
o
laege
iscc: add coalesce
op
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
up
d
ate
isl fo
r
isl_pw_qpoly
n
omial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ver
d
oolaege
d
r
op "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoola
e
ge
t
es
t
_bound
.
cc: fi
x
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
r
n
s
t
e
in
.
c
c
: f
i
x print
f
for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
ev
a
l
ue_range_propagation: fix substitu
t
ion
f
o
r negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
be
r
nstein/configure
.
in: use
abs
o
lute
srcd
i
r of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaeg
e
only
distribut
e
bu
n
dled
submodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
update omega for
configuration i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configure
.
in: a
l
l
o
w "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomia
l
_
fold_from
_
ginac
:
ha
n
dle
fail n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
isl_qpolyn
o
mial_from_ginac: ex
p
an
d
ex
b
efore in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_ob
j
_list
.
c:
update to use of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
S
ven
V
e
rd
o
olaege
iscc:
a
dd gist
ope
r
a
tions
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
up
d
ate isl
for introduction of
i
s
l
_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Ve
r
doolaege
isl_
p
w_qpol
y
n
omi
a
l_upper
_
bound:
s
et up variable
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaeg
e
iscc: add some c
o
mparis
o
n operations
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
i
s
cc
:
add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
is
c
c: fix up t
y
pe of find_matching
_
b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: a
d
d a
f
fi
n
e hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: ad
d
op
e
rati
o
n to co
n
struct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ve
r
doo
l
aege
iscc: add "
j
oin
"
operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
e
r
doolaege
iscc: ad
d
inte
r
sect_domain operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaeg
e
iscc: allow o
v
erloading bi
n
ary op
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdoolaege
iscc:
add more
d
om operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoo
l
aege
doc: reorga
n
iz
e
table of
is
c
c operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvin
o
k 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
dool
a
ege
AU
T
HORS: up
d
a
te support informat
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdoolaege
ran
d
omvector: double size
of
coefficients on e
a
ch
a
tt
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
iscc:
support transitive c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verd
o
ol
a
ege
upda
t
e
isl to vers
i
on 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
barvin
o
k_e
.
cc: enumerate_vd: remove unused va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
e
value
.
c: Polyhedron_Insert: add missing retur
n
ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaeg
e
e
v
al
u
e
.
c: red
u
ce_evalue: remove unu
s
ed va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ op
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdool
a
e
ge
add isl_pw_q
p
olyn
o
mia
l
_u
p
per_b
o
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
is
c
c: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_pw_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_
p
w_qpolynomial
_
to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update i
s
l f
o
r isl_pw_qp
o
lynomia
l
_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoo
l
aege
rename eva
l
ue
2
is
l
to isl_pw_qp
o
lyno
m
ial_fro
m
_e
v
alue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdoolaege
i
s
cc: detect mor
e
kinds
o
f er
r
or
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
b
a
rvinok_enum
e
rate: use isl during the
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd
i
sl_s
e
t_card an
d
isl_ma
p
_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolae
g
e
a
d
d eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
ol
a
e
ge
e
v
al
u
e_co
n
vert: export as applica
t
ion
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
dool
a
ege
barvinok_enumerate_e
:
optionally use isl to proj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolae
g
e
a
d
d
i
sl su
b
mod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
doolaeg
e
A
X
_
SUBMODULE: accept "-" in modulenam
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
bar
v
i
n
ok_
e
numerate: return NaN
for i
n
f
init
e
p
r
obl
e
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remo
v
e
_all_equal
i
ties: handle int
e
gral
l
y, but no
t
rationally
.
.
.
commit
|
commitdiff
|
tree
next