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: accept disjunctions within a conjunct
2011-02-11
Sven Ve
r
doolaege
isl_str
e
am_re
a
d_map:
accept d
i
sjuncti
o
ns withi
n
a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ve
r
dool
a
ege
isl_conve
x
_hull
.
c: explicitly mark wrapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven
Ver
d
o
o
l
a
ege
is
l
_tab_mi
n
: micro-o
p
timizat
i
on: post
p
one ta
k
ing i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoola
e
ge
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
o
ola
e
ge
isl_ta
b
_add_r
o
w
:
add further explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdool
a
ege
isl_t
a
b
.
c: fix typos in co
m
men
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verd
o
o
l
a
e
g
e
isl_tab_pip
.
c: co
r
rectly
d
e
t
ect n
o
n-negativi
t
y
of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
la
e
ge
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
t
est both context handli
n
g
mechanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
i
sl_
t
ab
_
is_equality: properly support "
b
ig paramet
e
r"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
i
s
l
_tab_pip
.
c: fi
x
typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl_affin
e
_
h
ull
.
c: fix t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
is
l
_union_map_comput
e
_flow: re
t
u
r
n accesses
wi
t
h n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_m
a
p
.
c: inplace: pass
data pointer to
isl_hash_
t
abl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoo
l
a
e
ge
isl_dim_move: updat
e
p
a
rameters
o
f
nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add isl_map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdo
o
laeg
e
clean up isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Ver
d
o
o
laege
merge isl_basi
c
_set/isl_basic_
m
a
p and isl_s
e
t/
i
sl_
m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
S
v
en Verdoolaege
rename "omega" transitiv
e
clo
s
ure to "box" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
g
e
export isl_i
n
t_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaeg
e
isl_ve
r
tices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_union_tem
p
l
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoola
e
ge
isl
_
map_
s
ubtract
.
c:
n
_n
o
n_redundant: pro
p
age isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoolae
g
e
is
l
_bernstein
.
c: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
olaege
add
i
sl
_
union_pw_qpolynomial_
m
ul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoo
l
a
ege
isl
_
s
t
ream_read_obj: read int
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add int o
b
je
c
ts
f
or use i
n
i
scc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_
b
asic_map_remove_div
s
: finalize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
ege
add isl
_
basic_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oolae
g
e
M
e
rge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
i
s
l_u
n
ion_map
_
sa
m
ple:
d
o
n
't ret
u
rn NULL on empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n
Verd
o
o
laege
isl_ba
s
i
c
_m
a
p
_set_tu
p
le_name: final
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_transitive_
c
losure
.
c: more anonymize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
erdoolaege
isl_basic
_
s
e
t_fac
t
or
i
z
e
r: make
s
ure
group inform
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
add is
l
_
u
nion_map_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verd
o
o
l
aege
d
o
c: document
p
roduct functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
oolaege
rename isl_basic_set_pro
d
uct to isl_basic_s
e
t
_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolae
g
e
isl_set_convex_hull: opti
o
nally use
F
ourier-M
o
t
z
kin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Verdoolaege
isl_basic_
s
et_sample_point: explo
i
t factoriz
a
t
io
n
i
f
an
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 Ve
r
doo
l
aege
change prototy
p
e of isl_vec_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoo
l
aeg
e
add is
l
_
p
rint
e
r_print
_
v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
add
isl_union_set_app
l
y_u
n
ion_pw_qpolynom
i
al
_
fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
exp
o
rt isl_unio
n
_map_from_doma
i
n and isl_union_map_f
r
om
_
r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
g
e
isl_basic
_
map_intersect_domain: replace
open-c
o
ded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_st
r
e
am_re
a
d_map
:
accep
t
m
o
dulo e
x
pression
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_ma
p
_i
n
sert: don't simplif
y
t
h
e result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aeg
e
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
isl_basic_map_from_constrain
t
_ma
t
rices
:
cle
a
r newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
rdoola
e
ge
isl_token_
f
r
e
e: free string r
e
pres
e
ntation
of
k
e
ywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
isl_
i
nput
.
c: read_factor:
d
rop
unexpected id
e
ntifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolae
g
e
i
s
l
_
input
.
c:
a
ccept_
a
ffine_
f
actor: avoid double fr
e
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Gro
s
ser
Add
i
sl_union_(set
/
ma
p
)_detect_equa
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n
V
erdoolaege
isl_s
t
r
e
a
m_rea
d
_ma
p
: allo
w
space names t
h
at happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
s
l_stream_next_toke
n
: keep
track of strin
g
representation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaege
ad
d
isl_ba
s
ic_set_flat
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
add isl_
u
n
ion_map_simple_hul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
Merge branch '
m
aint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
l
a
ege
add
i
sl
_
set_rem
o
ve_unkno
w
n_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
l
a
ege
isl_m
a
p_is
_
subset: don't compute divs
of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
o
olaege
r
e
name isl_map
_
is_si
n
g
leton to isl
_
map_fas
t
_is
_
singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add
i
sl_map_fast_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
add i
s
l_q
p
olynomi
a
l_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
e
x
port isl_unio
n
_set_
d
um
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oo
l
a
eg
e
i
s
l_qp
o
lynomial_add_on_domain
:
compute gist with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Ver
d
ool
a
ege
isl_uni
o
n_map_c
o
alesce and isl_union_
m
ap_compute_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
Verdoolaege
isl_basic_map_solve_lp: u
s
e de
n
ominat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Mer
g
e commit '
i
sl-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 Verdool
a
ege
isl_tab_
b
asic_map_partial_lexopt:
fix up symmetry
d
etection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl
_
b
a
sic_ma
p
_univer
s
e: fina
l
ize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolaege
isl_seq
.
h: allow inc
l
usi
o
n
from C++
commit
|
commitdiff
|
tree
2010-12-31
To
b
ias Grosser
A
d
d GDB module tha
t
defines an islprint command
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rdoolaege
reimpleme
n
t isl_map_partial
_
lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
e
n Verdo
o
laeg
e
isl_map: fix t
y
pos
in com
m
e
nt
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
add some
more
i
sl_ma
p
_
l
e
xmin
tes
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n
Verd
o
olaege
add isl_qpolyn
o
mial_add_
i
sl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdool
a
ege
add isl
_
pw_qpolyno
m
i
al
_
fol
d
_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven
Verdoolaege
add
isl_pw_qpolyn
o
m
i
al_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Ve
r
doolaeg
e
add isl_
q
p
olyno
m
i
al_fold_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doola
e
ge
add isl_qpolyno
m
ial_fold_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
i
s
l
_printer_print_
q
po
l
y
nomial
_
f
old: support C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verd
o
o
laege
expor
t
isl_
p
rinter
_
print_qpolynomia
l
_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
d
oolaege
e
x
p
o
rt isl_un
i
on_map_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Ver
d
o
o
l
aeg
e
add i
s
l_
{
set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
ad
d
isl_basic_{set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Ve
r
do
o
l
aege
isl_print
e
r_print_ba
s
ic_{se
t
,m
a
p}: don't print n
e
wli
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
rename isl_*_dum
p
t
o
i
s
l_*
_
p
r
int_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sv
e
n
V
e
rdool
a
ege
make isl/p
o
int
.
h self-c
o
n
t
a
i
ned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven V
e
rdoolaege
i
s
l
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven V
e
rdoolaege
i
s
l_printer_print_ba
s
ic_ma
p
:
p
lug
memory leak on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_di
m
_
s
et
_
n
a
me: plug memory leak when overwri
t
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
i
sl_tab_basic
_
map
_
parti
a
l_lexopt:
detect and exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
ven Verdoolaege
isl_tab_pip
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
ven Verdool
a
ege
isl
_
pip:
limit the t
o
ta
l
number of parameter
values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verd
o
olaege
add
i
sl_basic
_
set_cou
n
t_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ver
d
o
o
l
a
eg
e
isl_sc
a
n
.
c:
fix typo
i
n co
m
m
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-17
T
ob
i
a
s
G
rosser
Do n
o
t hash the
m
e
m
ory address of
a
n
isl_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verd
o
olaege
i
sl_flow
.
c:
fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
