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_basic_set_get_dim_name
2011-03-01
Sv
e
n Verdoolaege
add is
l
_basic_set_get_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdool
a
ege
i
s
l_map
_
identity:
take
d
imension
spe
c
ifica
t
ion of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaeg
e
rename isl_dim_map
t
o isl_dim_map_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
olaege
transitiv
e
c
losure: project
ou
t
param
e
ters w
h
en any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
rdoolaege
privately
e
xport isl_bas
i
c_set_re
s
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdool
a
ege
isl_set_lift: preserve
structure of sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoola
e
ge
isl_pw_
q
pol
y
nomial_
b
o
u
nd:
handle combination
of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
isl
_
tab_pip
.
c: fix typo in
commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdool
a
ege
isl_tab:
check
for obvio
u
sly empty tablea
u
s
a
f
ter
d
iscover
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
i
sl_b
a
sic_map_gist: p
r
efer contraints w
i
thout exist
e
n
tiall
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven
V
erdo
o
la
e
ge
isl
_
bas
i
c_
m
ap_sort_const
r
a
ints: change comparison rout
i
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sve
n
Verdoola
e
ge
isl_tab_ineq_type: classify more constraints as
being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
erdo
o
laege
isl_map_coal
e
sce: be more relax
e
d
a
bout
multipl
e
equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoolaege
a
d
d isl_basic_map_
f
rom_domain_a
n
d
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaeg
e
add isl_basic_se
t
_n
e
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
add i
s
l_bas
i
c_set_flat_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
export isl_basic_
m
ap_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoola
e
ge
add isl_ba
s
ic_map_from_q
p
olyn
o
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
i
sl
_
strea
m
: support \<newline
>
line continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
o
l
aege
add
i
sl_union_map_read
_
from_
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoola
e
ge
isl_stream_read_
m
ap
:
acc
e
pt 'true' and '
f
alse
'
constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_str
e
am_re
a
d_map: all
o
w extra ';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
i
s
l
_
stream_read_m
a
p
: allow
negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdool
a
e
g
e
i
s
l_stream
_
read_map: allo
w
existenti
a
l quantificat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdo
o
laeg
e
privately export
i
sl_
b
asic
_
map_a
d
d_
d
iv_constra
i
nts
_
var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ver
d
oo
l
aege
i
s
l_mo
r
ph_basic_set:
p
reserve rationality
o
f input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
add isl_basic_set_is
_
rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven
Ve
r
doolaege
isl_printer_print_basic_map
:
explicitly mar
k
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
i
s
l_str
e
am_read_ma
p
: read rational map
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaeg
e
isl
_
basic_m
a
p_insert: preserv
e
ra
t
ionality
o
f
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verd
o
o
l
aege
add isl_basi
c
_
ma
p
_
s
e
t_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
dool
a
ege
isl_basic_map_fast_cmp:
d
ifferentiate betwe
e
n rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Ve
r
doolaege
isl_output
.
c
:
remove so
m
e code
d
uplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_print_basi
c
_{set,map
}
: don't start
n
ew
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_
s
tream_read_m
a
p: acc
e
pt '|'
a
t
start of cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven
Verdoolaeg
e
is
l
_stream:
k
eep t
r
a
c
k
of t
e
xtual representation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ver
d
o
olaege
isl_input
.
c
:
clean up
read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
Verdoolaege
i
s
l_stream_rea
d
_map: accept disjun
c
tions w
i
thin a
c
o
njun
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_
c
onvex_
h
ull
.
c: e
x
plicitly mark wrapp
i
ng
lp p
r
oblem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven
V
erdoolaege
isl_tab_min: micro-optimization: postpone t
a
king into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
Merge branc
h
'
m
a
in
t
'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
V
erdoolaege
isl_tab_add_r
o
w: add
f
u
r
ther expla
n
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoola
e
ge
i
sl_tab
.
c: fix ty
p
os in comm
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolae
g
e
isl_tab_pip
.
c: correctly detect non
-
negati
v
i
t
y
of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaeg
e
ad
d
t
es
t
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
do
o
laeg
e
test both
context
handling m
e
c
hani
s
ms
o
f isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
isl_tab_
i
s_
e
q
uality:
pr
o
perly
s
upport "bi
g
parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl_ta
b
_pi
p
.
c: fix t
y
po in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
erdoolaege
isl_affine_h
u
ll
.
c: fix typos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_union_map
_
c
o
mpu
t
e_flow: ret
u
rn acc
e
sse
s
with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven
Ve
r
doolaege
isl_u
n
ion_
m
ap
.
c:
inpl
a
ce: pass data pointe
r
to isl
_
hash_ta
b
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_
d
im_move: upd
a
te parameters of nest
e
d
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
add isl_ma
p
_nat_un
i
verse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up isl_set_from_
b
asic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
e
n Verdoolaege
m
e
rge isl_ba
s
i
c
_set/isl_basic_map an
d
isl_set/isl_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
r
ename "omega
"
t
r
a
nsitive closur
e
to "box" t
r
ansit
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
export isl_int_
o
bj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ver
d
oolae
g
e
isl_vertices
.
c: fix typo
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
d
o
o
laege
isl_union
_
templ
.
c: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdoolaeg
e
isl_map_subt
r
a
ct
.
c
: n_non_redundant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
isl_bernstei
n
.
c: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ve
r
doolaege
add isl_union
_
pw_qp
o
lyn
o
mi
a
l_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
o
o
l
aege
isl_stream_read_obj:
r
ead
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdool
a
ege
add int obj
e
c
t
s for use in isc
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaeg
e
isl_
b
asi
c
_
map_remove_divs: f
i
nal
i
z
e
re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_basic_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en V
e
rd
o
olaeg
e
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
e
r
doolaege
isl_un
i
on_map_sample: do
n
't retur
n
N
U
LL o
n
e
m
pty
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoolae
g
e
isl_basic_map_set_tuple_name: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doolaege
isl
_
transitive_cl
o
sure
.
c: more an
o
nymize inp
u
t map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoo
l
a
ege
isl_basic_se
t
_
fa
c
torizer: ma
k
e
sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en Verdoo
l
aege
add
i
sl_union_map_range
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdo
o
laege
doc: docum
e
nt product fu
n
cti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolae
g
e
r
e
n
ame isl_basic_set_product to
isl_basi
c
_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaege
isl_se
t
_convex_hull
:
optionally use F
o
u
r
i
e
r-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdool
a
ege
isl_b
a
sic_set_sample_poin
t
: exploit fac
t
orization i
f
any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add is
l
_morp
h
_
v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
laege
c
h
ange
prototy
p
e of isl_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
add isl_prin
t
e
r
_pr
i
nt_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
ae
g
e
add
i
sl_union_
s
et_
a
pply
_
union_pw_qpolynomial_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
expo
r
t isl_u
n
i
on_map_from
_
domain a
n
d isl_union_m
a
p_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoola
e
ge
isl_basic_map_i
n
tersect_doma
i
n: replace op
e
n-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoola
e
ge
i
s
l_stream_read_
m
ap: accept modulo express
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
isl_basic_map_in
s
ert: don't simplify the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdoolaege
Mer
g
e bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
i
s
l
_ba
s
i
c_map_from_
c
onstraint_matrices
:
clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
Verdoolaege
isl_token_free: free st
r
ing represe
n
tation of
k
eyw
o
rds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
r
d
oolaege
i
s
l_input
.
c: read_
f
actor: drop
u
nexp
e
cted identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
l
aeg
e
isl_input
.
c
:
accept_affine_factor: av
o
id double
free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tobias
G
rosser
Add i
s
l_union_(set/map)_detect_equa
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdoolaege
isl_stream_re
a
d_map:
a
l
low space n
a
mes that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_s
t
ream_ne
x
t_token:
k
eep track of
string re
p
r
e
sentation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
rdo
o
lae
g
e
add is
l
_basic
_
s
et_flatt
e
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
add isl_
u
ni
o
n
_
m
a
p
_simple_hul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdo
o
laege
Merge br
a
nch '
m
a
in
t
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
isl_ma
p
_is_subset
:
don't c
o
mp
u
te divs
of minue
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en
V
erdoolaege
rename isl_map_is_singlet
o
n to isl_m
a
p_fast
_
i
s
_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verd
o
o
l
a
ege
add i
s
l
_map_
f
ast_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next