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: be more relaxed about multiple equalities being adjacent
2011-02-19
Sven Verdoolaeg
e
i
s
l_m
a
p_coalesce: be mo
r
e relaxed about mu
l
tiple e
q
ualities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
a
d
d isl_basic_map_from_domain_
a
nd_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Verdoolaege
ad
d
isl_basic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
r
doolaege
a
dd isl_ba
s
ic_set_f
l
at_pro
d
uc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
oolaege
export isl
_
bas
i
c_map_f
l
atten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_ba
s
ic_map
_
from_qpolynomi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
isl_st
r
eam: su
p
port \<ne
w
line> line con
t
in
u
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
d
oolaege
add isl_unio
n
_
m
a
p_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
V
erdoolaege
isl_
s
t
r
eam_read_map: a
c
cept 'true' an
d
'
fal
s
e
'
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_read_map: allow extr
a
';' at end of ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
ge
isl_s
t
ream_
r
ead_m
a
p: allo
w
ne
g
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_read_map
:
allow existen
t
ial qu
a
n
t
ification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privately expo
r
t isl_bas
i
c_
m
ap_add_div_constrain
t
s_va
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_m
o
r
p
h_basic_set: prese
r
ve rationality of inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
r
do
o
laege
add
i
sl_
b
asic_set_is_r
a
tion
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoola
e
ge
i
sl_prin
t
e
r_print_basic_map: explicitly mark
r
ational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
isl_stream_read_map: read rational
m
aps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdoolaege
isl_basic_map_insert: preserve rationa
l
ity of
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdo
o
laege
add isl_ba
s
ic_map_set_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
isl_ba
s
ic_map
_
fast_cmp: differentiate betwee
n
ration
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_outpu
t
.
c
:
r
e
m
ove some
c
ode duplicati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
ae
g
e
i
s
l_printe
r
_
p
rint_basic
_
{set
,
ma
p
}: don't sta
r
t new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream_read_map: ac
c
ept '|' a
t
start of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdo
o
laege
isl_stream: kee
p
track of textual repres
e
ntat
i
on of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ve
r
doola
e
g
e
isl_input
.
c: c
l
ean up re
a
d_disjunct
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven V
e
rdoolaeg
e
isl_stream_read_map
:
accept
d
isjunct
i
on
s
within a conjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_conv
e
x_hull
.
c: explicitly mark wr
a
p
p
ing lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_min: mic
r
o
-
o
ptimization: postpone
taking in
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
Merge bran
c
h
'
m
ain
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_tab_
a
dd_row
:
add furth
e
r
ex
p
la
n
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_tab
.
c: fix
t
y
pos
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_p
i
p
.
c
:
c
orrectly
d
e
tect
n
on-negativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
add
t
est
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
erdool
a
e
ge
test
both co
n
text h
a
ndling mechanisms of isl_pi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl_
t
ab_i
s
_equality
:
p
r
operly
sup
p
ort
"big
p
arameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
doolae
g
e
isl_ta
b
_p
i
p
.
c
:
fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolae
g
e
i
s
l
_af
f
in
e
_hull
.
c: fix t
y
p
o
s i
n
co
m
m
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n V
e
r
doolaege
isl_union_map_compute_flow: ret
u
rn
accesses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erd
o
olaege
M
e
rge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_union_map
.
c
:
inp
l
ace: p
a
s
s
d
ata
p
ointer to isl_hash
_
ta
b
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_move: update parameters of nes
t
e
d
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
ad
d
isl_map_nat_univ
e
rse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Verdoolaege
c
l
ea
n
u
p
isl_se
t
_
from_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Verd
o
olaege
mer
g
e
isl
_
b
a
sic_set
/
is
l
_
b
asic_map
a
nd
isl_set/
i
sl
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdo
o
laege
r
e
n
ame "omeg
a
" transitive c
l
o
sure to "box" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
export
isl_int_obj_fre
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaeg
e
isl_vertices
.
c: fix
t
ypos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_u
n
ion_te
m
pl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdoolaege
is
l
_map_subtract
.
c: n
_
n
on_redu
n
dant:
pr
o
p
a
g
e
isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
e
r
doolaege
isl_bernstein
.
c:
f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
a
d
d isl
_
union
_
p
w
_qpolynomial_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
isl_stream_read_obj: re
a
d int obj
e
c
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add int object
s
for us
e
in i
s
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoolae
g
e
is
l
_bas
i
c_
m
a
p
_
remove
_
divs:
f
inal
i
ze resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
o
laeg
e
add
isl_basic_set
_
get_tupl
e
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Mer
g
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
isl_union_map_sample:
don't
ret
u
rn NULL on emp
t
y
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoo
l
aege
isl_basic_ma
p
_s
e
t_tuple_nam
e
: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Ve
r
doolaege
isl_transitive
_
closur
e
.
c
:
more anonymize input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
d
oolaege
isl_basic_set_f
a
ctorizer: make su
r
e gr
o
up information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdoolaege
add i
s
l_union_map_r
a
nge_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdoolaege
d
o
c: docume
n
t pro
d
uct functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdool
a
ege
rename isl_basi
c
_
s
e
t
_pr
o
duct
t
o
is
l
_basic_
s
et_list_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven
V
e
rdoolaege
isl_set_convex_hull: op
t
ionally use Fourie
r
-
M
ot
z
kin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_b
a
s
ic_set_samp
l
e_point:
e
x
p
l
o
it fa
c
torization if a
n
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
add isl_morph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change p
r
ototype of isl_vec_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
Verdoolaege
a
dd isl_printer_print_v
e
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
add
i
sl_union
_
s
et_apply_
u
nion_
p
w_
q
poly
n
omia
l
_
f
old
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
ex
p
ort isl_union_map_from_do
m
ai
n
and i
s
l_union_map
_
fro
m
_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_map_i
n
tersect_do
m
a
in: re
p
lace open-
c
o
d
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
isl_st
r
e
a
m_rea
d
_map
:
a
c
cept modu
l
o expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
e
rdoolaege
isl_b
a
sic
_
map_insert: don't simplif
y
t
h
e re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoo
l
aege
isl_basic_map_fro
m
_co
n
stra
i
nt_mat
r
ices
:
clear
n
ew
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
isl_token_free: free string representation of keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_input
.
c:
r
ea
d
_fa
c
to
r
: drop u
n
expected ide
n
tifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
i
s
l
_
i
n
put
.
c: accept_affine_fact
o
r:
a
void double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaeg
e
isl_stream_read_map: allo
w
s
p
ace na
m
es that happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdool
a
e
ge
is
l
_str
e
am_
n
ext_
t
oken: kee
p
track o
f
string re
p
resentation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
d
d i
s
l_b
a
si
c
_
s
et_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
add isl_union_m
a
p_
s
imple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n
Verdo
o
laege
Merge branch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdo
o
laege
add isl_set_r
e
move_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoola
e
ge
isl_map_is_sub
s
et: don't
c
o
mpute divs of m
i
n
uend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
rename
i
sl
_
map_
i
s_singleton to isl_map_fast_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
a
d
d isl
_
m
ap_fast_is_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
o
o
laege
add isl_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdo
o
l
aege
ex
p
o
rt isl_union_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaeg
e
isl_qpolyno
m
ial_add_on_domain: compute gist
w
ith respec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdo
o
laege
i
sl_unio
n
_map_co
a
le
s
ce and isl_union
_
map_comp
u
te_d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_basic
_
m
a
p
_so
l
v
e
_
lp:
u
s
e
d
enominat
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolaege
M
erg
e
commit 'isl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoola
e
ge
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
isl_tab_ba
s
ic_map
_
par
t
i
a
l_le
x
opt:
f
ix up symmetry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoolaege
isl_bas
i
c_map_universe:
f
inal
i
ze
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
s
l_seq
.
h: a
l
low inclusion from
C
++
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
olaege
rei
m
plement isl_map_partial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolae
g
e
isl_m
a
p:
fix
t
y
p
o
s in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdool
a
ege
add s
o
me
m
ore isl
_
map_lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next