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_vec_is_equal
2011-05-16
Sven V
e
rdoola
e
ge
a
dd isl
_
l
o
ca
l
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
isl_dim_size: h
a
n
d
le isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdo
o
la
e
ge
add isl_constraint_inv
o
lves_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
i
sl_pri
n
t
e
r_print_qpolynomial: sup
p
ort proper i
s
l outpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Ve
r
d
oolaeg
e
add isl_
q
polyno
m
i
a
l_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolae
g
e
a
dd isl_
m
ap_a
l
i
g
n_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
e
x
port is
l
_
basic
_
set_remo
v
e_redun
d
ancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
V
er
d
oolaege
expor
t
i
sl_qpolynomial_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ve
r
d
o
olae
g
e
e
x
port
i
sl_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdo
o
l
ae
g
e
isl/div
.
h:
drop dep
e
ndence o
n
isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
hide isl_div inter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
do
o
la
e
ge
add isl
_
div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
g
e
add isl_mat_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc:
d
rop d
o
cume
n
tati
o
n for isl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sve
n
Ver
d
oolaege
add
gmp flags to pkg-config
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdo
o
laege
ex
p
licit
l
y lin
k
i
n
gmp in
a
p
p
l
i
cations
t
hat reference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
configure
.
ac:
do
n
'
t depend on
a
utomake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolae
g
e
i
sl_pw_qpolynomial_involves_dims: also check whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add
i
s
l
_
unio
n
_ma
p
_plain_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map_i
n
tersect
_
range: add
s
pecial case for
i
nte
r
section
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaeg
e
a
d
d isl_
v
ec_sor
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
doolaeg
e
add isl_union
_
map_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
doola
e
ge
rename
*
_fa
s
t_* fun
c
tions
to *_pl
a
i
n
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
V
e
rdoolae
g
e
Merge
bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
S
ven
V
erdo
o
laeg
e
isl_ma
p
_
r
ang
e
: corr
e
ctly h
a
ndle maps with 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
v
en Verdoolaege
isl_list
.
h:
allow
inclusion from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n
Verd
o
ol
a
ege
isl_
t
ab
_
p
i
p: don'
t
simpl
i
fy
d
om
a
in in isl
_
f
o
r_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdo
o
la
e
ge
add i
s
l_
p
rint
e
r_print_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
S
ve
n
Verdoola
e
ge
add
i
sl
_
c
onstraint
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Verdoolaeg
e
add isl
_
mat_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven V
e
rdoolaege
ren
a
m
e
isl_mat_dump to isl_mat
_
p
r
int_inter
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
rdoolaege
add isl_cons
t
raint_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Verdoolaege
Me
r
ge branch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verd
o
olae
g
e
isl_
b
asic_map_affi
n
e_hull: finali
z
e r
e
s
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven V
e
rdoolaege
dataf
l
ow analysis: don't depend
on word size during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add i
s
l_unio
n
_set_compute_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
add isl
_
tab_basic_set_non_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add
i
sl_tab_basic_set_no
n
_trivial_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaege
isl_tab_pi
p
.
c: add_lexmin_e
q
: ret
u
rn
i
nt inste
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
erdool
a
ege
i
sl_tab_pip
.
c: restore_l
e
xmin: retu
r
n
int inst
e
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
isl_tab_p
i
p
.
c: add some debug
g
ing code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
isl_tab_
p
ip
.
c
: fix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
ae
g
e
a
dd isl_quicksort
(
cop
i
ed from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_printer_pri
n
t
_basic_set: a
l
so print
inval
i
d
b
a
sic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl_un
i
o
n
_map
_
i
s_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
l
a
ege
add i
s
l_union_map_is_bij
e
ctive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verd
o
olaege
add isl_
u
nion_map_is_s
i
ngl
e
_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_mat_add
_
zero_r
o
ws
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
ae
g
e
isl_
b
lk: don't reuse over
l
y la
r
ge block
s
f
o
r
s
mall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
a
d
d isl_hmap_m
a
p_basi
c
_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdool
a
ege
add isl_
u
nion_map_copy
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
a
d
d isl_union_map
_
conta
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_bas
i
c_set
_
tra
n
sform_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_basic
_
set_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
change isl_ma
t
_s
u
b_a
l
loc proto
t
y
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
mak
e
isl_mat_sub_* function
s
p
rivate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
add isl_vec_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_mat_
i
nitial_n
o
n_zero
_
cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_mat_set_
e
lement_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erd
o
o
laege
a
dd
isl_ba
s
ic_set_a
d
d_constra
i
nts_di
m
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_dim_ma
p
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim_map: allow s
i
gned map
p
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
r
dool
a
ege
isl_dim_map:
ex
t
ract fro
m
i
s
l_m
a
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
change proto
t
y
pe of is
l
_tab_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_map
_
remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rd
o
olaege
doc:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
doc
:
add a n
o
te
o
n
the accura
c
y of our
approximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doola
e
ge
add isl_union_set_c
o
effi
c
ie
n
ts
a
nd isl_u
n
ion_s
e
t_solutions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoo
l
aege
add isl_union_set_lif
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verd
o
olaege
M
erge branch 'maint
'
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdo
o
laege
isl_ta
b
: alway free saved basis un
d
o recor
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
m
ake sure dest
i
n
ation fo
r
GD
B
mo
d
ule exists be
f
ore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab_p
i
p
.
c:
a
dd_lexmin_e
q
: remov
e
m
i
sguide
d
optim
i
zations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
doolaege
i
sl_basic_map_le
x
min: turn off equality detecti
o
n
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
e
rd
o
olaege
use silent make r
u
le
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
V
erdoolaege
isl_
s
tream_read_m
a
p: f
i
x handling
o
f
d
ivs in tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
ol
a
ege
isl
_
mat
_
left_hermite: plu
g
memory
l
eak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verdoolaege
plug m
e
mory leak
in
isl
_
mat_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
d
o
c: add s
o
me
impleme
n
tation
details on param
e
tric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_lp
.
c
: a
v
oid clan
g
war
n
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
oolaege
isl_str
e
am_read
_
m
ap: accept floord and ceild expression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolae
g
e
isl_
s
t
r
eam_read_
m
a
p: accept min and ma
x
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
isl_stream_read_
m
a
p
: pro
p
er
l
y read nested div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl_stream_rea
d
_map: treat divs as
o
utput
v
ariables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl_map_c
o
al
e
sc
e
: p
l
ug
mem
o
ry
leak o
n
e
r
r
o
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rd
o
ola
e
ge
i
s
l_mat_exte
n
d: avoid memory leak when rea
l
loc fai
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
Ver
d
oolaege
isl_basic_
m
ap_overlying_set: avoid memory
l
eak w
h
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
doo
l
aege
isl_stre
a
m
_
g
etc
:
avoid
m
emory leak when r
e
alloc fail
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
rudi
m
entary
supp
o
rt f
o
r a
s
ynchronou
s
ter
m
ination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven V
e
rdoola
e
ge
hide is
l
_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaege
isl_
v
ec_read_f
r
om
_
file: drop input_format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
do
o
l
aege
isl_m
a
p
.
c: drop u
n
used e
r
ror
l
abel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_inp
u
t
.
c: drop
unu
s
ed error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolaege
re
s
p
ect DESTDIR
w
hen ins
t
alling
i
sl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
i
sl_stream: accept "$
"
t
oken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_uni
o
n_map
_
powe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoola
e
g
e
change isl_map_power in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
ad
d
isl_unio
n
_ma
p
_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
add private is
l
_
basic_m
a
p_sw
a
p_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next