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_stream_read_map: allow existential quantification over disjunctions
2011-02-17
S
v
e
n Verdoolae
g
e
isl_st
r
ea
m
_read_map: allow existential quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
privately export isl_basic_map_ad
d
_div_
c
onstrai
n
ts_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolaege
i
sl_morph_basic_set: preserve r
a
tionality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
add isl_basic_set_is_
r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
isl_printer_print_basic
_
map: explicitly mark ra
t
ional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rd
o
olaege
isl_stream_read_map: re
a
d ratio
n
al ma
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaeg
e
isl_basic
_
map_insert: p
r
eserve
r
ationality of in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
ad
d
isl_basic_map_
s
et_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
V
e
r
doolaege
isl_ba
s
ic
_
ma
p
_
f
as
t
_cmp: differentiate bet
w
een rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Ver
d
oolaege
isl_outp
u
t
.
c
: remove some code
d
u
p
lication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Verd
o
olae
g
e
isl_print
e
r_
p
ri
n
t_basic_{set,map}: d
o
n
'
t start
n
ew
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
s
l_stream_read_map:
a
c
c
ept '|
'
at
star
t
of co
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_s
t
r
e
am: keep
tra
c
k
of
textual repr
e
sen
t
at
i
on of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdool
a
ege
isl_inpu
t
.
c: cl
e
a
n up read_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_stream_r
e
ad_map: accept disju
n
ction
s
w
i
t
hin a con
j
unct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verd
o
olaege
isl_
c
on
v
ex_hull
.
c: ex
p
li
c
itly mark wrapping lp pr
o
blem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Verdoolaege
isl_tab_
m
in: m
i
cro-opt
i
mization: postpone taking
i
nto
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ve
r
d
o
olaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
aege
i
s
l_tab_
a
d
d
_row: add
f
urt
h
er explan
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl
_
tab
.
c: fix typos in
c
o
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
i
s
l
_
tab_pip
.
c: correctly detect non-negativity of d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
l
aege
add
test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
tes
t
both cont
e
x
t
handli
n
g mechanis
m
s of is
l
_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl_tab_is_e
q
uality:
p
r
ope
r
ly suppor
t
"big parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
i
s
l_tab_
p
ip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
isl_af
f
ine_
h
ull
.
c: fix typos
in
c
omment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdool
a
eg
e
isl_union
_
m
a
p
_compu
t
e_flow: return
accesses
w
ith n
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaege
Merge b
r
anc
h
'main
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
isl_union_map
.
c: inplace: pass data pointer to isl
_
has
h
_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n V
e
r
do
o
laege
isl_dim
_
m
ove: u
p
date parameters
of nes
t
e
d spa
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
ad
d
isl_ma
p
_na
t
_univ
e
rse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up is
l
_set
_
from_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
e
n
Verdool
a
ege
merge
isl_basic_set
/
isl_basic_map a
n
d
i
sl_set
/
isl
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "o
m
eg
a
" tr
a
n
s
itive clo
s
ure to "box" transiti
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
exp
o
rt
i
sl_
i
n
t
_obj_f
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
i
sl_vertic
e
s
.
c: fix ty
p
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erdoolaege
isl_un
i
on
_
temp
l
.
c
:
f
ix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_ma
p
_subtract
.
c: n
_
non
_
redundant: propage isl_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oola
e
ge
i
s
l
_berns
t
e
i
n
.
c: f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
Verdoola
e
ge
add isl_union_pw_qpolynomial_mu
l
_isl_i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdo
o
laege
isl_stream_read_obj: rea
d
i
n
t
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
add i
n
t objects fo
r
us
e
in
i
scc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
isl
_
b
asic_
m
ap_r
e
move_divs: fina
l
ize
re
s
u
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolae
g
e
add
i
sl_basic_set_get_tup
l
e_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n
Ver
d
oolaege
Merge b
r
anch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_uni
o
n_map_
s
am
p
le:
don't
r
eturn NULL on empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Verdoolaeg
e
isl_basic_map_s
e
t_tuple_name: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolaege
i
s
l_tra
n
sitive_closu
r
e
.
c
:
more ano
n
ymize i
n
pu
t
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaeg
e
is
l
_
basic_set_facto
r
i
zer:
make sure group information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
r
d
oola
e
ge
add isl_
u
nion_m
a
p_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
ool
a
ege
do
c
: doc
u
m
e
nt
product functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdoolaeg
e
rename
i
sl_basic_set_
p
ro
d
uct to isl_basic_se
t
_l
i
st
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Ver
d
o
o
lae
g
e
i
s
l_set_convex_
h
ull: o
p
tionally use Fou
r
i
er-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
d
ool
a
ege
isl_bas
i
c_set_sample_poin
t
: exploit factorizati
o
n if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
add isl
_
mor
p
h_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
change prot
o
type of isl_
v
ec_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
a
d
d isl_pri
n
t
e
r_
p
rint_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
d
d
i
s
l_uni
o
n_set_apply_union_pw_qp
o
lynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
export isl
_
union_map_fro
m
_domain
a
nd i
s
l_un
i
on_map_
f
rom_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_b
a
sic_map_int
e
r
s
ect_domain: replace o
p
en-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_stream_read_map: accept mo
d
u
l
o expres
s
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_
b
as
i
c
_
map_insert: don't si
m
plify the res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdool
a
ege
Merge
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
l
_basic_map_fr
o
m_constraint_matrices:
c
le
a
r
n
ewly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_token_
f
ree
:
free string represe
n
t
a
tion o
f
ke
y
w
ords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
d
o
olaege
isl
_
input
.
c: read_factor
:
drop unexp
e
cted
ident
i
fier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
isl_i
n
pu
t
.
c: acc
e
pt_affine_factor: avoid doub
l
e fr
e
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Grosser
Ad
d
isl_union_(set/map
)
_dete
c
t_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Ver
d
o
o
laege
isl_stream
_
read_m
a
p: allow space names t
h
at
happe
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoola
e
ge
isl_str
e
am_nex
t
_token: keep tr
a
ck of string r
e
prese
n
tation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
ad
d
isl_basic
_
set_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
add isl_
u
n
i
on
_
map_si
m
ple_hu
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
Merge branch 'ma
i
nt'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
a
d
d isl_
s
e
t
_
r
e
move_un
k
no
w
n_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven V
e
rd
o
olaege
isl_map
_
is_subset: don't
compute div
s
of
minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Ve
r
do
o
l
aege
r
e
name isl_map_is_singleton to isl_
m
a
p
_fa
s
t_i
s
_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doo
l
aege
add i
s
l
_
map_fast_is_singl
e
_
valu
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
add isl_qpo
l
ynomi
a
l
_
d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erd
o
ola
e
ge
export isl_union_set_d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
ola
e
ge
isl_qpolynomial_add_on_domain:
c
omp
u
te
g
i
st with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven
V
e
rdoolaege
is
l
_union_ma
p
_coalesc
e
and isl_union_map_c
o
mpute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_basi
c
_
m
ap
_
s
o
l
ve_lp:
u
s
e
d
en
o
mi
n
ator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge commit 'isl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
isl
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
isl_tab_bas
i
c
_map_part
i
a
l
_l
e
xopt:
fix up
s
y
mme
t
ry detect
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaege
isl_bas
i
c_map_universe: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
e
ge
isl
_
seq
.
h
: allow inclus
i
on from
C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias Gr
o
ss
e
r
Add GDB mod
u
le that
d
efines an islprint command
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n
V
erdoolaege
re
i
mp
l
e
ment isl_map_partia
l
_lex
o
pt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
V
erdoolaege
isl_map: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
add some more isl_
m
ap_lexmi
n
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaeg
e
add isl_qpo
l
yno
m
ial_add_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_p
w
_qpolyno
m
i
a
l
_
fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
add isl
_
pw_
q
polynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Ve
r
doolaege
a
dd
isl_qpolynomial_fo
l
d_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
ool
a
ege
add isl_
q
po
l
yn
o
mial_fold_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_printer_print_qpolynomia
l
_fold: support C forma
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
V
e
rdoolaege
export isl_printer_print_qpolynomia
l
_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoolae
g
e
export isl
_
union_map_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
add isl_
{
set,map}_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next