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_read: accept list of predicated elements
2010-02-19
Sv
e
n
V
erdo
o
laege
isl_ma
p
_read: accept list o
f
p
r
edi
c
a
t
ed elem
e
nts
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
i
sl_map_read: extrac
t
ou
t
p
ar
s
i
n
g
of m
a
p bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
isl_map_
r
e
a
d: add dummy v
a
r
i
able na
m
e for unn
a
me
d
v
a
riables
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoola
e
g
e
isl_stre
a
m: acce
p
t
";" tok
e
n
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
use
-O1 optimization level for
g
cc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ve
r
dool
a
ege
isl
_
map_read: accept affine combinations of ea
r
li
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
r
doolaege
isl_map_re
a
d: cons
t
ruct ba
s
ic map whil
e
reading
variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verd
o
ola
e
ge
add a trans
i
ti
v
e closure example from the
Omeg
a
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoo
l
aege
isl_map_tr
a
nsitive_
c
losu
r
e: com
p
ut
e
power
o
n
st
r
on
g
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Ve
r
doola
e
ge
isl_map_transitiv
e
_c
l
o
s
u
re:
intersect
w
ith domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_
t
ransi
t
ive_closure: extract
o
ut construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
e
r
d
oola
e
ge
is
l
_map_tr
a
ns
i
tive_clos
u
re:
move acyclic
i
ty test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
laege
isl_map_
p
rint: use
c
on
s
istent nam
e
s on
all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n
Verdoolaege
i
sl_cat: a
l
low
specificat
i
on of
out
p
ut format on c
o
mmand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verd
o
ol
a
ege
isl_map_print: support ISL
_
FORMAT_POLYLI
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_coalesce: fix
s
o
m
e regressio
n
s introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
add isl_closure
t
est app
l
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
add tra
n
s
i
t
i
ve c
l
osure example from Kelly
'
s
19
9
6 paper
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdo
o
laege
isl_map_transiti
v
e_closure: constr
u
c
t
gene
r
al paths
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verd
o
ol
a
ege
isl_map_tran
s
itive_
c
losur
e
: prepare
for t
h
e constr
u
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
is
l
_m
a
p_t
r
ansitive_closure: c
o
nstru
c
t paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_transitive
_
closure: extrac
t
out co
n
s
t
ructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_
m
ap_t
r
ansitive_closure: use more ge
n
eric acycl
i
c
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_print: add paren
t
heses a
r
o
u
nd disjun
c
ts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
e
rdoolaege
isl
_
hash_
t
able:
u
s
e size that
corresponds to the
n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdo
o
laege
isl_
h
a
s
h_t
a
ble: grow table
w
hen we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolae
g
e
isl
_
map_coalesce: only use non-redundant cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Ve
r
do
o
l
a
ege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoolaege
isl_map_read: ac
c
ept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdool
a
ege
e
x
port i
s
l_m
a
p_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laeg
e
isl_ma
p
_read:
f
org
e
t
exis
t
entially quantif
i
e
d va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
a
ege
isl_inpu
t
.
c: remo
v
e needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
a
ege
doc: do
c
ument how to in
s
pect
sets and
r
elations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
o
laege
e
xport isl_ma
p
_compute_di
v
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
i
s
l_constraint_div: ma
k
e sure reque
s
ted di
v
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
doc: drop documentation
o
f _dump fun
c
tions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doola
e
ge
isl_map_prin
t
: improve
o
utput
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
add isl_basic_map
_
foreach_constr
a
int
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoola
e
ge
isl_map_c
o
alesce: handle mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
oo
l
aege
privately exp
o
rt isl_set_wr
a
p_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
i
sl_
c
onvex
_
hull
.
c
:
wrap_
f
acet
:
allow unbo
u
nd
e
d
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
doc
:
improve
decr
i
pt
i
on of is
l
_map_t
r
a
n
sitive_closur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_m
a
p_transiti
v
e_closure: im
p
rove
test for exactne
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
add a c
o
unt
e
r
e
xample
f
o
r Th
e
orem 1 of the
COCO
A
pa
p
er
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_map
_
power: coalesce domain and r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verd
o
ol
a
ege
i
s
l_flow
.
c:
a
dd m
i
ssing i
s
l_access_in
f
o_
f
ree
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
c
o
a
l
esce
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read
:
accept lists of affine expr
e
s
sions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
er
d
oolaege
add isl_mat_from_row_vec
a
nd isl_mat_vec_conca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
s
l_m
a
p_read: read extend
e
d polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoo
l
aege
add isl_stream
_
ne
x
t_toke
n
_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_read
:
make sure poly
l
ib constra
i
nt coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{ma
p
,set}_dim: handle N
U
LL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
a
ege
isl_map_
r
e
ad: u
s
e more
u
nif
o
r
m
way of readi
n
g
in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdo
o
l
a
ege
i
sl_tr
a
n
s
iti
v
e_closure
.
c: fix
typo
in
c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoo
l
aeg
e
isl_ma
p
_transitive_closure:
use m
o
r
e relaxed exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolae
g
e
a
dd isl_map_
p
owe
r
and isl_
m
ap_trans
i
tiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verd
o
olaege
isl_map
_
subtra
c
t
.
c: mak
e
some internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
g
e
add
generic isl_map_pro
j
ect
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doola
e
ge
ad
d
isl_{ma
p
,
set}_
a
dd
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
rename isl_{map,set}_ad
d
to isl
_
{map,set}_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oola
e
ge
isl_set_pro
j
ect_out: alway
s
u
pdate dimension, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
o
ola
e
ge
isl_dim_join: don't re
q
uir
e
names of joined v
a
riabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verd
o
olaege
a
dd
isl_
m
ap_from_do
m
ai
n
_a
n
d_r
a
n
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
i
s
l_strea
m
:
t
r
eat "-" as operat
o
r
rathe
r
than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ve
r
doolaeg
e
i
sl_
m
a
p
_r
e
a
d:
a
ccept
"
strict" ineq
u
ali
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_input
.
c: fix memory dealloc
a
tion prob
l
em
on
m
is
s
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
Ve
r
d
o
o
l
aege
add dependence
analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_
m
ap_
{
parti
a
l
_
,}lex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
ad
d
priv
a
t
e
isl_{s
e
t,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
ven
Verdoolaege
basis_reduction_te
m
pl
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdool
a
eg
e
i
s
l_tab_pip
.
c
: find_
s
o
l
utions: break when
c
o
ntext becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_equal: don't require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
i
sl_d
i
m_ma
p
:
pro
p
e
rly dupli
c
ate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_dim_drop:
prop
e
rly
a
d
j
u
s
t length of name
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laege
doc: describ
e
in
p
ut/output for
m
a
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
doc: f
i
x
t
yp
o
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
isl_cat test app
l
i
c
ation
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdoolaege
add
o
mega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_test:
u
se is
l
_set
_
read_f
r
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
e
r
d
oolaege
add isl_se
t
_re
a
d_
f
rom_st
r
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaege
ad
d
isl_map_r
e
ad_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
isl_map_read_
f
r
o
m_file: a
l
low union
s
in isl form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_ba
s
ic_map
_
r
ead: read de
f
ini
t
i
o
ns of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
private
l
y e
x
port i
s
l_basic_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_ba
s
i
c
_
m
ap_read: rea
d
affine constr
a
int as
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_i
n
put
.
c: optiona
l
ly re
a
d parameters from input
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ve
r
doolaege
tokenize
r
:
a
ccept
"
and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
export isl_map_re
a
d_from_f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
e
x
port isl
_
basi
c
_map_read_from_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop
redun
d
a
n
t
input_format argument from reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
i
s
l_inp
u
t
.
c: merge f
u
nct
i
o
n
s for
r
ea
d
ing
P
ol
y
Lib an
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaeg
e
isl_input_omega
.
c: accept PolyLib
i
nput
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdoolaege
isl_input_omega
.
c
:
prepare fo
r
readi
n
g parame
t
ric unions
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
isl_input_omega
.
c: finalize and simp
l
ify result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erd
o
olaege
isl_input_omega
.
c: fix
check
f
or mem
o
ry
allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ve
r
doolaege
isl_stream_next_token: skip
co
m
ment li
n
es
commit
|
commitdiff
|
tree
next