repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add isl_pw_qpolynomial_fold_eval
2010-03-09
Sven V
e
rdoolaeg
e
add isl_pw_qpolynomial_fold_eva
l
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add isl_pw
_
qpolynomial_f
o
ld
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl_pw_qpolyn
o
mial_fo
r
ea
c
h
_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaege
add isl_set
_
lift
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
a
d
d
isl_set
_
fr
o
m_po
i
nt
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdoolae
g
e
a
dd isl_mat
_
ins
e
rt_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add isl_pw_
q
polynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add isl_pw_
q
polynomial_for
e
ac
h
_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
ool
a
ege
a
dd
i
s
l_pw_qpoly
n
o
m
ial_get_d
i
m
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolae
g
e
a
dd isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolae
g
e
isl_s
t
ream: allow
"_" in
tokens
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doo
l
aege
i
s
l_stream: accept "@"
t
oken
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
isl_map
_
read: accept
'
*'
in affin
e
expressio
n
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
isl_qpolyn
o
mial_eval: use consisten
t
dimens
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
doc: update
to
r
emov
a
l of piplib as
a
subm
o
dule
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
doc:
f
ix
t
y
po
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoo
l
a
e
ge
isl_s
t
ream_rea
d
_obj:
add s
u
ppo
r
t for
r
e
a
ding pi
e
cewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_stream_read_
o
b
j
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add ge
n
e
r
ic isl
_
obj
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
ad
d
support for (piec
e
wise
)
q
u
a
sipolynomial
s
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n V
e
rdo
o
l
a
e
g
e
add isl_map_
m
ove
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stre
a
m: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
d
o
olaege
isl_s
t
ream: parse infty
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
export isl_strea
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_stream:
a
ll
o
w user sp
e
cified k
e
ywords
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_
s
tre
a
m: add some
auxiliar
y
fun
c
tio
n
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
isl_st
r
eam:
read "defin
i
tion
"
token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_in
t
_tdiv_
q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
p
rivately export is
l
_set_contains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add is
l
_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add isl_se
t
_sample_
p
oi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
laege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_basic_set
_
scan: make sure s
u
ffic
i
ent rows are all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaeg
e
isl_
m
ap_subtract: only
add
d
ivs
w
hen
needed
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
rdo
o
laege
add
i
s
l
_map_order_di
v
s
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
dool
a
ege
extract isl_tab_
a
dd_div from isl
_
tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
laege
isl_v
e
c
.
c: fi
x
m
i
nor white
s
pace issu
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
doolae
g
e
a
d
d isl_set_co
m
p
lement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
e
xport isl_map_make_di
s
joint
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
a
d
d is
l
_h
a
s
h_t
a
b
le_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
aege
isl_map_p
r
int: extract out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoolaege
a
dd isl_set_fas
t
_
i
s_uni
v
erse
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_inp
u
t
.
c
:
accept_affine
:
fix
memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoo
l
aege
isl_map_intersect
:
de
t
ect emp
t
y result als
o
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_m
a
p_read:
skip until the
e
nd o
f
the l
a
st line w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
s
t
r
e
a
m_next_t
o
ken_on_same_line: ch
e
ck if last
to
k
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_s
e
t_
w
ra
p
_
facet: m
a
ke sure
s
et is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_coal
e
sce
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-19
S
ven
Verdoolaeg
e
isl_
m
ap
_
r
e
ad
:
a
c
cept lis
t
of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl
_
map_read: extract out par
s
i
n
g of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
o
olaege
isl
_
map_read:
a
dd dummy vari
a
bl
e
name for unnamed
v
a
r
i
ables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
isl
_
stre
a
m: accept ";"
token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
us
e
-O1 optimi
z
ation
l
evel for g
c
c 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
rdoolaege
d
rop co
m
ma at th
e
end of
enumeratio
n
s in include
f
iles
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doo
l
a
e
ge
isl_map_read:
acce
p
t
affine combinations of earlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map_read
:
construct basi
c
ma
p
w
h
i
le r
e
ad
i
ng vari
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Ver
d
oolaege
is
l
_map_
p
ri
n
t: add primes to dupli
c
ate nam
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ver
d
oolaege
isl_map
_
tra
n
sitive_c
l
o
sure:
improve accura
c
y by copyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
is
l
_map_tr
a
nsitive_
c
l
osure: p
e
r
f
orm exa
c
tness ch
e
ck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
is
l
_
map_t
r
ansitiv
e
_clo
s
ure: reformulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a tr
a
n
sitive closure ex
a
mple from the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map
_
transi
t
ive_
c
losure:
compute power on
stron
g
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_transi
t
ive_closure: in
t
ersect with dom
a
in and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_map_trans
i
tive_closure: extract
o
ut
constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Ver
d
oola
e
ge
isl_m
a
p_
t
rans
i
tive_clo
s
ure: move a
c
yclicity test u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdool
a
ege
add
isl
_
set_lower
_
bound_
s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_
m
ap_pr
i
nt: us
e
consisten
t
nam
e
s on
all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
l
a
ege
isl_cat:
allow speci
f
ication of ou
t
p
u
t format on comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: s
u
p
p
ort ISL_FORMAT_P
O
LYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rdoolaege
isl_map_coalesce: f
i
x s
o
me regressi
o
n
s introdu
c
ed by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
add isl_
c
l
osur
e
test a
p
plication
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n V
e
rd
o
olaege
add tran
s
itive clos
u
re exa
m
ple f
r
o
m
Kel
l
y's 1
9
96 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
m
ap_transitive_closure: c
o
nstruct
gene
r
a
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
isl_map_tra
n
s
i
ti
v
e_c
l
osure: pr
e
pare for the c
o
nstruct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_trans
i
t
i
ve_closure:
c
onstruct paths that ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl
_
transitive_closure: extrac
t
ou
t
construc
t
i
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
r
d
o
ola
e
g
e
isl_
m
a
p_transi
t
ive_cl
o
sure: use
m
o
re ge
n
eric acyclici
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdoola
e
ge
isl_map_print: add
p
ar
e
ntheses ar
o
und disj
u
nc
t
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolae
g
e
isl_hash_table: u
s
e size that corresponds to
t
he number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_h
a
sh_table
:
gro
w
table when
we ru
n
out of
e
ntries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
l
aege
isl_ma
p
_co
a
lesce:
o
n
ly use non-redun
d
ant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoolaege
add
isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoolaege
isl_m
a
p_
r
ea
d
: accept chains of compar
i
so
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
e
x
port isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven
Verdoola
e
ge
isl_ma
p
_read: forget existentially quantified var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aege
isl_in
p
ut
.
c
:
remove needless i
n
d
i
re
c
ti
o
n
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verd
o
olaege
doc: d
o
cument how to
i
n
sp
e
ct sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
e
x
port isl_map
_
comput
e
_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verd
o
o
l
aege
isl_constraint_div: make sure re
q
ue
s
ted div is a known div
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
doc: drop documentation of _du
m
p functions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolae
g
e
isl_ma
p
_print: impr
o
ve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl_basic_map_
f
o
r
each_c
o
n
straint
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
doolaege
isl_map_coa
l
esc
e
:
h
andle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
p
rivately export isl
_
s
et_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_con
v
ex_hull
.
c:
wrap_facet: a
l
low unbounded face
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
d
o
c: improve decri
p
tion of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ve
r
d
oola
e
ge
i
sl_ma
p
_
transi
t
ive_closure
:
improve
test
for exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
add
a coun
t
e
r
e
xample for Theorem 1 of th
e
COCOA
p
aper
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoolaege
add
i
s
l
_m
a
p_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_
m
ap
_
p
ower: coal
e
s
ce domain and range
commit
|
commitdiff
|
tree
next