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
isl_pw_qpolynomial_sum: handle isl_pw_qpolynomials with wrapped domains
2010-08-05
Sv
e
n
V
erdoola
e
ge
isl_pw_qp
o
lynomial_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
update isl fo
r
nested
di
m
ension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ver
d
oolaege
i
s
l_map_c
a
rd: postpone s
h
uffling arou
n
d of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
update i
s
l fo
r
i
sl_basic_map
_
mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolae
g
e
isl_pw_qpo
l
ynomial_s
u
m
:
p
u
sh conversion t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
isl_p
w
_qp
o
lynomial_su
m
: check for unb
o
u
nde
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoola
e
ge
avoid u
s
e of i
s
l_dim interna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
s
c
c: su
p
port cod
e
ge
n
operation if CLoo
G
is avail
a
b
le
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
isc
c
: switch t
o
u
s
in
g
union
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d
i
s
l
_
un
i
on_pw_qpol
y
n
omial_
s
um
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rd
o
olaege
add
is
l
_
union_m
a
p_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl_pw_
q
p
o
lynomial_s
u
m: ta
k
e
tuple name
s
i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
d
oolaege
isl_map_card
:
preserve full dom
a
i
n
di
m
ensi
o
n informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
eg
e
updat
e
i
sl for cha
n
g
e in isl_hash_
t
a
b
le_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
barvinok_enum
e
rate
.
cc: fix printf
f
o
r
ma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
olaege
do
c
: add
som
e
m
o
r
e
p
a
pe
r
s ref
e
ring to t
h
e
l
ibrar
y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdo
o
lae
g
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
ge
u
p
d
at
e
isl to v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoo
l
a
e
ge
configure
.
in: prope
r
ly add isl flags and lib
s
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdo
o
laege
c
o
nfigure
.
i
n
: dro
p
c
a
l
l
to gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
er
d
oolae
g
e
gen
f
un
.
cc: fix pr
i
ntf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdoolaeg
e
test_
a
pprox
.
c: fix p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
Verdo
o
l
aege
t
est_bo
u
n
d
.
c: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
a
e
ge
configure
.
in: stop compiling Omega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoola
e
g
e
verify_l
e
xsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoola
e
ge
evalue
.
c: avoid use
of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
eval
u
e_isl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erd
o
olaege
iscc: recover fr
o
m
e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
u
p
date
isl for impr
o
ve
d
error hand
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
e
n
Verd
o
olaege
d
oc: iscc: update docu
m
en
t
a
t
ion of
"ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
test_ap
p
rox: inc
l
ude ctype
.
h for iss
p
a
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
t
est_approx:
i
nclude con
f
ig
.
h for HAVE_S
Y
S_TI
M
ES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
test
_
bound: include config
.
h for HAVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
iscc: a
d
d vertices
operations
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
optionally use is
l
to
perform para
m
etr
i
c
v
ertex
e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
up
d
ate isl-polylib for handling of rationa
l
set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
drop
d
ist
i
nctio
n
between b
a
rvinok
-
core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
up
d
a
te isl for generic
isl_pw
_
q
p
o
l
yno
m
ia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
configure
.
in: drop
bv
_
ome
g
a_pro
g
r
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_
c
tx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdoolaege
iscc: pa
r
se barvino
k
opt
i
ons
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ver
d
oola
e
ge
export isl_qpo
l
ynomia
l
_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaeg
e
Makef
i
le
.
am
:
drop d
e
p
e
ndence o
n
doc/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for rename
o
f
isl_pw_qp
o
lynomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
lae
g
e
ve
r
i
f
_e
h
rh
a
rt
.
c: a
d
d
m
issi
n
g include
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Ve
r
doo
l
a
e
ge
configure
.
i
n
:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoola
e
ge
use isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdool
a
ege
upda
t
e i
s
l f
o
r k
e
e
ping track
o
f user
optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
d
o
o
laege
test_bound: rewr
i
te
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
updat
e
i
s
l for help m
e
s
sage printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
remove evalue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
r
e
move
ev
a
lue_ra
n
ge_pr
o
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ve
r
dool
a
ege
test
_
bound: use
i
sl int
e
rface for compu
t
ing b
o
u
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoo
l
aege
barvinok_bo
u
nd: use
isl interface for compu
t
i
n
g bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
is
c
c: support ub
e
ven if
G
iNaC s
u
pport was not compi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
add generic isl_pw_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolae
g
e
updat
e
isl for isl_pw_qpol
y
nomial_bound
_
r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
tes
t
_bo
u
nd
:
use isl during ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
bar
v
in
o
k_bound: use
isl du
r
i
n
g verific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ver
i
f
y
.
c: ex
t
ract some helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
aege
i
ntroduce "bou
n
d
"
optio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
opt
i
o
n
s
.
c:
fi
x
pr
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdo
o
laege
isc
c
:
add app
l
ication operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
a
e
ge
iscc: add read operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
f
re
e
option
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
update isl fo
r
reading of strings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoola
e
ge
update isl f
o
r fix in
i
sl_
p
rinter
_
p
rint_p
w
_q
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ver
d
o
o
laege
up
d
ate
isl-polylib for change in pkg
-
config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
iscc: allow
specification
o
f output form
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
upda
t
e isl for change in i
s
l_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdoolaege
update is
l
f
o
r rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdo
o
lae
g
e
configure
.
i
n: add isl flags and libs
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
iscc: te
s
t isl
_
stream for eof rather tha
n
the unde
r
lying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
e
ge
iscc: add deltas
o
peration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl
f
or fix
i
n isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
doolaege
d
rop barvinok_e
n
umerate_pi
p
_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doola
e
ge
i
sc
c
:
ad
d
cross produ
c
t operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdool
a
ege
is
c
c: ad
d
c
oale
s
ce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolae
g
e
update
is
l
for
isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
dro
p
"
O
mega co
u
nting calcul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
test_bound
.
cc:
f
ix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
bernstein
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
do
o
laege
evalue_range_pr
o
pagation:
f
i
x substit
u
tio
n
f
or negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven
Verdool
a
ege
bernstein/co
n
figure
.
i
n: use a
b
solute srcdir of
Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
only d
i
s
tribute b
u
ndled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
u
p
date
o
me
g
a
for c
o
nfiguration
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
configure
.
in: allow "
b
uild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
erdoolaege
isl_
q
polynomial
_
fo
l
d_
f
rom_
g
inac:
han
d
le fail n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
o
la
e
ge
isl_qpolynomial_f
r
om_gin
a
c: expand
e
x
befo
r
e ins
p
ection
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
isl
_
ob
j
_list
.
c: update
t
o use
o
f i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
iscc:
a
dd
gi
s
t
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdoolaege
u
p
date
isl for introduction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Ver
d
ool
a
ege
isl_pw_qpolynomial_upper_bound: set up variable
v
ecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ve
n
Verdoolaege
iscc: add some comp
a
rison
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doola
e
ge
isc
c
: ad
d
inver
s
e op
e
r
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoo
l
aege
iscc: fix up type of
f
in
d
_matc
h
i
ng_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoola
e
ge
iscc: a
d
d affin
e
hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
d
o
olaege
i
scc: add opera
t
ion to
construct u
n
ivers
a
l map
from
.
.
.
commit
|
commitdiff
|
tree
next