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_convex_hull.c: explicitly mark wrapping lp problem as rational
2011-02-10
Sven Verdoolaege
isl_convex_hull
.
c
:
explicitly mark wra
p
p
ing lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven
Verdool
a
ege
isl_t
a
b_min: mic
r
o-optimi
z
at
i
o
n
: po
s
tpo
n
e taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolae
g
e
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaege
isl_tab_add_row: add further explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdoolaege
i
s
l_tab
.
c:
f
ix typ
o
s in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_tab_p
i
p
.
c: co
r
rect
l
y de
t
ect
non-negat
i
vity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verd
o
olaege
test both context
h
a
ndling mecha
n
i
sms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_is_equal
i
ty: properly sup
p
ort "big param
e
t
er"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdool
a
ege
i
s
l
_
ta
b
_pip
.
c: fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_hull
.
c
: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ve
r
doolae
g
e
isl_union_map_compute_flow: return acces
s
es with n
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
M
e
rge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
oolaege
isl_uni
o
n_map
.
c: inplace: pass data point
e
r to isl_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
lae
g
e
isl_
d
im_mov
e
: update pa
r
ameters of
n
este
d
s
p
ace
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add
i
sl_map_nat_
u
niverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
c
lean
u
p i
s
l
_
s
et_from_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdool
a
ege
mer
g
e isl
_
basic_set/isl_basic_map
an
d
i
sl
_
s
et/isl_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "omega"
t
ransitive
c
losure to "
b
o
x
"
t
r
a
nsitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdo
o
laege
expor
t
i
sl_in
t
_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
isl_ve
r
tic
e
s
.
c
:
f
i
x
typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
isl_union
_
templ
.
c:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_map_subt
r
act
.
c
:
n_non
_
r
e
dundant
:
propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
isl_bernst
e
i
n
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdo
o
laege
add isl_unio
n
_
p
w_q
p
olynomial_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdoolaege
isl_s
t
ream
_
r
e
ad_obj: read int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
Verdo
o
l
a
e
ge
add int
objects fo
r
use i
n
iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oo
l
aege
isl_basic_map_remove_div
s
: finalize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolae
g
e
add isl_basic
_
set
_
get_
t
uple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge branch 'm
a
int
'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaeg
e
i
s
l_un
i
on_map_sample: don't return NUL
L
on empty inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoo
l
aege
i
s
l_basic_map_set_tuple_name: f
i
nalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoolaeg
e
isl_tran
s
itive_closure
.
c
:
more
a
n
o
nymize
i
n
p
ut map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
do
o
laege
isl_b
a
sic_
s
e
t
_factorize
r
: make
s
u
re
gr
o
up information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdool
a
ege
add isl_union_map_rang
e
_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
d
o
c
: do
c
ument produ
c
t functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoo
l
aeg
e
rena
m
e is
l
_basic_
s
et_product
t
o
isl_b
a
si
c
_se
t
_list_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaeg
e
isl_set_co
n
v
e
x_
h
ull:
o
pt
i
onally use Fourier-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
isl_basic
_
s
e
t
_samp
l
e_point
:
exploit fac
t
o
rizati
o
n
if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdo
o
laege
add isl_morph_
v
ec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
c
h
ang
e
pr
o
t
o
ty
p
e of
isl_ve
c
_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
e
ge
add is
l
_p
r
inter_print_
v
e
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
add is
l
_u
n
ion_set_apply_union_pw
_
qpolynomial
_
fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolae
g
e
exp
o
rt isl
_
union_map_from_domain and i
s
l_union_map_f
r
om_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdoolae
g
e
isl_b
a
sic_map_intersec
t
_domain: replace open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
isl_stream_read_map: accept modulo
e
x
pres
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
olaege
isl_ba
s
i
c
_
m
ap
_
insert: don
'
t simp
l
ify the result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
Mer
g
e branc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
isl_bas
i
c_map_f
r
om_constraint_
m
atr
i
ces: cl
e
ar newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n Verdoolaege
isl_token_free:
free string represent
a
tion of keywor
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoola
e
ge
isl_
i
nput
.
c: read_
f
a
ctor: drop unexpe
c
ted ident
i
fier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
erdoolaege
i
s
l
_input
.
c: accept_
a
f
fine_factor: avoid d
o
uble fre
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
T
o
b
i
as Grosser
Add isl_union_(set/map)_detect_equalitie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rdoolaege
isl_stream_read
_
ma
p
: allow
s
p
ace
n
ames that ha
p
pe
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
isl_stream_next_token: keep track of stri
n
g representation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
a
ege
add isl
_
basic_set_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add
i
sl_union_m
a
p
_
s
i
mple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdoolaege
M
erge branch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoola
e
ge
add
i
sl_set_rem
o
ve_u
n
known_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
er
d
oolaege
isl_map_is_
s
ubset: don't comp
u
te
d
ivs of minu
e
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
r
e
name
isl_map_is_
s
i
n
gleton
to isl_map_fast_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
l
a
ege
ad
d
isl
_
map_f
a
st_is_
s
ingl
e
_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
ae
g
e
add
isl_qpoly
n
omial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
ex
p
o
rt isl_union_
s
et
_
d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoo
l
a
ege
isl_
q
polynom
i
al_
a
d
d
_on_domain: c
o
mpute gist w
i
th resp
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Ver
d
o
o
laege
i
sl_
u
nion_m
a
p_coales
c
e
a
n
d isl_union_map_co
m
p
ute_
d
ivs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Ve
r
doolaege
i
sl_basic_map
_
solve_lp: use deno
m
i
n
ator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge commit
'is
l
-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
sl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdoolaeg
e
isl_tab_basic_map
_
p
artial_lexopt:
f
ix up symmetry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolaege
isl_basic_
m
ap
_
universe:
f
inalize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoolaege
isl_seq
.
h: allow inclusion f
r
om
C
++
commit
|
commitdiff
|
tree
2010-12-31
Tobi
a
s Grosser
Add GDB modu
l
e that defines
a
n
i
s
lprint command
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdool
a
ege
r
e
implem
e
nt isl_map_par
t
ial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven
Ver
d
ool
a
e
ge
isl_map:
f
ix
typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdoolaege
add some more isl_map_lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Ve
r
doolaege
add isl_qpolynomial_add_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
o
o
l
a
ege
ad
d
isl_pw_
q
polyno
m
ial
_
fol
d
_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdo
o
l
a
e
ge
add
i
sl_pw_qpo
l
ynomial_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
a
d
d
i
s
l_qpolynomial_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
add is
l
_qp
o
l
ynomial_fold_g
e
t_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoolaege
isl_printer_p
r
int
_
qpolynomial_
f
ol
d
: support C form
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
ola
e
g
e
export isl_
p
rinter_print_qpolynomial
_
fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
export isl_u
n
ion_map_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoo
l
aege
a
dd isl_{set,map
}
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
ola
e
ge
add isl_
b
asic_{s
e
t,ma
p
}_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
isl_p
r
inter_
p
ri
n
t
_basic_{set,map}
:
don't prin
t
newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
rename isl
_
*
_
dump to isl_*
_
prin
t
_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdo
o
laege
make
i
sl/point
.
h self-contai
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven
Ve
r
doolaeg
e
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_pri
n
ter_print
_
basic_map: plug m
e
mory l
e
a
k
o
n e
r
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sv
e
n
Verdo
o
lae
g
e
isl_dim_set_n
a
me
:
plug
mem
o
ry l
e
ak when overwritin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
er
d
o
olaege
i
s
l_tab_basic_map
_
part
i
al
_
lexopt: d
e
t
e
ct
and ex
p
loit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl
_
tab_
p
ip
.
c: fix
t
ypos in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
doo
l
aege
isl
_
pip: limit
t
he to
t
al
n
umber o
f
p
a
rame
t
er value
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoola
e
ge
a
dd
i
sl_ba
s
ic_set_coun
t
_
u
pto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
doo
l
aege
i
sl_scan
.
c: fix typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Grosser
Do no
t
hash the memory addr
e
ss o
f
a
n
isl_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolae
g
e
isl_flow
.
c: fix typos
i
n co
m
me
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
i
s
l
_union_map_compute_f
l
ow: exploi
t
fi
x
e
d
dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next