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
add isl_basic_map_set_rational
2011-02-13
Sven Verdoo
l
a
ege
ad
d
isl_basic_
m
ap_set_r
a
t
i
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdo
o
l
a
eg
e
isl_bas
i
c
_map_fast
_
c
mp:
d
if
f
er
e
ntiate between ra
t
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_output
.
c: remove so
m
e code du
p
lic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaeg
e
isl_
p
rinter_pr
i
nt
_
basic_{set,map}: don't star
t
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
s
l_
s
t
r
eam_read_map: accept
'|' at sta
r
t of
c
onst
r
ain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
ven Verdoolaege
isl_stream:
keep tr
a
ck of textua
l
re
p
r
e
senta
t
ion of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_input
.
c: c
l
e
a
n up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoo
l
aege
isl_stream_rea
d
_
map: a
c
cept disjunctions w
i
thin a con
j
u
n
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ver
d
ool
a
ege
i
sl_convex_
h
ull
.
c
:
e
xplicitly mark wrap
p
ing lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
e
n
Ve
r
doolaege
is
l
_tab_min: micro-o
p
ti
m
izat
i
on: postpon
e
t
a
ki
n
g
i
n
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge b
r
anch 'maint
'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl
_
tab_add_row
:
add
f
urthe
r
explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl
_
tab
.
c: fix typos in
comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
isl_tab_pip
.
c: correctly det
e
ct non-neg
a
tivity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolae
g
e
test both c
o
ntext handling mechanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl_
t
ab_
i
s_eq
u
ality:
p
r
operl
y
support "big pa
r
ameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoo
l
aege
i
sl_tab_pip
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_affine_hull
.
c:
fix typos
in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
i
sl_union
_
map_compute_flow: return a
c
cesses with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
i
s
l_union_map
.
c: inplace: pass
d
ata pointer
t
o isl_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
isl_dim_
m
ove: update
p
arameters of neste
d
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
a
d
d isl_map_n
a
t_un
i
verse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
o
l
aege
cl
e
a
n up isl_set_from_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verd
o
olae
g
e
merge isl_basic_set/isl_basic
_
map and
isl_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sv
e
n Verdoolaege
rename
"
omega" transiti
v
e closure to "box" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
export isl_int_obj_
f
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
isl_vertic
e
s
.
c: fi
x
t
y
pos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
i
s
l_union_templ
.
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_map_
s
ubtract
.
c: n_non
_
r
e
dundan
t
: propage isl_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_
b
er
n
s
t
ein
.
c:
f
i
x
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
e
rdoo
l
a
e
ge
a
d
d isl_union_pw_qpolynomial_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoo
l
aeg
e
isl_st
r
eam_read_obj: read i
n
t objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
add int
o
b
jec
t
s for use
i
n iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verd
o
olaege
isl_ba
s
ic_map_remove_div
s
: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erd
o
olaege
add
i
s
l
_
ba
s
ic_set_get
_
tuple_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaeg
e
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_unio
n
_map_samp
l
e: don't return N
U
LL on em
p
ty i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaeg
e
i
sl_basic
_
map_set_tuple_n
a
m
e
: finalize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl
_
tra
n
sit
i
ve_closure
.
c: more anonymize input m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoolae
g
e
isl_b
a
sic_se
t
_
f
actorizer: make sure group informati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
a
dd isl
_
union_map_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc: document product
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoolaege
r
e
name
i
sl_b
a
sic_set_product to isl_b
a
sic_set_li
s
t_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaege
isl_s
e
t_
c
o
nvex_hull: op
t
i
o
nally use Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
is
l
_basic_set_sample_point
:
exploit
factorization
i
f
a
ny
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
add
i
s
l
_
m
orph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
cha
n
g
e prot
o
type of is
l
_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
a
dd isl_pri
n
ter_
p
r
int_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
add
isl_union
_
s
e
t_apply_union_pw_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoola
e
g
e
expor
t
isl_union_
m
a
p_fr
o
m_domain and
isl_union_
m
a
p_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoola
e
ge
isl_basic_map_
i
ntersect_
d
omain: rep
l
ace open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
isl_stream_read_map: ac
c
ept m
o
d
ulo
e
xp
r
e
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl
_
b
asic_ma
p
_insert: don't
simplify th
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
isl_basic_map_from_constrai
n
t_matrices: clear
n
ewly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
l_token_free: free s
t
ring representatio
n
of keyw
o
rds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven
Verdool
a
ege
isl_
i
npu
t
.
c: read_factor: dr
o
p unexpected identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verd
o
ola
e
ge
isl_input
.
c: accept_affin
e
_fa
c
tor: av
o
id do
u
ble free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tobia
s
Grosser
Add isl_union_
(
set/map)_detect_equal
i
t
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Ver
d
o
o
lae
g
e
isl_stream_read_map: allow
space names that h
a
ppen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoolaege
isl_strea
m
_nex
t
_token
:
ke
e
p track of string represe
n
tati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
add isl_basi
c
_se
t
_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
a
dd isl_union_ma
p
_
simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
M
e
rge branch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
a
dd i
s
l_set_remov
e
_unknown_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
isl_map_is_subset: don't compute divs of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
r
ename is
l
_m
a
p_is_singleton
t
o isl
_
m
ap_fast_is_si
n
gleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add isl_m
a
p_f
a
st_i
s
_sing
l
e
_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Ver
d
oolae
g
e
add isl_q
p
olynomial_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
exp
o
rt isl_un
i
on_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
V
e
rdoo
l
aege
i
s
l_qpolyn
o
mial_add_o
n
_d
o
main:
compute gis
t
with respe
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolaege
i
sl_unio
n
_map_coal
e
sce and isl_union
_
map_comp
u
t
e_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_
b
asic_map_solve_lp: use denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
V
erdoolaege
Merge com
m
it 'isl-0
.
0
5
.
1
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
isl_ta
b
_basic_map_
p
artial_lexopt: fix up symmetry detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolaege
i
sl_b
a
sic_map_universe: final
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
is
l
_s
e
q
.
h
: a
l
lo
w
inclusion from C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias Grosser
Add GDB mo
d
ule t
h
a
t defines an
isl
p
rint comma
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
e
n
V
e
rdoolaege
reimplement i
s
l_map
_
partial_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
isl_map:
f
ix typos i
n
comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdoolaege
add so
m
e more
isl_map_lexmin t
e
st
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add
i
sl_qpolynom
i
al_ad
d
_
i
s
l
_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoo
l
a
e
ge
a
d
d isl_pw_qpolynomial_fold_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
eg
e
add
isl_pw_q
p
olynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n Ve
r
d
oola
e
g
e
add
isl_qpolynomial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
o
ol
a
ege
add isl_qpolynomial_fold_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
o
o
l
aege
i
s
l_p
r
inter_print
_
qpolynomial
_
f
o
ld: support C
format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoolaege
export isl_prin
t
er_p
r
i
n
t_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoola
e
ge
export is
l
_
unio
n
_
map_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
g
e
add
isl_{set,
m
ap}_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdo
o
laege
ad
d
isl_basic_
{
set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_printer
_
pr
i
nt_basic_{set,map}: don't print
n
ewline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdo
o
l
a
ege
rename isl_*_dump to isl_
*
_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
S
v
en Verdoolaege
ma
k
e
i
s
l
/point
.
h sel
f
-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven V
e
r
dool
a
ege
isl 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_
p
r
inter_p
r
int_bas
i
c_map: plug memory
leak
o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven V
e
rdoo
l
aege
isl_dim_se
t
_
n
ame: plug me
m
or
y
l
eak when overwr
i
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next