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_map_gist: also perform gist in universe context
2010-08-11
Sve
n
Verdoolaege
isl_m
a
p_gist: also per
f
orm gist in universe
c
ont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
isl_union_map: const
r
uct
n
e
w
isl_
u
n
i
on_map
o
n operations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
s
l_union_map_is_empty: fix typo that res
u
l
t
ed in
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven
Verdoolaege
add
i
sl_b
a
si
c
_map_has_de
f
ining_e
q
u
al
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven
V
erdoolaege
add isl_set_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdoolaege
isl_printer_print_ma
p
: fix pri
n
ting in lat
e
x
fo
r
mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven V
e
rd
o
olae
g
e
i
sl_set_wr
a
p_facet: normalize r
e
sulting facet cons
t
raint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
e
r
doolaege
isl
_
coa
l
e
s
ce
.
c: fix t
y
po in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_pw_qpolynomial_i
n
tersect_do
m
a
i
n: simplify polynom
i
als
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaeg
e
i
s
l_qpolynomial_move_d
i
ms:
p
l
ug memory le
a
k and fix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
add
i
s
l_pw_qpolynom
i
al_read_from_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoola
e
ge
add is
l
_qpolynomi
a
l_fold_subs
t
itute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdo
o
laege
isl_pw
_
q
polynom
i
al_int
e
rsec
t
_domain: drop
p
ieces that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
isl
_
map_product: used nested spaces in result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
p
w_qpoly
n
omial_b
o
und:
h
andle isl_pw_qpolynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdool
a
ege
support nested isl_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolae
g
e
doc
:
f
i
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ver
d
oo
l
aege
export isl_dim_
t
up
l
e_ma
t
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l
_
output
.
c:
e
x
tract out common
print_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_inpu
t
.
c:
r
ead_t
u
ple: constr
u
ct
i
sl_
d
i
m
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
olaege
doc: remove
d
es
c
riptio
n
of how t
o
get the piplib su
b
module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdo
o
laege
i
s
l_printer_
p
rint_pw_qpolynomial
_
fold: print dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add
i
sl_pw_qpoly
n
omial_insert
_
d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
add isl_set_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_b
a
s
i
c_map_image_is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
d
oolaege
avoid N
U
L
L
pointer exce
p
t
i
on in isl_ba
s
i
c_
m
ap_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
fix isl_pw
_
qpolynom
i
al_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
e
rdo
o
laege
add
i
sl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
add isl_m
a
t_add_zero_c
o
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
S
ven Verdoolaege
ex
p
o
r
t isl_b
a
sic_
m
ap_move_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
hide isl_dim interna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolae
g
e
add isl_dim_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdool
a
ege
isl_basic
_
map_res
e
t_
d
im: f
i
nal
i
z
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
e
n
Verdoo
l
aege
isl_t
r
a
n
siti
v
e_
c
losure
.
c: anonymiz
e
input map
d
uring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
isl_tra
n
s
i
ti
v
e_cl
o
sure
.
c: keep track of domains
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_drop
:
a
lw
a
ys remove
tuple na
m
e
, e
v
en if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
e
r
doola
e
ge
isl_dim_
s
et_t
u
ple_na
m
e: allow e
x
p
licit
removal of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
a
dd support for un
i
on sets and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
doolaege
isl_tran
s
i
tive_closure
.
c: extract out some re
u
sable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
a
d
d isl_
p
w_qpolynomial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
a
d
d isl_
m
ap
_
has_equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
isl_dim
_
ge
t
_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoola
e
ge
isl_dim: al
l
ow specification
of t
u
ple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdo
o
l
aege
isl_map
_
fr
o
m_domain_and_range:
i
mp
l
ement in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
b
asic_ma
p
_
d
omain: properly
set dimension
of re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privately export
isl_s
e
t_res
e
t
_dim and isl
_
map_
r
eset_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_map_read: extra
c
t out rea
d
_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven
Verdoolaege
isl_hash
_
t
able_foreach: pass point
e
r
t
o
entr
y
data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l
_hash_table_fo
r
each:
add user
a
rgum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoola
e
ge
isl_
t
ransi
t
i
v
e_closure
.
c: fix doubl
e
free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl_ma
p
_
g
ist:
u
se
simpl
e
hull instead
of co
n
vex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl
_
ma
p
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Ve
r
doolaeg
e
isl_
c
at
:
read generic obje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
V
erdoolaeg
e
isl_printer: add
NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
make isl_obj_none a constant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
olaege
add isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoola
e
ge
i
s
l_m
a
p_fast_i
s
_
un
i
verse: also detec
t
r
e
d
u
ndant represent
a
ti
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
add isl_map_reaching_path_len
g
t
hs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
e
rdoolaeg
e
isl_map_power
:
delay equating pa
t
h length
s
to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolaeg
e
isl_map_power: ap
p
ly Floyd-Warshall to
c
o
mpute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_ma
p
_lexmax: produc
e
less cryptic error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Verd
o
olaege
fix isl_basic_ma
p
_
m
o
v
e_dims in pres
e
n
c
e of ex
i
stentiall
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
V
erdoola
e
ge
isl_test: drop debugging o
u
t
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
l
aeg
e
isl_transitive_closure
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en
V
er
d
oolaege
fix isl_map_le
x
_ge and isl_
m
ap_lex_le i
n
the zer
o
-dimen
s
i
ona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven V
e
rd
o
o
l
ae
g
e
is
l
_printer_print_map: replace variable by i
t
s
definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en V
e
rdoolaeg
e
privately export
i
s
l
_basic_map_fast_cmp
a
n
d
i
sl_basic_
m
ap_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven V
e
rdoolaeg
e
isl_dim_set_name: do
n
't accept
n
a
mes th
a
t look
like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaeg
e
isl_convex_hull
.
c:
a
void side-effe
c
ts in calls
t
o
isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
Verdoolaege
add isl_ha
s
h_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdo
o
laege
add isl_int_ge
t
_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc: fix some t
y
pos
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
Makefile
.
am: rea
l
ly include include/
i
sl_v
e
rtices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
ae
g
e
a
d
d isl_map_is_bij
e
ctive
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoolaege
do
c
: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
doc:
d
rop duplica
t
e bookt
i
tle fro
m
K
elly1996c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
doc
:
use mo
r
e explicit nota
t
i
o
n to avoi
d
confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
a
d
d isl
_
constra
i
n
t_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_map_simplify
.
c: separate
o
ut
isl_basi
c
_
m
ap_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoolaege
isl_bas
i
c_map_from
_
c
o
nstraint:
keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_b
a
s
ic_map_
f
rom_c
o
nstraint: only
r
eturn co
p
y
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_constraint_
a
dd_div
:
co
r
rec
t
ly
s
et l
i
n
e to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n V
e
rdo
o
laeg
e
isl_pip: rename pip_op
t
ions to avoid
confl
i
ct
w
ith
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaeg
e
i
s
l
_
convex
_
hull
.
c: i
n
itial_facet_constrai
n
t:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
d
o
c: describe backward incomp
a
tible change
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
doc:
m
ention disc
u
ssion
g
rou
p
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
rename isl_ba
s
i
c
_ma
p
_convex_
h
u
ll to
i
sl_basi
c
_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
do
o
laege
isl_affine
_
hull
.
c: outside_point: fix erro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
t
ab_rollback:
av
o
id d
o
uble fr
e
e on e
r
ro
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oo
l
aege
isl_tab
.
c
: tab_mat_p
r
od
u
ct: avoi
d
N
ULL po
i
nter
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_tab_extend
_
c
o
n
s: avoid
NULL pointer
d
er
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdo
o
l
aege
implement antiquated i
s
l
_basic_
s
et_n_*
i
n te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_map
_
conv
e
x_hull: avoid NULL
p
oint
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_tab_ad
d
_valid_eq: return int i
n
stead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_affine_hull
.
c: affine
_
hull_with_cone: avoi
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_equali
t
ies
.
c: parameter_co
m
pre
s
sion_multi:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaeg
e
isl_basi
c
_
ma
p
_projec
t
_
o
u
t
: avoi
d
N
ULL poin
t
e
r
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_c
o
alesce
.
c: c
o
alesce_pair: av
o
id NULL po
i
nter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_convex
_
hull
.
c: ext
e
nd:
f
ix
e
rror handling
commit
|
commitdiff
|
tree
next