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
doc: add some implementation details on parametric integer programming
2011-03-18
Sven Ve
r
doolaege
doc: a
d
d
s
om
e
i
m
plem
e
ntation
d
e
tails on param
e
tr
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven V
e
rd
o
olaege
is
l
_lp
.
c
: avoid clang wa
r
n
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_
s
tream_r
e
a
d_map
:
accept
f
l
oord and ce
i
ld
expres
s
i
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl
_
s
t
ream_read_
m
a
p: accept min and
ma
x
expre
s
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
i
s
l_stream_read
_
map
:
p
rope
r
ly r
e
ad nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_
s
t
ream_
r
ead_map: t
r
e
at divs as output va
r
i
ables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_
m
ap_coa
l
esce: plug memory leak
on e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oo
l
aege
isl
_
mat_
e
xtend: a
v
oid memory leak when
r
eall
o
c fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
doolaege
isl_ba
s
ic_
m
ap_o
v
erly
i
ng_s
e
t:
avoid mem
o
ry leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
g
e
isl_stream_getc: avoid memory leak when re
a
l
l
oc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
Verdoolaege
rudiment
a
ry
support for asynchronou
s
t
ermination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoola
e
g
e
hide isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_vec_read_from_file: drop input_format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdoola
e
ge
i
s
l_map
.
c
:
drop unu
s
ed e
r
ror label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaege
i
s
l_inpu
t
.
c
: dr
o
p
u
n
used e
r
ror
l
abel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
respe
c
t
DESTDIR when installing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
isl_stre
a
m: accept
"
$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
add isl_un
i
on
_
map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolaege
change isl_
m
ap_p
o
wer int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
add isl_union
_
map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add private isl_basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verd
o
olaege
add isl_uni
o
n_
m
ap_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdool
a
ege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Ver
d
oolae
g
e
i
sl
_
map_deltas: don't copy flags f
r
o
m
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oolaege
isl_stream_read
_
map:
ac
c
ept constant e
x
pressi
o
ns of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdool
a
e
g
e
isl_str
e
a
m:
accept "/\
"
and "\/"
a
s
alternatives f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
isl_
s
tream: only
quote
newl
i
ne using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
laege
i
s
l
_stream: maintain pri
v
ate ungetc bu
f
fer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erdoo
l
aeg
e
isl_set_li
f
ting: simplif
y
and fi
n
alize r
e
s
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc: drop
l
ong outdate
d
note on
tr
a
nsitive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven V
e
rdoolaege
a
d
d
i
s
l_basic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
ven
V
erdool
a
ege
isl_map_i
d
en
t
ity: take
dimension specification of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en Verdoolaege
re
n
a
m
e isl_dim_map to isl_dim
_
map_fro
m
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rdoolaeg
e
transit
i
ve closu
r
e: project out
para
m
eters when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verd
o
olaege
p
rivately e
x
p
o
rt isl_basic_se
t
_r
e
set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en
V
e
rdool
a
e
ge
isl_set_lift: pres
e
r
v
e
s
t
r
u
cture
of s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_pw_qpolynomial_bound
:
handle combination of wr
a
pping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolaege
isl
_
tab
_
pip
.
c: fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
e
n
V
er
d
oolaege
isl_
t
a
b
:
check
fo
r
obviously empty tableau
s
after
d
iscoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_basic_map_gist: prefer contrai
n
ts without existentia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolae
g
e
isl_
b
asic_map_sor
t
_constra
i
nts: chang
e
comparison
r
o
u
tine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
Verdoolaege
isl_t
a
b_ineq_type: classify mor
e
c
ons
t
rain
t
s
as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven V
e
rdo
o
la
e
ge
isl_map_coalesce: be more re
l
axed about multiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
add i
s
l_b
a
sic
_
map_from_domain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
ad
d
isl_ba
s
ic_
s
e
t
_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
e
rdoolaege
add isl_basic_s
e
t_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdoolaege
exp
o
rt
i
sl_basic_map_flat
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_map_f
r
om_qpolynomia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Ve
r
doola
e
g
e
isl_stream: support \<newline> line c
o
ntinuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verd
o
olaege
add isl_union_map_r
e
ad_f
r
om_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Ve
r
doolaege
i
sl_strea
m
_read_ma
p
: accept 'true' a
n
d 'fal
s
e
' constra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoo
l
aeg
e
i
sl_stream_read_map: allow ex
t
ra ';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
s
l_stream_re
a
d_
m
ap: a
l
low n
e
gations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaege
isl_
s
tream_read_map: allow exis
t
entia
l
qua
n
tification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoo
l
aege
priva
t
ely
e
xport isl_
b
as
i
c_map_
a
dd_
d
iv_constrai
n
t
s
_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolae
g
e
isl_morph_basic_
s
et: p
r
eserve rationality o
f
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add
i
sl_basic_set_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verd
o
olaege
i
sl_printer_pr
i
n
t_basic_map: expl
i
citly mark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdoolaege
isl_stream_re
a
d_
m
ap:
r
e
ad rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_
basic_map_insert:
preserv
e
rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
V
e
rdoolaege
a
d
d isl
_
basic_map_se
t
_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaeg
e
isl_basic_map_fast_cmp: different
i
ate between rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
V
e
rdoolaege
isl_output
.
c: re
m
ove som
e
c
ode du
p
lication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_prin
t
e
r
_
p
rint_basi
c
_{set,map}: don
'
t
s
tart new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
oolaege
isl_stream_read_map: acce
p
t
'|' at start of co
n
straints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
e
n Verdoolaege
isl
_
strea
m
: ke
e
p t
r
ack
of t
e
xtual repr
e
sentation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verd
o
olae
g
e
i
sl_inp
u
t
.
c
: c
l
ean
up
re
a
d_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en V
e
rdoolaege
isl_str
e
am
_
read_map: acce
p
t d
i
s
ju
n
c
t
i
o
n
s
w
i
thin a con
j
u
nct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdo
o
laege
isl_convex_hull
.
c: explicitly mark wrapp
i
ng lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ver
d
oolae
g
e
isl_
t
ab_min: m
i
cr
o
-optimization: postpone takin
g
i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ve
r
doolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
isl_tab_add_r
o
w: add further exp
l
anation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
a
ege
is
l
_tab
.
c: f
i
x typos in comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
i
sl_ta
b
_
p
ip
.
c: cor
r
ectl
y
dete
c
t non-negativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verd
o
olaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaeg
e
test both
c
on
t
e
xt
handlin
g
mechanis
m
s
of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
ae
g
e
isl_tab_is_equality: properly s
u
pport "big pa
r
ameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
erdool
a
ege
is
l
_t
a
b_pip
.
c: fix typ
o
in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl
_
a
ffine_
h
ull
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l_union_map_c
o
mpute_fl
o
w:
return acce
s
ses with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
Merge branc
h
'
ma
i
n
t'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl
_
un
i
on_map
.
c
:
inplace: pass data p
o
i
n
te
r
to isl_h
a
sh_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verd
o
olaege
is
l
_di
m
_move: update parameters of neste
d
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdool
a
eg
e
a
dd isl_m
a
p_nat_unive
r
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verd
o
o
laege
clean
u
p isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
V
erdoolaege
m
erge isl_bas
i
c_set/is
l
_basic_map an
d
isl_se
t
/isl_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verd
o
ol
a
ege
rename "o
m
ega" transit
i
ve clo
s
ure to "
b
o
x" tr
a
nsitiv
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
d
o
olaeg
e
export is
l
_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
i
s
l_vertices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
isl_union_temp
l
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
isl
_
m
a
p_subtract
.
c:
n_n
o
n_redunda
n
t:
propage isl_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoolaege
isl_bernstein
.
c
:
fix
t
y
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaeg
e
add isl_u
n
io
n
_pw_qpolynomi
a
l_mul_isl_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoolaege
isl_stre
a
m_read_obj: read
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
a
d
d
int objects for use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Ver
d
oola
e
g
e
isl_basic_
m
ap_rem
o
ve_divs: finalize r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add
isl_basic_set_
g
et_tu
p
le_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oo
l
a
e
ge
Merge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoola
e
ge
isl_union_map_sample: don't return NULL on emp
t
y input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next