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: support \<newline> line continuation
2011-02-17
Sven Ve
r
doolaege
isl
_
stream: support \
<
new
l
ine>
l
in
e
continuat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add
i
sl_union
_
ma
p
_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
Verdoolaege
isl_str
e
a
m_read
_
map:
ac
c
ept
'true' an
d
'false'
c
onstra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolae
g
e
isl_stream_read_m
a
p: allow extra
'
;' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
isl_stream_r
e
ad_map: allo
w
ne
g
atio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doolaege
isl_stream_rea
d
_
m
ap: allow e
x
istential quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
V
e
rdoolaege
privately expor
t
isl_basic_map_
a
dd_di
v
_constraints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rd
o
olaege
is
l
_
m
orp
h
_
b
as
i
c_se
t
: prese
r
ve rationa
l
i
t
y
o
f input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verd
o
olaege
add isl_bas
i
c
_
se
t
_is_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
isl_
p
ri
n
ter_print_basic_map: explicitly
mark rat
i
ona
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdool
a
ege
isl_strea
m
_read_map: read rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_ba
s
i
c_map_inse
r
t: p
r
eserve rat
i
ona
l
ity of in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
add
isl_basic_map_set_r
a
ti
o
n
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
do
o
laege
isl_basic_m
a
p_fast
_
cmp: di
f
ferenti
a
te b
e
tween
rati
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verd
o
o
laege
isl_output
.
c: remove s
o
me co
d
e dup
l
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolae
g
e
isl_print
e
r_
p
rint_basic_{
s
et,map}: do
n
't
s
ta
r
t
n
ew
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
ven Verdoolaege
isl_stre
a
m_read_map
:
accept
'|' at
s
tart of
const
r
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream:
keep track of textual representat
i
on o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verd
o
olaege
isl_input
.
c
:
cl
e
an up
re
a
d_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ve
r
doolaege
isl
_
s
t
ream_read_map: accept disjuncti
o
ns
w
it
h
in a
conju
n
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
ven V
e
rd
o
olaege
isl_convex_hull
.
c: explicitly mark
w
r
a
p
ping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdool
a
ege
isl_tab_min: m
i
cro-optimizati
o
n: pos
t
pone taking in
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
e
rdoolaege
i
s
l_ta
b
_add_row
:
add
f
u
r
ther explanatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
ae
g
e
i
sl_tab
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
e
rdoola
e
ge
isl_t
a
b
_pip
.
c
:
correctly detect non-negat
i
vity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
ool
a
eg
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
t
est
both cont
e
x
t handling
m
echa
n
is
m
s of isl
_
pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_tab
_
is_equal
i
t
y
: properly support
"
big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
i
sl
_
tab_pip
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
e
ge
i
s
l
_affine_hull
.
c: fix typos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
i
s
l_u
n
i
o
n_map_compute_flow: retur
n
a
ccess
e
s with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_un
i
o
n_
m
a
p
.
c: in
p
lace
:
p
a
s
s
data
p
o
i
nter to
isl_
h
ash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolae
g
e
isl_
d
im_move: update pa
r
ameters
of neste
d
space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add isl_map
_
nat_un
i
ver
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Ver
d
oolaege
c
lean up isl_set
_
from_basic
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
m
erge is
l
_basic_set/isl_basic_map and is
l
_
s
et/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
r
e
name "omega" transitive
closure to "box" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
e
x
por
t
isl_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
isl_vertice
s
.
c: fix t
y
p
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl
_
unio
n
_tem
p
l
.
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
isl_ma
p
_subtract
.
c: n_no
n
_
r
e
du
n
dan
t
: propage isl_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdo
o
l
aege
isl_
b
ernstein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaeg
e
a
dd isl_u
n
ion
_
pw_qpol
y
nomial_mul_i
s
l_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
l
_stream_read_o
b
j
: read
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erd
o
ola
e
ge
add int objects for
u
s
e
in
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_basic_map
_
re
m
ove_
d
i
vs: fi
n
alize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdo
o
laege
add
i
s
l_b
a
s
i
c
_
set_get_tuple_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
Merge b
r
anch
'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoo
l
aege
isl
_
union_map_sample:
d
o
n't return NULL
on empty inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoo
l
aege
isl_basic_map_set_tup
l
e_name: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verd
o
o
laege
isl_transitive_clo
s
ure
.
c: more anonymiz
e
input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdool
a
ege
isl_bas
i
c_set_factor
i
zer: make sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
oolaege
a
d
d isl_union_ma
p
_r
a
nge_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoolaege
d
o
c
: document
product
f
unc
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaeg
e
re
n
ame
isl_basic_set_product to isl_ba
s
i
c_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdo
o
laege
isl_set_convex_hull
:
optionally use
Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_bas
i
c_set
_
s
ample_point: exploit
factorization i
f
any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdo
o
laege
add
i
sl_mo
r
ph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaeg
e
change prototy
p
e of
i
sl_vec_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
add
is
l
_pr
i
nter_
p
rint_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
add is
l
_union_set_apply_union
_
pw_qpolynom
i
al_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_un
i
o
n_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
l_basic_m
a
p_i
n
ters
e
ct_
d
o
main:
r
ep
l
ace open-c
o
ded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
isl
_
s
tream_re
a
d_m
a
p: accept modulo express
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
doolaege
i
sl_basic
_
map_inser
t
:
don't simplify t
h
e result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
Merge br
a
nc
h
'main
t
'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_bas
i
c_
m
ap_f
r
om
_
constraint_m
a
trices:
c
l
e
ar newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
isl
_
tok
e
n_f
r
e
e:
free str
i
ng r
e
pres
e
ntation of keyw
o
rds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolaege
is
l
_input
.
c
:
read_fac
t
or: d
r
op u
n
exp
e
c
t
e
d identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoola
e
ge
isl
_
inp
u
t
.
c
:
a
ccept
_
affine_fa
c
tor: avoid double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tob
i
as Grosser
Add isl_union_(set/map)_de
t
e
c
t_e
q
ualitie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
s
l_stream_read_map: allow space names tha
t
ha
p
pen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
V
erdool
a
e
ge
isl_s
t
ream_
n
ext_
t
o
k
en: keep track of st
r
i
n
g representation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
add
isl_basic_set
_
flatte
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
add isl_union_
m
ap_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolae
g
e
Merge bran
c
h 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Verdoolaege
add isl_set_remove_
u
nknown
_
di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
i
sl_map_is_su
b
set: don't com
p
ute div
s
of mi
n
u
e
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
rename is
l
_map_is_s
i
ngleton to isl_map_fa
s
t_is
_
s
i
ngl
e
ton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdo
o
laege
add isl_map_fast_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_qpo
l
y
n
om
i
al_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
o
olaege
export isl_union_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
d
o
olaege
i
s
l_qpo
l
ynomi
a
l_a
d
d_on_domain: c
o
mpute gist wit
h
respec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
Ve
r
d
o
olae
g
e
i
s
l_union_
m
ap_coale
s
ce and isl_union_
m
a
p_compu
t
e_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Ve
r
dool
a
ege
i
s
l_basic_map_solv
e
_lp: use den
o
minator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven
V
erdool
a
ege
Merge comm
i
t 'isl-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdool
a
ege
i
s
l 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolaege
i
s
l_tab_basic
_
m
ap_
p
artial_lexopt: fi
x
up sy
m
me
t
ry
d
e
tec
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
e
ge
isl_basic_
m
ap_universe: finali
z
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erd
o
olaeg
e
isl_seq
.
h: allo
w
inclus
i
on from
C
+
+
commit
|
commitdiff
|
tree
2010-12-31
Tobias Grosser
Add GDB
module that defines an islprint c
o
mmand
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
olaege
reimplement isl_map_parti
a
l
_
l
e
xopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
isl_map:
f
i
x
t
y
pos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
ve
n
V
erdoolaege
add so
m
e
more isl
_
map
_
lexmin
t
ests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
d
d isl_qpo
l
y
nomia
l
_
add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add
i
sl_pw_qpolyn
o
mi
a
l
_fo
l
d_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_p
w
_qpolynom
i
a
l_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoola
e
ge
a
dd i
s
l_qpolyno
m
ial_fold_d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next