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
isl_map_coalesce: only use non-redundant constraints during wrapping
2010-03-04
Sven
Verd
o
olaege
expo
r
t isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: allo
w
user specifie
d
keyword
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
i
s
l_stream:
a
dd some aux
i
liary fun
c
tions
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolaege
isl_str
e
am:
r
e
ad "
d
efi
n
i
tion" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add is
l
_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoolae
g
e
privately expor
t
i
s
l
_set
_
conta
i
ns_
p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add is
l
_
s
e
t_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
i
sl_basic_set_scan: make sure
suf
f
icient ro
w
s are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl
_
map_subtract:
o
nly add divs when
n
eeded
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
d
o
olaege
add isl_map_or
d
er_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extract i
s
l_t
a
b_add_div fro
m
is
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_ve
c
.
c: fi
x
mi
n
or wh
i
tesp
a
c
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
d
oola
e
ge
add isl_set_
c
o
mp
l
ement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
ge
export
i
s
l
_map_
m
ake_dis
j
oint
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
a
d
d
i
sl
_
hash_tab
l
e
_
forea
c
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdool
a
ege
isl_map
_
print:
extra
c
t out print
_
disjunct
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
add
i
sl_set_fast_i
s
_universe
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
i
s
l
_inpu
t
.
c: a
c
cept_affine: fix memory leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_map_in
t
ersect: detec
t
empty re
s
ult also
i
n case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
isl_map_re
a
d: skip until the end of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_s
t
r
e
am_n
e
xt_t
o
ken_
o
n
_
same_line
:
che
c
k if l
a
st to
k
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_set_wrap_facet: make sure set is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoolaege
isl_c
o
alesce
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdo
o
l
aege
isl_ma
p
_read: ac
c
ept
l
ist of predica
t
e
d
eleme
n
t
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map
_
r
ead: extrac
t
out pars
i
ng of
ma
p
body
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoo
l
aege
i
s
l_map_read:
a
dd d
u
m
m
y variab
l
e name fo
r
unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
i
s
l_stream: accept ";"
t
oken
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoola
e
ge
us
e
-O1 optimizati
o
n
l
evel for
g
cc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
i
s
l_map
_
r
e
ad: accep
t
affine com
b
i
n
ations of
earlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
Ver
d
o
o
laege
i
s
l_m
a
p_read: cons
t
ruct bas
i
c map w
h
ile read
i
n
g variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
add a transitive closure examp
l
e fro
m
the
Om
e
ga
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
isl_map_tr
a
nsitive_clo
s
u
r
e: co
m
p
u
t
e p
o
wer on st
r
ongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoo
l
aege
isl_map_tra
n
sitive_closure: intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl_map_transitiv
e
_c
l
osure
:
extract out co
n
struction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_
m
a
p_tr
a
nsitive
_
closure: move acyclicity t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print:
u
se consis
t
ent names on al
l
disju
n
cts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
i
sl_
c
at: allow spec
i
fication of output for
m
at
o
n command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map_pri
n
t: support ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_coalesce: f
i
x some regressions introduce
d
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
add isl_closu
r
e test
application
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ve
r
doolaege
ad
d
transitiv
e
closure example
f
rom Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
laege
isl_
m
ap
_
t
ransitive
_
closure: constru
c
t genera
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ver
d
oolaege
i
s
l_map_transitive_closur
e
: pr
e
pare for
t
h
e
c
o
nstruc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_transitive_closur
e
: constru
c
t
path
s
that
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_transitive
_
closure: extract out cons
t
ructio
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_map
_
transitive_closure: use more generic
a
cyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verd
o
ol
a
ege
isl
_
map
_
print: add parent
h
eses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdoolaege
isl_
h
ash_table: use
s
i
z
e
t
hat correspo
n
ds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdool
a
ege
isl_h
a
sh_ta
b
le: g
r
ow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
isl_map
_
coalesc
e
: only u
s
e non-redun
d
ant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
er
d
oo
l
aege
isl_map_read
:
a
ccept ch
a
ins
of comparison
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoola
e
ge
export isl_map
_
align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Ve
r
doolaege
is
l
_map_rea
d
:
forget
e
xistentially quantified
va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdo
o
laege
isl_input
.
c
: rem
o
ve needless
i
n
direction
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaeg
e
d
o
c: doc
u
ment
h
ow to inspect
s
ets and
re
l
a
t
ion
s
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
e
x
port isl_map
_
c
o
mp
u
te_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
isl_constraint_div: make su
r
e requested di
v
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
doc: dro
p
documentation
of _dump fun
c
tions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oola
e
ge
isl_map_prin
t
: improve
output
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
add isl_bas
i
c
_
map_
f
oreach_c
o
n
str
a
i
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
ola
e
g
e
isl_map_coalesce: handle more
c
ases
commit
|
commitdiff
|
tree
2010-02-08
S
ve
n
Verdoolaege
privatel
y
export
i
s
l_set
_
wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl_conv
e
x
_hul
l
.
c: w
r
ap_facet
:
allow u
n
b
o
unded facet
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
doc: improve decription of isl_map_
t
ransitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
oolaege
isl
_
map
_
transitive_cl
o
s
u
re: imp
r
ov
e
test for ex
a
ctness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
er
d
oolaege
add a
count
e
r
examp
l
e fo
r
Theorem
1
of the C
O
COA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
a
dd isl_map
_
lo
w
er_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_ma
p
_p
o
wer:
c
oal
e
sce domain and
r
ange
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ver
d
oolaege
isl_flow
.
c: a
d
d missing isl_access_i
n
fo_free
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_co
a
lesce
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
isl_
m
ap_r
e
a
d
: acc
e
pt l
i
s
t
s of aff
i
ne expressions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
add i
s
l_mat_from_row_ve
c
an
d
isl_mat_vec_con
c
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
l
aege
i
s
l
_map_
r
ea
d
: re
a
d
e
xtended polylib format
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdoolaege
a
dd isl_stre
a
m_n
e
xt_token_on_sam
e
_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: m
a
ke sure po
l
ylib constraint coeffici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{map,set}_dim: hand
l
e
N
ULL
input
commit
|
commitdiff
|
tree
2010-02-04
S
ven
V
erdoolaege
isl_map_read: use
more unifo
r
m wa
y
of reading
in pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_transitive_closure
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_transit
i
ve_clos
u
re: use more rela
x
ed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
a
d
d isl_map_power and isl_m
a
p_
t
ransitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_
m
ap_
s
ubt
r
act
.
c: make some internal functions static
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
o
o
laege
add gene
r
ic isl_
m
ap_pr
o
jec
t
_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoo
l
ae
g
e
a
dd
i
sl_{
m
ap,set
}
_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
renam
e
isl_{map,set}_add
to
i
sl_{map
,
set
}
_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_s
e
t
_
project_out:
a
lways update di
m
ension,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
i
sl_dim_join: don't requ
i
re names of jo
i
n
ed v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
add is
l
_map_fro
m
_
d
o
main_and_range
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdool
a
ege
isl_stream: tre
a
t "-" a
s
ope
r
ator
rather
than as
-1
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_
m
ap_read: acce
p
t
"
str
i
ct" inequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
g
e
is
l
_input
.
c
:
f
i
x
memory deallocation
problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoola
e
ge
ad
d
dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
la
e
ge
add is
l
_
m
ap_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
e
r
doolaege
add private
i
sl_{set,map}_make_di
s
joint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ver
d
oolaeg
e
basis_redu
c
tion_te
m
pl
.
c: fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoola
e
ge
isl_tab_pip
.
c
: find_solutions: break
w
hen cont
e
xt becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n V
e
r
doola
e
g
e
isl_dim_e
q
ual: don't
requ
i
re names of
i
n
p
ut an
d
outpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
er
d
o
olaege
isl_dim
_
map: properly dup
l
icate names
commit
|
commitdiff
|
tree
next