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
isl/div.h: drop dependence on isl/set.h
2011-05-16
Sven
V
e
rdoolaeg
e
i
sl/
d
iv
.
h
:
d
r
o
p
dep
e
ndence o
n
isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
h
i
de isl_div inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
add
isl
_
m
at
_
get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
doc: dr
o
p documen
t
a
tion for
i
sl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoo
l
aeg
e
add gm
p
flags to pkg
-
c
on
f
ig
f
i
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sv
e
n Verdo
o
laege
explicitl
y
li
n
k
in gmp in application
s
that
r
eference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoo
l
a
e
ge
configure
.
a
c
: don't de
p
end on aut
o
make 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdo
o
l
a
ege
i
sl_pw_qpolynomial_involve
s
_dims: also
c
heck wh
e
ther
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_u
n
ion_map_p
l
ain
_
i
s
_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
o
o
laege
is
l
_map_interse
c
t_
r
a
nge:
a
d
d
special cas
e
for
i
nters
e
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
a
dd isl_v
e
c_
s
or
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
add i
s
l_union_m
a
p_univer
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaeg
e
rename *_fast_*
f
unctions to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Ver
d
oolaeg
e
Merg
e
branc
h
'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
isl_map_range: correc
t
ly handle maps wit
h
0D
d
o
mai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_list
.
h: allow
inclusi
o
n fro
m
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdo
o
laege
isl_tab
_
pip: don'
t
simplify domain in i
s
l_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolae
g
e
a
dd isl_
p
rint
e
r_print_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ve
r
doo
l
a
e
g
e
add isl_c
o
n
straint_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
ad
d
isl_
m
at_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
rename i
s
l_
m
at_dump to isl_mat_pri
n
t_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven
V
e
rdoola
e
ge
add isl_const
r
aint_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
ven
Verdoolaege
Merge
b
ranch
'
maint
'
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
rdoolaege
isl_basic_
m
ap_affine_h
u
ll: fi
n
alize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
S
ven Verdoolaege
d
a
t
aflow analy
s
is: don't depend on word size d
u
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add isl_union_set_compute
_
schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
do
o
l
aege
add isl_tab_
b
asic_set_n
o
n_
n
eg
_
l
exm
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
r
doolaege
add
i
sl_tab_basic
_
set_no
n
_t
r
ivial_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olae
g
e
is
l
_tab_pip
.
c: add_l
e
x
m
in_eq:
return
i
nt instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
isl_tab_
p
ip
.
c: restore_le
x
min: return int
instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaeg
e
isl_ta
b
_
pip
.
c
: ad
d
some deb
u
gging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoola
e
ge
isl_
t
ab_
p
ip
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl_quick
s
or
t
(cop
i
ed f
r
om glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verd
o
olaege
isl_printer
_
print_basic_set: als
o
prin
t
invalid basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoolaege
a
dd isl_union_map_is_injecti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolae
g
e
add isl_union_map_i
s
_bijecti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaeg
e
add isl_uni
o
n_map_is
_
sin
g
le_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
a
d
d
isl_mat_ad
d
_zero_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
is
l
_blk:
d
o
n't reuse overly
large block
s
for s
m
all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
isl_
h
map_map_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
ad
d
isl_union_map_co
p
y_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
add
isl_uni
o
n_map_conta
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
add isl_
b
as
i
c_set_trans
f
orm_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
eg
e
add isl_
b
asic_set_of
f
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
c
h
ange is
l
_mat_sub_all
o
c pr
o
toty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
make isl
_
mat_sub_* functio
n
s private
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoolaege
add isl_vec_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_mat_ini
t
i
a
l_non_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_mat_se
t
_element_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
a
d
d isl_ba
s
ic_set_add_constrain
t
s_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add i
s
l_dim_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
i
sl_dim_map
:
all
o
w
sig
n
ed m
a
ppin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
isl_dim
_
m
a
p: extract from i
s
l_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
c
h
ange prototype of isl_t
a
b_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_map_remov
e
_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
doc: add a not
e
on
t
he
a
ccuracy of our a
p
pr
o
xima
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
aege
add isl_un
i
on_set
_
coefficients a
n
d
isl_union_set
_
s
o
lution
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
doolaeg
e
add isl_un
i
on_se
t
_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaeg
e
Me
r
g
e
branch '
m
aint'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
i
s
l_tab: alway fr
e
e
saved basis undo record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdool
a
e
g
e
make sure destination for GDB module ex
i
sts before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verdoo
l
aege
isl_tab_p
i
p
.
c: add
_
lexmi
n
_eq:
r
emove m
i
s
g
uided opt
i
mizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_basic_map_lexmin: t
u
rn of
f
e
q
ua
l
ity detection on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
o
laege
use si
l
ent make
rule
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
doolaege
isl_
s
tream_read_map: fix ha
n
dling of divs i
n
tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_mat_le
f
t_
h
ermite: plug memory leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
e
r
d
o
o
laege
p
lug me
m
ory leak in i
s
l_m
a
t_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
Verdo
o
laege
doc: add some i
m
pleme
n
tation details on p
a
rametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ve
r
d
oolaege
isl_lp
.
c
:
avoid
c
lang warnin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
isl_st
r
eam_read_map: accept floord a
n
d ceild ex
p
ressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl
_
s
t
ream_r
e
ad_map: a
c
cept min
a
nd max e
x
p
r
ess
i
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_
r
ead
_
map:
p
ro
p
erly r
e
a
d
nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
i
s
l_strea
m
_read_ma
p
:
treat divs as output
v
a
riab
l
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl_ma
p
_co
a
l
e
sce: plug
m
emory leak on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_mat_extend:
a
void m
e
mory
l
eak when r
e
a
lloc f
a
ils
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoolaege
is
l
_basic_ma
p
_
overlyin
g
_set: a
v
oid memory leak whe
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
e
r
doolaege
isl_strea
m
_
get
c
:
avoid memory leak when
realloc fa
i
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
rudi
m
entary su
p
p
ort
for a
s
ynchronous
termination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sve
n
V
erdoolaege
hide
i
sl_ctx internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
e
n
V
er
d
oolaege
isl_vec_read
_
from_file: drop inpu
t
_forma
t
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
Verdoolaege
i
s
l
_
map
.
c: drop
unus
e
d error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en
Verdoolaege
i
sl_input
.
c
:
dro
p
unus
e
d error la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaege
respec
t
DESTDIR w
h
en
installing
i
s
l
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdo
o
lae
g
e
isl_stream
:
acce
p
t "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdo
o
l
aege
add is
l
_uni
o
n_
m
ap_powe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
do
o
l
aege
cha
n
ge isl_map_power
inte
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n V
e
rdoolaege
add isl_union_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
g
e
add private isl_b
a
sic_m
a
p_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdoolaege
add isl
_
u
n
i
on_ma
p
_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Ve
r
d
o
o
laege
Me
r
g
e branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdool
a
e
ge
isl_ma
p
_d
e
lta
s
: don't copy
f
lags from
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rd
o
olaege
i
sl_s
t
r
e
am_read_map: a
c
cept consta
n
t expre
s
si
o
ns of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_stream: accept "/\"
and "\/" as
alternatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoolaege
isl_stream: only quo
t
e newline u
s
in
g
'\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ve
n
Verd
o
olaege
isl
_
stream:
mai
n
tain private ungetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
isl_set_lifting:
simplify
and finaliz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next