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_union_map_read_from_file
2011-02-17
Sven
V
erd
o
ola
e
ge
add
i
sl_unio
n
_map_read
_
from_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Ver
d
o
o
l
ae
g
e
i
sl_
s
t
rea
m
_
r
e
a
d_map
:
accept 'true' a
n
d 'false' constraint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doolaege
i
s
l
_s
t
r
e
a
m
_rea
d
_map: all
o
w extra ';' a
t
e
n
d
o
f map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdo
o
lae
g
e
isl_stream_rea
d
_map: allow negati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
ae
g
e
isl_stream
_
rea
d
_map: allow e
x
istenti
a
l quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Ver
d
oolae
g
e
privately export isl_ba
s
ic_map
_
add
_
di
v
_
constr
a
i
n
t
s
_v
a
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
V
erdoolaege
isl_mor
p
h_basic_set: pre
s
e
rve rationality o
f
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
add isl
_
basic_set
_
is_rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en
Verdoo
l
aeg
e
isl_p
r
inter
_
print_basic_map:
e
xp
l
ici
t
l
y mark ra
t
ional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
isl_stream
_
read_map: read rational
maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_
b
asic_
m
ap_insert: pres
e
rve rat
i
onal
i
ty of i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
a
d
d isl_basic_map_s
e
t_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_basic_m
a
p_fast_cmp: differentiate bet
w
e
e
n ra
t
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
g
e
i
sl
_
output
.
c: re
m
ove some code
du
p
licat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolaege
i
sl_printe
r
_pri
n
t_basic_{
s
et,map}: don't start
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
o
o
l
a
eg
e
isl_stream_read_map
:
accept
'|' at star
t
of
constr
a
int
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven
Verdoolae
g
e
isl_stream: keep trac
k
of text
u
al representation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Ve
r
doolaege
isl_input
.
c:
clean up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_st
r
eam_read_
m
a
p: accept disjunc
t
ions within a
conjunc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Ver
d
oolaege
i
sl
_
c
onvex_hull
.
c: e
x
plicitly mark wrapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoo
l
aege
i
sl_tab_min: micro-optimizati
o
n: postpon
e
t
a
king into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ve
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab
_
add_
r
ow
:
add further e
x
p
lanati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdool
a
eg
e
i
s
l_t
a
b
.
c: fix typos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
is
l
_tab
_
pip
.
c: c
o
rrectly detec
t
non-negativity o
f
divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
t
est both co
n
text handl
i
ng mechanisms of isl_pi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdool
a
ege
isl_tab_is_equality: pro
p
erly
s
upport "
b
ig pa
r
ameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaege
isl_
t
ab_pip
.
c
:
fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
i
s
l
_
affine_hull
.
c: fix typos in
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdool
a
ege
i
sl_union_map
_
com
p
ute_flow: return accesses with n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ver
d
oolaeg
e
M
erg
e
branch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
l
a
e
ge
isl_union_map
.
c
: inplace: pass
d
ata pointer to isl_hash
_
tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
isl_dim_m
o
ve: update par
a
meter
s
o
f
neste
d
s
p
ac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Ve
r
doolaege
a
d
d
i
sl_ma
p
_nat_un
i
verse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
cle
a
n up isl_set_from_b
a
sic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdoolae
g
e
merg
e
is
l
_basic_set/i
s
l
_
b
a
sic
_
map
a
nd isl_set/isl_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoola
e
ge
r
ename "omeg
a
" transiti
v
e closure t
o
"box" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
expor
t
i
s
l_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdool
a
ege
isl_vertices
.
c: fix ty
p
os
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Ver
d
oolaege
isl_union_tem
p
l
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
V
erd
o
olaege
isl_map_subtra
c
t
.
c: n_non_redundant: pro
p
age i
s
l_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_bern
s
tein
.
c: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoo
l
aege
ad
d
i
sl_
u
nion_pw_qpolynomial_m
u
l_
i
sl_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
isl_stream_rea
d
_obj:
read in
t
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add int objects for us
e
i
n
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_basic_
m
a
p_r
e
mo
v
e_
d
ivs:
finalize
r
es
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
add isl
_
basic_se
t
_get_t
u
ple_n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Ve
r
dool
a
ege
Merge
branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdoolaege
i
s
l_unio
n
_map_samp
l
e: don'
t
r
eturn
NULL
o
n empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaeg
e
isl_
b
asic
_
map_set_
t
uple_name: f
i
nalize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n
V
e
r
doolaege
isl_tr
a
ns
i
tive_closure
.
c: m
o
re anonymize input ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
d
o
olaege
isl
_
ba
s
ic_set_factorize
r
: ma
k
e sure group info
r
mation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en
V
erdoolaege
add isl_union_map
_
rang
e
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
la
e
ge
d
oc: documen
t
produ
c
t
f
uncti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verd
o
olaege
r
e
name isl_basic_set_pr
o
duct to isl_bas
i
c_set_
l
is
t
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaege
isl_set_convex_hu
l
l: opti
o
nally use Fourier-M
o
tz
k
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
g
e
isl_basic_set_sample_poi
n
t
:
exp
l
oit fa
c
toriz
a
tion if
a
ny
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verd
o
o
l
a
ege
a
d
d isl_morph_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doola
e
ge
change prototyp
e
of isl_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
olaege
ad
d
isl_printer_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verd
o
olaege
add isl_union_
s
et_apply_un
i
on_pw_qpolynomia
l
_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
export isl_union_map
_
from_domain and
isl_uni
o
n_map_from
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
isl_
b
as
i
c_map_intersect_domain:
rep
l
ace
o
p
en-code
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
l_
s
tream_
r
ead_map:
accept
m
odulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
isl_basic_map_inser
t
: don't
s
impli
f
y the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
Merge branc
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolae
g
e
isl_basic_map
_
fro
m
_constraint_matrices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verd
o
o
laege
isl_token_fre
e
: free
st
r
ing representa
t
ion of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
isl_input
.
c: read_
f
actor: dro
p
unexpe
c
ted identifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoola
e
ge
isl
_
input
.
c: accept
_
af
f
i
ne_fact
o
r: av
o
id doubl
e
fr
e
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Gros
s
e
r
Add i
s
l_union_
(
s
e
t
/
m
a
p)_det
e
ct_eq
u
a
lities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdool
a
ege
isl_stream_read_map: a
l
low space names that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdo
o
l
a
ege
i
s
l
_stream_next_token: keep track of string repr
e
s
ent
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add i
s
l_basic_set_fl
a
t
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaege
add isl_un
i
on_
m
ap_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
M
e
rge
branc
h
'maint
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
add
i
sl_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erd
o
olaege
is
l
_m
a
p_i
s
_
subse
t
: don
'
t com
p
ute di
v
s of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
re
n
ame isl_map_is_single
t
o
n
to
isl_map_fast_is_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n
Ve
r
doolaege
add i
s
l_map_fast_i
s
_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
add isl_qpol
y
nomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaeg
e
export isl_union_
s
et_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
isl_q
p
o
l
y
nomia
l
_add_on_domain
:
co
m
pute gi
s
t with re
s
pe
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolae
g
e
isl_un
i
on_m
a
p
_
coalesce an
d
isl_union_map_co
m
pute_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdool
a
ege
isl_
b
asic_map_
s
olve_l
p
: us
e
denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdo
o
l
a
e
ge
M
e
r
g
e commit
'isl-0
.
0
5
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en
Ver
d
oolaege
is
l
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoo
l
aege
isl_tab_basic_map
_
part
i
al_
l
exopt: f
i
x up s
y
mmetr
y
detectio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
s
l_basic_map_un
i
verse: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaeg
e
isl_
s
eq
.
h: allo
w
inclusi
o
n from C
+
+
commit
|
commitdiff
|
tree
2010-12-31
Tobi
a
s Grosser
A
d
d GDB mod
u
le that defines a
n
islpr
i
nt comma
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erdoolaege
reimplement isl_map_partial_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Ver
d
oolaege
is
l
_map: fi
x
ty
p
o
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verdo
o
laege
add some more isl_map
_
lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
g
e
add isl_qpol
y
nomial_add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdo
o
laege
add isl_pw_qpolyn
o
mial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
dd isl_pw_qpolyn
o
mial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
add isl_q
p
olynom
i
al_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_
q
polynomia
l
_fold_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next