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_mat_set_element_si
2011-04-21
S
v
e
n
Verdoolaege
add isl_m
a
t
_set_element_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
a
ege
add isl_basic_set_ad
d
_const
r
aints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdoolaege
add isl
_
dim
_
m
ap_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
isl
_
dim_
m
ap: allo
w
s
i
g
ned mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laeg
e
is
l
_
d
im_
m
a
p: ext
r
act from
isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verd
o
olaege
c
h
ange prototype of isl_tab_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdoolaege
add isl_map_re
m
ove_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
l
aege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoo
l
aege
doc: add
a not
e
on the accuracy of our approximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
la
e
g
e
add isl_union_set_coefficie
n
ts
a
nd isl_union_set_solutio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
a
dd isl_
u
nion_s
e
t_
l
if
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
rdoolaege
M
e
rg
e
bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
rdoola
e
ge
isl
_
t
a
b: alway f
r
ee s
a
v
ed basis undo
r
ecord
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaeg
e
make sure destination for
G
DB mo
d
ule
exists be
f
or
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab_pip
.
c: add_lexmin_eq:
remove mi
s
g
ui
d
ed optimizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdool
a
e
ge
isl_ba
s
i
c
_map_lexmin: turn off equ
a
l
ity
d
etect
i
o
n
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoo
l
aege
use silent ma
k
e rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
doolaege
i
s
l_strea
m
_r
e
ad_
m
ap:
f
i
x
ha
n
dling of
divs
i
n
t
uples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl
_
mat_left_h
e
rmite: plug memory
l
eak
o
n error
p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
plug memory
le
a
k in
i
sl_mat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdo
o
laeg
e
isl 0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
doc:
add s
o
me implementat
i
o
n
details on pa
r
a
metric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
r
d
oolaege
isl_lp
.
c
: a
v
oid cl
a
ng
war
n
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
isl_stream_rea
d
_map: accept
floord and
c
eild expression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl
_
s
t
ream
_
read_map: acce
p
t min and
m
ax expressi
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_
s
tream_read_map: prop
e
r
l
y read nested d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
isl_stream_read_map: treat div
s
as
o
utp
u
t variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_map_coalesce: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_
m
at_extend: avoid memory lea
k
when
realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_b
a
sic_m
a
p_overlyin
g
_set: avoi
d
m
emory leak w
h
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_stre
a
m_getc:
avoid memory leak when realloc
fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verd
o
o
laege
rudimentary su
p
p
ort for asynchronous ter
m
ination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven V
e
rdool
a
e
g
e
hide i
s
l_c
t
x internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdo
o
laege
isl_ve
c
_re
a
d_from
_
f
i
le: drop in
p
ut_format argu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaege
i
sl_map
.
c:
d
r
o
p unused error labe
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaeg
e
i
s
l_
i
n
pu
t
.
c:
d
rop un
u
sed e
r
ror lab
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolae
g
e
r
e
s
p
ect DESTDIR
when installing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
g
e
isl
_
st
r
ea
m
: accept "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaeg
e
add
i
sl_union
_
map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
c
hange
i
sl_ma
p
_power i
n
terfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaeg
e
add isl_union_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Ver
d
oolaeg
e
add
p
r
ivate isl_basic_
m
a
p
_
s
wap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
e
n Verdoolaege
add isl_union_map_deltas_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge
b
ranch
'
maint'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoolaege
isl_m
a
p_deltas:
don't copy f
l
ags f
r
om inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_st
r
eam_read_ma
p
: accept constan
t
expressions o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdoo
l
a
ege
isl_stream: accept
"
/\"
a
nd "\/" as alt
e
rnatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
g
e
isl_
s
t
ream: only quote
n
ew
l
i
ne
u
sing
'
\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
lae
g
e
isl_stream: maintain
p
rivate ungetc b
u
ffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoolaege
i
s
l_se
t
_l
i
fting: simplify
and f
i
nalize
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
2011-03-02
Sven
V
erdoolae
g
e
doc: drop long ou
t
d
a
ted note on transitive
c
losures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sve
n
V
erdo
o
la
e
ge
add isl
_
basic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en
Verdoolaege
isl_m
a
p
_identity:
take dimensio
n
s
pecifi
c
ation o
f
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rdoolaege
rena
m
e isl_dim_map to isl_dim_map_from
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
transitive cl
o
sure: project out parame
t
ers when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoolaege
priv
a
tely export is
l
_basic_set_r
e
s
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doola
e
g
e
isl_se
t
_lift: preserve st
r
ucture of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
la
e
ge
isl_pw_
q
polynomial_bound: ha
n
dle co
m
b
i
n
a
ti
o
n
o
f wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verd
o
olaege
isl_tab_pip
.
c: fix t
y
po i
n
commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
isl_tab:
check for obviously empty table
a
us after discover
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Ve
r
do
o
laege
isl_basic_map_gist: pre
f
er
c
ontraints
without
existenti
a
lly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
S
ven Verdoola
e
ge
isl_
b
asic_map_
s
ort_co
n
strai
n
ts: chan
g
e co
m
parison r
o
utine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdo
o
l
aege
isl
_
ta
b
_ineq_type: cla
s
sify more constrain
t
s
a
s
being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdoolaege
isl
_
map_coalesce
:
be
more rela
x
e
d about multi
p
le equalit
i
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoola
e
ge
add isl_basic_map_from
_
doma
i
n_and
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolaege
add isl_
b
a
s
ic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdoola
e
ge
add
i
sl_basic_se
t
_flat_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdo
o
laege
expo
r
t isl_basic_
m
ap_f
l
atten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolae
g
e
add isl_b
a
s
ic_map_f
r
om_
q
p
o
lynomi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl
_
stream: suppo
r
t \<newline> line continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
o
o
laege
add isl_union_
m
ap_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
isl_stream
_
read_map: accept '
t
r
u
e'
an
d
'false' c
o
n
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
ae
g
e
isl_
s
tream_read_map: allow
extra ';' at
e
n
d
of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaeg
e
isl_s
t
ream_read_map: al
l
ow nega
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_r
e
ad_map:
allow ex
i
stential
quanti
f
ication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
priv
a
tely export isl_basic_map_add_div_c
o
nstraints_va
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdool
a
ege
isl_mo
r
p
h
_
basic_
s
et: preserve rati
o
n
a
li
t
y of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
add isl_basic_set_is
_
rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
i
sl_printer_pri
n
t_basic_map: explicitly
m
ark rat
i
onal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
ven Ver
d
oolaege
isl_stream_r
e
ad_map:
r
ead ratio
n
al maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
i
sl_basic_map_insert: preserve rationa
l
ity of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolaege
add isl_basic_map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
ae
g
e
i
s
l_bas
i
c_map_fast_cmp: differentiate betwe
e
n ra
t
i
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
i
sl_output
.
c
: remove
s
o
me
c
o
d
e
du
p
lication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Verdoo
l
aege
isl_prin
t
er_
p
rint_b
a
s
i
c
_{set,
m
ap}: don't star
t
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n
Verdoolaege
isl_
s
tream_re
a
d_ma
p
:
accept '|' at start of c
o
nstrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
ven
V
erdoolaege
isl_stream: k
e
e
p trac
k
o
f textual representation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
V
erdo
o
la
e
ge
isl_input
.
c: clean u
p
rea
d
_
d
isjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_str
e
am_read_m
a
p: accept disju
n
ctions within
a
conjunc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdoolaege
isl_conve
x
_hull
.
c: expl
i
citly
mark wrap
p
ing lp p
r
oble
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ver
d
oolaege
isl_tab_min:
micro-optimization: postpone
t
akin
g
into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
t
ab_add_row:
a
d
d f
u
rther expla
n
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
i
sl_ta
b
.
c
:
fix typos in c
o
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Ver
d
oolaege
isl
_
tab_pip
.
c: correctly detect
n
on-negativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
a
d
d test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
test b
o
th
context
handling
mechanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaeg
e
i
sl_tab_is_equality: proper
l
y
s
u
p
port "big pa
r
a
m
eter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolaege
i
s
l_
t
ab_pip
.
c: f
i
x typo in c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next