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_set_neg
2011-02-18
Sven Verdoolaege
add isl
_
basic_set_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
oolaeg
e
a
d
d is
l
_basic_se
t
_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdoolaege
export isl_basic_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolaege
add isl_basic_map_from_qpoly
n
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
o
o
laege
isl_stream: support \<newline> l
i
n
e
c
ontinuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n Ver
d
oo
l
aeg
e
add isl_u
n
ion_map_read_fr
o
m
_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
isl_stream_read_map: a
c
cept
'
t
r
ue
'
a
nd '
f
alse' con
s
train
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stre
a
m_read_map: allo
w
extra ';' at e
n
d of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_read_ma
p
: allow negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verd
o
olaege
i
s
l_stream_read_
m
ap: allow existential quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erd
o
o
l
aeg
e
privately export isl_basic_m
a
p_add_
d
iv_constraints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_morph_b
a
sic_s
e
t: p
r
eserve rat
i
on
a
lity of
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
ae
g
e
add isl_basic_set_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_pri
n
t
er_print
_
basi
c
_m
a
p: explicitly mark rat
i
onal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
is
l
_stream_r
e
ad
_
map: re
a
d
rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdo
o
laeg
e
isl_basic_map_i
n
sert
:
preser
v
e
rati
o
nality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
add isl_basic_
m
ap
_
s
e
t
_
rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoo
l
a
e
g
e
i
sl_basi
c
_map_fast_cmp
:
d
i
f
ferenti
a
te
between rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_out
p
ut
.
c:
r
emove so
m
e
c
o
de
d
uplicati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer
_
prin
t
_basic_
{
set,map}: don't start
n
ew
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
v
e
n V
e
rdoolaeg
e
is
l
_stream_re
a
d_map: acce
p
t
'|' a
t
start of constr
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdo
o
laege
isl_str
e
am: keep tra
c
k of textual
re
p
res
e
ntation o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolae
g
e
is
l
_in
p
u
t
.
c:
c
l
ean up
r
ead_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven V
e
r
do
o
la
e
ge
isl_strea
m
_read_map: ac
c
e
p
t
disju
n
ctions within a
c
o
njunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
Verdoolaege
isl_convex_hull
.
c
:
explicitly mark wrapping lp
p
roblem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_min: micro-
o
ptimi
z
atio
n
: postpone taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl
_
tab_add
_
row: add fur
t
her explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolae
g
e
isl_tab
.
c
:
f
i
x typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erd
o
ola
e
ge
isl_tab_p
i
p
.
c: c
o
rrectly detect non-negativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
tes
t
both context handling mechanisms o
f
isl
_
pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ve
r
doo
l
ae
g
e
isl
_
tab_is_equality: properly
s
up
p
ort "big para
m
eter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_p
i
p
.
c
: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_af
f
ine_hull
.
c
:
f
ix typos in comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doola
e
ge
i
s
l_union_ma
p
_compu
t
e_flow: return accesses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
aege
Merge
br
a
nc
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl_union_map
.
c: inpl
a
c
e
: pass data poin
t
er
to isl_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_m
o
ve: upda
t
e parameters
o
f nes
t
ed spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add isl_m
a
p
_nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoo
l
aeg
e
clean up isl_se
t
_from
_
basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
merge
i
sl_
b
asic_set/isl_
b
asi
c
_map an
d
isl_se
t
/isl_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven
V
erdoolaeg
e
rename "
o
mega" tr
a
nsitive closure to "box" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoola
e
ge
export isl_int_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ver
d
oolaege
isl
_
verti
c
e
s
.
c: fix typo
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_unio
n
_templ
.
c: f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ve
r
doolaege
isl_map_subtract
.
c
:
n_
n
o
n_
r
edundant: propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
Verdoolaege
isl_bernste
i
n
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add isl
_
union_pw_qpolynomial_mul_isl
_
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
s
l_stream_rea
d
_obj: read
int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add int ob
j
ects for use in isc
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaeg
e
isl
_
bas
i
c_map_r
e
move_
d
ivs: fin
a
li
z
e
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
ad
d
isl_basic_set_
g
et
_
t
uple_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
e
r
d
oolaege
Merge
branc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
isl_
u
nion_map_sample: don't return NULL on empty
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoo
l
a
e
ge
i
s
l
_
b
a
si
c
_m
a
p
_
set_tuple_name: f
i
nalize r
e
sul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
i
s
l
_
t
r
ans
i
t
i
ve
_
c
l
osur
e
.
c
: mo
r
e anonymize inpu
t
m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
erdoolaege
i
sl_basi
c
_s
e
t_facto
r
ize
r
: make s
u
re group information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rdoolaege
a
dd isl_union_map_
r
ange_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc: docu
m
ent product functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
ven
V
erdoola
e
ge
rename
isl_
b
as
i
c_set_produ
c
t to isl_basic_set_
l
ist_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sve
n
V
erdoo
l
aege
isl_set_conv
e
x_
h
u
l
l: opti
o
nally use
Fourier-Motz
k
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
is
l
_basi
c
_s
e
t_sample_point: exploit fact
o
riza
t
ion if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_morph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
change p
r
ototype of i
s
l_
v
ec_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
add isl_printer_prin
t
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Ve
r
do
o
l
aege
add isl_u
n
ion_set_appl
y
_
union_
p
w
_
qpol
y
nomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
oolaege
e
x
port i
s
l
_
u
n
ion_ma
p
_from_domain and isl_
u
ni
o
n_m
a
p_
f
rom_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic
_
map_intersect_domain: replace open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
lae
g
e
isl_st
r
eam_read_map: ac
c
ept m
o
dulo expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
oolaeg
e
i
s
l
_
basic_m
a
p
_
i
nsert: don't simp
l
i
fy the
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdo
o
laege
isl_basic_map_from_c
o
n
s
traint
_
matrices: clear newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdo
o
la
e
ge
isl_token_f
r
ee: free string repres
e
ntati
o
n of keywor
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_inp
u
t
.
c:
r
e
a
d
_factor: drop unexpected ident
i
fi
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_inp
u
t
.
c:
accep
t
_affine_factor: avoid double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Ver
d
oolaege
is
l
_stream_read_map
:
allow space names that happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Verdoolaege
is
l
_
stream_next
_
token: ke
e
p track o
f
string representation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
d
d
isl_basi
c
_set_f
l
atten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
a
d
d isl_union_map_simple_h
u
ll
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
Sve
n
Verdoolaege
a
d
d isl
_
set_remove_unknown_
d
i
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
i
s
l_m
a
p_i
s
_subset: don't com
p
ute
divs of minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
renam
e
isl_map_is_singleton
t
o isl_
m
ap_fast_i
s
_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
add
i
sl_map
_
fast_
i
s
_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
add isl_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Ver
d
oolaege
export isl_
u
ni
o
n_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
isl
_
qpolynomial
_
add
_
o
n_
d
oma
i
n:
c
ompute gi
s
t with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_uni
o
n_ma
p
_coalesce and
isl_
u
nion_map_comp
u
te
_
di
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_b
a
s
i
c_map_solve_
l
p: use
d
enominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge com
m
it '
i
sl-0
.
0
5
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Verd
o
olaege
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Ver
d
oolae
g
e
isl_tab_
b
asic_map_partial_lexo
p
t: fix up symmetry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolaege
isl_basic_map_universe
:
f
inali
z
e re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ve
n
Verdoolaeg
e
isl_seq
.
h: allow in
c
lusion from C++
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erd
o
o
l
aege
reimplement
i
s
l
_map_partial_lex
o
pt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
isl_ma
p
: fi
x
typos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verdoolaege
a
d
d
some more is
l
_map_lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoolaege
add
isl_qpolynomi
a
l_add_
i
sl_in
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
add isl_pw_qpolyn
o
mial_f
o
ld_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next