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
Sve
n
Verdoolaege
add
i
s
l
_basic_ma
p
_
set
_
rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaeg
e
isl_basic_map
_
fa
s
t_cmp:
d
ifferentiate bet
w
een rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erd
o
olaege
isl_o
u
tput
.
c: remov
e
some code du
p
lication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Ver
d
ool
a
ege
isl_pri
n
ter_pri
n
t_ba
s
ic_{set,map}: don
'
t
s
t
a
r
t new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verd
o
olaege
is
l
_stre
a
m_r
e
ad_map: accept '|' at s
t
art of con
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
s
l
_
stream: keep t
r
ack of
t
extual rep
r
esentation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
V
erdoolaeg
e
is
l
_i
n
put
.
c
:
clean
u
p
re
a
d_
d
isju
n
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoolaege
isl_stream_read_m
a
p: accept disju
n
ctions
wi
t
hin a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Verdoolaege
i
s
l_convex_hull
.
c: explicit
l
y mark w
r
apping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
Ver
d
oolaeg
e
isl_tab_min
:
micro-optimization: postpone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
i
sl_tab_add_row: ad
d
furth
e
r explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoola
e
ge
isl_tab
.
c: fix typos in co
m
me
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_tab
_
p
i
p
.
c
: correctly detect non-
n
egativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
doola
e
ge
ad
d
test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
t
e
s
t both context h
a
ndling me
c
hanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
is
l
_tab_i
s
_equality:
properl
y
suppor
t
"big pa
r
a
met
e
r"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
r
doo
l
aege
isl_tab_pip
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
isl_affine_hull
.
c: f
i
x typos
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_un
i
on_m
a
p_compute_
f
low: return acces
s
es with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdool
a
ege
Mer
g
e branch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ve
r
dool
a
ege
i
sl_u
n
ion_map
.
c: in
p
lace: p
a
ss data pointer to isl_hash_t
a
bl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
V
erdoolaege
isl_dim_move: update para
m
et
e
r
s
of nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoola
e
ge
a
d
d i
s
l_map_nat
_
universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoolaege
clean
up
i
sl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
merge isl_
b
asi
c
_set/isl_basic_map an
d
isl_set/is
l
_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdo
o
laege
rename
"omega" transitive closure
t
o
"b
o
x" tran
s
iti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ver
d
oolaege
export isl_in
t
_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_vert
i
c
e
s
.
c
:
f
i
x
typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
i
s
l_uni
o
n_temp
l
.
c:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
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
V
erd
o
ol
a
ege
isl_bernstein
.
c
: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolae
g
e
add isl_u
n
ion
_
pw
_
qpolynomial_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
is
l
_stream_read
_
obj: read int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
add int obje
c
ts for use
in is
c
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdoolaege
isl_
b
a
sic_
m
a
p_remove_divs: fi
n
al
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oolaege
add
i
sl_basic_set_
g
et_tuple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
do
o
laege
M
erge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdool
a
ege
i
sl_union
_
map_sample: don't retur
n
NULL on empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoolaege
isl_ba
s
ic
_
map_set_tuple_name: fin
a
lize r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Ver
d
ool
a
ege
isl_transit
i
ve_closure
.
c: more anonymize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
isl
_
ba
s
i
c
_se
t
_factor
i
z
er:
m
ak
e
sure g
r
oup
informat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Ve
r
d
oo
l
aege
add isl_union_map_range_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
e
n Verdoolaege
doc: do
c
ument
product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdool
a
ege
rename isl
_
b
asic_set_product to isl_basic_
s
et_list_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Ver
d
oolaege
isl
_
s
e
t_convex_hull: o
p
tionally use
F
ourier-Motz
k
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_set_sample_
p
oint: e
x
ploit
f
act
o
ri
z
at
i
on if a
n
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_mo
r
p
h
_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
ch
a
nge prototype o
f
isl_vec_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_printer_print_
v
ec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doo
l
a
e
g
e
add isl_union_set_
a
pply_union
_
pw_qpo
l
ynomi
a
l_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
export isl_un
i
on_map_from
_
domain and i
s
l
_
uni
o
n
_
m
ap_f
r
om_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
oolaege
isl_ba
s
i
c
_map
_
inters
e
ct_domai
n
: replace o
p
en-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdool
a
ege
isl_st
r
e
am_rea
d
_map: accept
modulo e
x
pressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
dool
a
ege
isl_basic_map_insert: don't simplify the
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
Mer
g
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olae
g
e
i
sl_ba
s
ic_m
a
p_from_c
o
nstr
a
int_m
a
trices:
c
l
ear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
olae
g
e
isl_token
_
f
ree: free string
represen
t
ation
o
f keyw
o
rds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoola
e
ge
isl_input
.
c
:
read_f
a
ct
o
r:
dr
o
p
u
nexpected
i
dentifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaeg
e
isl_input
.
c: accept_a
f
fine_factor:
a
void double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Verdoolaege
i
s
l
_stream_
r
ead_map: al
l
ow space names
t
ha
t
happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rd
o
ol
a
eg
e
isl_stream_nex
t
_token
:
keep track of string repr
e
s
en
t
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdo
o
laege
add isl_basic_set_fla
t
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
add isl_unio
n
_map_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
M
er
g
e b
r
anch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_set_remove_u
n
known_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdool
a
ege
isl
_
map_
i
s_subset: don't co
m
pute divs
of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaeg
e
r
e
name isl_m
a
p_is_singleton to isl_ma
p
_fast_is_si
n
gle
t
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erd
o
olaege
ad
d
isl_map_fast_is_single_
v
alu
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add is
l
_qpolynomial_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdo
o
laege
export isl_unio
n
_
s
et_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
i
s
l_qpolynomial_ad
d
_on_domain: compute gist wi
t
h respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_u
n
ion_map_coa
l
esce and isl_union_
m
ap
_
comp
u
te_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
i
sl_basic_map_
s
olve_lp: use de
n
o
m
inator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaege
Merge commit 'isl-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
isl
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolae
g
e
i
s
l_tab_basic_map_p
a
rtial
_
lexop
t
: fix
u
p
symmetry detec
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_ba
s
ic_m
a
p_universe:
f
in
a
l
ize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
isl_
s
e
q
.
h
: allow inclusio
n
from C++
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdo
o
laege
reimplemen
t
isl_map
_
partial_
l
exopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoo
l
a
ege
isl_map
:
fix typ
o
s in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolaege
add some
m
ore isl_map_
l
exmin
t
ests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoolaege
add
isl_qpolyno
m
ial_add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
add i
s
l
_
pw_qpo
l
y
n
omi
a
l_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
dd isl
_
pw_qpolynomia
l
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
ad
d
isl_qpolynomial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoo
l
ae
g
e
add isl_qpolynomial_fold_g
e
t
_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ve
n
Verd
o
o
l
aege
isl_printer_print_qpolynomial_fold: support C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erd
o
olaege
export isl_printer_pri
n
t_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
e
xpor
t
i
sl_union_ma
p
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n
Verdo
o
l
a
ege
add isl
_
{s
e
t,ma
p
}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_
b
as
i
c_{set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdo
o
laege
isl_prin
t
er_print_b
a
sic_{set,map
}
: don't p
r
i
nt
n
e
wl
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
l
aege
rename isl_
*
_dump
to
i
sl
_
*_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven V
e
rdo
o
l
aege
m
a
k
e
i
s
l
/point
.
h self-con
t
ained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven
V
erdoolaege
isl
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven
Verdool
a
ege
isl_printer
_
p
r
int_basic_map: plug
m
emor
y
leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_dim_set_n
a
m
e
: plug memory leak when overwriting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl
_
tab_
b
as
i
c_ma
p
_parti
a
l_le
x
opt: detect and
e
x
p
loit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
v
en Ver
d
o
o
laege
i
s
l_t
a
b
_pip
.
c
: fi
x
typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next