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_map_card: split dimension fiddling from conversion to PolyLib
2010-09-14
Sven V
e
rdo
o
laeg
e
i
s
l
_map_card: split d
i
m
ension fidd
l
ing
f
r
o
m co
n
v
ersio
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaege
isl_m
a
p_ca
r
d
: use
isl_pw_qpoly
n
omial_s
u
m if re
q
u
ested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdool
a
e
ge
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
update
isl for
f
ix in paramet
e
r
alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
b
a
r
v
inok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add
lexico
g
raphic
o
perators
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaege
update isl
to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ven Verdo
o
laege
iscc: add "sourc
e
" operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
r
doolae
g
e
iscc: ad
d
sup
p
or
t
for
strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
iscc: pr
i
n
t
error mes
s
age
o
n
use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
o
olaege
iscc: suppor
t
u
n
i
o
n
sets i
n
ver
t
ices oper
a
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verd
o
olaege
ba
r
vinok_bound: use isl to split pe
r
iods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update
i
sl for isl_p
w
_qpo
l
yn
o
mial_split_
p
eriod
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
doc: mar
k
P
olyLib inte
r
face obs
o
lescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en
V
erdo
o
laege
Makefi
l
e
.
am: drop refer
e
n
c
e
s
t
o
obsolete @bv_ba
r
v
inok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
evalu
e
_convert
.
cc
:
evalue_print
_
i
sl: print
end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ver
d
oolaege
is
c
c: allow coer
c
ion of binary
li
s
t
int
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
b
a
rvino
k
_boun
d
: c
o
nvert to i
s
l_pw_qpoly
n
om
i
al
o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barv
i
nok_bound: use
i
sl
to split on domain siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
do
o
laege
set sensible defaults with
--polynomial-a
p
proximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolae
g
e
isl_pw_qp
o
l
y
nom
i
al
_
sum: reuse
b
a
rvi
n
o
k
_
options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
isl_map_card: reuse b
a
rvinok_
o
ptions i
f
available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
update isl
f
or al
i
gning p
a
rameters of union
argumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdoola
e
ge
i
scc: a
d
d
"
join"
operation o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdoolaege
i
s
cc: ad
d
"j
o
i
n
" operatio
n
o
n
maps
a
nd folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc: support ad
d
i
tio
n
o
n
a pair of
a
fold
and a qu
a
sipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolae
g
e
update isl for ad
d
ing typ
e
s to isl_{unio
n
_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
ll
o
w codegen
o
n s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc:
codege
n
:
det
e
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
: use s
i
mplifie
d
CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
doolaege
up
d
ate isl for re
n
ame of isl_pw
_
qpolynom
i
al
_
fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laeg
e
iscc
.
c
: unio
n
_pw_qpolynomial_upper_bound: fix mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en V
e
r
doo
l
aege
summate
.
c: fix typo in com
m
en
t
commit
|
commitdiff
|
tree
2010-08-17
S
ven V
e
rdool
a
ege
isl_map_apply_pw_qp
o
lyno
m
ial
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolaege
update i
s
l from isl
_
u
n
i
o
n_ma
p
fixe
s
commit
|
commitdiff
|
tree
2010-08-10
Sven
Ver
d
ool
a
eg
e
iscc: allow inverse on
non-union maps a
g
a
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoolaege
i
scc:
add wrap a
n
d unwr
a
p operations
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ver
d
oolaege
add isl_un
i
on_map
_
a
p
ply_u
n
ion_
p
w_qpol
y
n
o
mial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
erdoola
e
ge
isl_pw_qpolynomial_s
u
m: han
d
le isl_pw_qpol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaeg
e
u
p
date isl for
n
e
s
ted dimen
s
ion
speci
f
ications
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl_map_card: postpone
s
huffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolae
g
e
update isl
for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdool
a
ege
isl_pw_qp
o
lynomial_sum:
p
ush conversion to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoola
e
ge
i
s
l
_pw
_
qpolynom
i
al_sum: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolae
g
e
avoid use
of isl_dim intern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rd
o
olaege
iscc: supp
o
rt codeg
e
n op
e
rati
o
n if CLoo
G
is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolae
g
e
i
s
cc: switch
t
o u
s
in
g
unions
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoo
l
aege
add isl_union_p
w
_qpol
y
n
o
mial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
add isl_
u
nion_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
isl_pw_
q
polynomial_sum:
take t
u
ple nam
e
s in
t
o
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdo
o
laeg
e
isl_map_card: preserve full domain di
m
e
nsion info
r
mation
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
u
p
date isl for change in isl
_
h
ash_table_fore
a
ch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
b
a
rvinok_enumerate
.
cc: fix prin
t
f forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolae
g
e
doc: a
d
d some more papers r
e
fe
r
ing to the lib
r
ar
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
barvino
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
la
e
ge
update isl to
version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
configure
.
in
:
properly add isl fl
a
gs
and li
b
s
t
o pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaeg
e
genfun
.
cc: fix print
f
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
e
st_app
r
ox
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
t
e
s
t_bou
n
d
.
c
: fix
prin
t
f
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
o
la
e
ge
configure
.
in: stop compiling
O
mega by
de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
verify_lexsmall
e
r
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
evalue
.
c:
avoid use of all
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
e
val
u
e_is
l
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
r
d
oolaege
iscc:
recover fr
o
m error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolaege
u
pdate is
l
f
o
r improved error handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdoolaege
doc: is
c
c
: update doc
u
mentation
o
f "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
tes
t
_approx: inc
l
ude c
t
ype
.
h fo
r
is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
ola
e
g
e
test_approx: include config
.
h for HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_bound: in
c
lud
e
con
f
ig
.
h f
o
r HA
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
iscc: add vertices operation
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
option
a
lly use isl to perfo
r
m
parametri
c
ver
t
ex
e
n
umer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
upd
a
te is
l
-polylib for hand
l
in
g
of
r
ational se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
drop di
s
ti
n
cti
o
n between barvi
n
ok-c
o
re and ba
r
vinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
remo
v
e
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
ol
a
ege
upda
t
e isl
for gener
i
c isl_pw_qpo
l
ynom
i
a
l_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configu
r
e
.
in: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_p
e
ek_
b
arvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdoolaege
iscc: parse ba
r
v
i
nok op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
export isl_qpolynomial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
o
laege
Ma
k
efile
.
am:
d
rop dependence
on doc/
o
mega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
update isl for rename
o
f
i
s
l
_
p
w
_qpolynomi
a
l_move
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
verif_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolaege
con
f
ig
u
r
e
.
i
n: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ve
r
dool
a
ege
us
e
isl for argume
n
t parsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
update isl fo
r
kee
p
i
ng tr
a
c
k of user
o
ption
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
laeg
e
tes
t
_bound: re
w
r
ite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
update isl for help messag
e
print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
re
m
ove evalue
_
optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
remove evalue
_
r
ange
_
prop
a
ga
t
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
test_bound
:
use isl interface for computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ver
d
oolae
g
e
barv
i
nok_bound:
u
se isl interf
a
ce for c
o
mputing
b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
Verdoo
l
aege
i
scc: suppor
t
ub even if GiN
a
C support was not c
o
m
pi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ver
d
oolaege
add generic isl
_
pw_qpolynomia
l
_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
up
d
ate isl for
isl
_
pw_qpolynomial_b
o
u
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
test_boun
d
: use isl durin
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvi
n
ok_boun
d
: use is
l
during ve
r
i
f
i
cation
commit
|
commitdiff
|
tree
next