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_union_map_read_from_file
2011-02-17
Sv
e
n Verdoolaege
add isl_union_map_rea
d
_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
ola
e
ge
isl
_
s
tream_rea
d
_ma
p
: acce
p
t 't
r
ue' and
'
false' const
r
aints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
rdoolaeg
e
isl_strea
m
_
r
ead_map: allow ext
r
a ';' at end of
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n Verdoolaege
isl_
s
tream_read
_
map: allow
ne
g
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdool
a
eg
e
is
l
_str
e
am
_
r
e
a
d_map: allow
e
xistentia
l
quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
privately export
i
sl_basi
c
_map_add_div_const
r
aints_v
a
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl
_
morph_basi
c
_set: prese
r
ve ratio
n
ality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oola
e
ge
add isl_basic_set_
i
s
_
rat
i
onal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_printer_pri
n
t_basi
c
_map: explicitly
m
ark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ve
r
d
o
olaege
isl_stream_read_map:
read rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdo
o
laege
isl_basic_map_insert: pres
e
r
v
e rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven
V
erdool
a
ege
add
isl_b
a
sic_map_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_
b
a
s
ic_map_fast_cm
p
:
d
iff
e
re
n
tiate between r
a
t
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_o
u
tput
.
c: remove some code duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
is
l
_pr
i
n
ter_print_ba
s
ic_{set,map}: don't start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoo
l
aege
isl_stream_re
a
d_ma
p
: acce
p
t '|'
at
start of const
r
a
i
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
oolaege
i
s
l
_
s
t
ream: keep track of textual representat
i
on of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoo
l
ae
g
e
isl_input
.
c:
c
lean
up re
a
d
_
disju
n
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sve
n
Verdoola
e
ge
isl_s
t
rea
m
_read_map: accept disjunctions within a
c
onjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven
V
erdoolaege
isl_convex_hul
l
.
c
:
explicit
l
y mark wrappi
n
g lp prob
l
em
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaeg
e
isl
_
t
ab_min:
micro-optimization: pos
t
pone taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
Merge
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_tab_add_row
:
add fu
r
ther explanatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
i
sl_tab
.
c: fix typo
s
i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
er
d
oo
l
aege
isl_tab_pip
.
c: corr
e
ctly detect
non-negativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
add te
s
t
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
test
both context h
a
ndling m
e
c
h
anism
s
of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_tab_is_equ
a
lity: properly suppo
r
t "b
i
g par
a
meter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
isl_tab_pi
p
.
c:
f
ix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
i
sl_a
f
fine_hul
l
.
c: f
i
x typo
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
is
l
_union
_
map_
c
ompute
_
flow: ret
u
r
n acce
s
ses w
i
th no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
Merge b
r
a
n
c
h 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
i
sl_u
n
ion_map
.
c:
i
n
p
l
a
ce: pas
s
data pointer to
isl
_
hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
o
l
a
eg
e
i
s
l_dim_move: upd
a
te para
m
eter
s
of nested spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
add
i
sl_map_n
a
t
_
un
i
v
erse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up isl_set_
f
r
o
m_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
merge isl_
b
asic_set/isl_bas
i
c_ma
p
and isl_set/isl
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
S
ve
n
Ve
r
doolaege
r
e
name "
o
meg
a
" transitive closure to "box"
tran
s
itiv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verd
o
olaege
export
i
s
l
_int_ob
j
_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
V
erd
o
o
l
aege
isl_vertices
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
i
s
l
_union_tem
p
l
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
ae
g
e
isl_map_subtract
.
c: n_non
_
redundant: propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
is
l
_bernst
e
in
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
ad
d
isl_union_pw
_
q
p
oly
n
omial_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_stream_
r
ead_
o
bj
:
read int ob
j
ec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
olaege
add int o
b
jects for use in isc
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Ver
d
oolaege
isl
_
ba
s
i
c_map_remo
v
e_divs:
f
inalize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
ege
a
dd
i
sl_b
a
sic_s
e
t
_ge
t
_t
u
ple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
M
e
rge
b
r
a
nc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
isl_union_
m
ap
_
sample
:
d
o
n
'
t return NULL on empt
y
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verd
o
o
la
e
g
e
is
l
_basic_map_set_tuple_name
:
fin
a
l
i
ze
r
esu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
v
e
n
Verdoolae
g
e
isl_trans
i
tive_closu
r
e
.
c
:
more anony
m
ize input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
isl_basic_
s
et_fac
t
orizer: make sure gro
u
p
inf
o
rmation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
Verdoolaege
add i
s
l_union_
m
ap_range_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
Verdoolaege
doc: doc
u
ment pr
o
duct f
u
nctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoolaege
rename isl_ba
s
ic_se
t
_pro
d
uct to isl_basic_set_l
i
st_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoo
l
aege
isl_set_convex_hull: op
t
ionally use Fou
r
ier-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
i
sl_basi
c
_s
e
t_sample
_
point
:
explo
i
t
fa
c
tor
i
z
a
tion if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
add isl_m
o
r
p
h_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
c
h
ang
e
prototype
o
f isl_vec
_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
a
d
d isl_printer_
p
rint_
v
e
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolae
g
e
add
i
sl_u
n
ion_set_apply_un
i
on_pw_qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
expor
t
i
sl
_
un
i
on_map
_
from_domain and isl_union_map_
f
rom_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olae
g
e
isl_bas
i
c
_m
a
p_inters
e
c
t
_
domain
:
repla
c
e open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdoo
l
aege
isl_stream_read_map:
accept mod
u
lo expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basi
c
_map_insert
:
d
on
'
t s
i
m
p
lify th
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
isl_ba
s
ic
_
map_fr
o
m_constraint_mat
r
ices: cl
e
ar newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven
Ve
r
doolaege
isl_
t
oke
n
_
f
r
e
e: free string representat
i
on
o
f
k
eywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
l_input
.
c: r
e
ad_factor: drop
u
nexpected identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
lae
g
e
i
s
l_input
.
c: accept_affine_factor: avoid
d
ouble free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stream_r
e
ad_map: allow space names
t
hat
ha
p
pen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_
s
tream_next_t
o
ke
n
:
keep track of s
t
ring repr
e
sentation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoola
e
ge
add isl_basic_set_fl
a
tten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_
u
n
i
on_map_simpl
e
_h
u
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoola
e
ge
Mer
g
e branch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolae
g
e
add
i
s
l_set_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
isl_ma
p
_is_subset: don't compute divs of minue
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
r
e
n
a
me isl_m
a
p
_
i
s
_singleton to
isl_m
a
p_fast_is_single
t
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Verd
o
o
l
a
ege
a
d
d
i
sl_map_fast_i
s
_
s
ingle_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
ad
d
isl_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
export isl_union_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
do
o
l
aege
i
s
l_qpolyn
o
mial_add_on_domain: compute g
i
s
t
wi
t
h respe
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
Verdoolaege
i
s
l_union_map_coalesce and isl_uni
o
n_map_c
o
mpute
_
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaeg
e
i
s
l_basic_m
a
p
_
solve_lp: us
e
denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolaege
Merge commit
'
isl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
is
l
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoolaege
is
l
_tab_basi
c
_map
_
partia
l
_lexopt: fix up symme
t
ry det
e
cti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_basic_map
_
univ
e
rse: fi
n
alize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Verd
o
olaege
i
s
l_seq
.
h: all
o
w
i
nclusion f
r
om C
+
+
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
rei
m
pleme
n
t isl_map_partia
l
_
l
e
xopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rdo
o
laege
i
sl
_
m
ap: fix typos
i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdoolaege
add som
e
more isl_map_lexmi
n
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Ver
d
oola
e
g
e
add is
l
_qpol
y
nomi
a
l_add_
i
sl_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Ver
d
oolaege
add isl_p
w
_qpolynomial_fold_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
add
isl_p
w
_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoolae
g
e
ad
d
isl_qpolyn
o
m
ial_
f
ol
d
_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Ve
r
doolaege
add i
s
l_q
p
ol
y
nomia
l
_fold_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
isl_printer_prin
t
_q
p
olynomial_fold: support C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erd
o
olaege
export
i
sl_printer_p
r
in
t
_q
p
olyn
o
m
ial
_
fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next