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_basic_map_has_defining_equality
2010-08-09
S
v
en Ve
r
doola
e
ge
add isl_basic_m
a
p_
h
as_def
i
ning_equ
a
l
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sv
e
n Verdoolaege
add
isl_set_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-07
Sven V
e
rdool
a
e
ge
isl_pr
i
nter_print_map: fix printing
i
n latex fo
r
mat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolae
g
e
isl_set_wrap_facet: normalize re
s
u
lting face
t
co
n
s
t
raint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_coale
s
ce
.
c: fi
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Ver
d
oolaege
is
l
_pw_qpolyno
m
ia
l
_inters
e
c
t_domai
n
:
s
i
mplify polyn
o
mia
l
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaeg
e
isl_qpol
y
no
m
ial_move_dims: plug memory
leak a
n
d
f
ix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
add isl_pw_qpolynomial_read_fr
o
m_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
V
e
rdoolaeg
e
add isl
_
qpo
l
y
nomial_fold_subst
i
tute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpolynomi
a
l_intersect_domain: drop pieces that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
isl_map_product: us
e
d nested spaces in
r
esul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoo
l
aege
isl_pw_qpolyno
m
ia
l
_b
o
u
n
d:
handle i
s
l
_pw_
q
polynom
i
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
sup
p
o
r
t nested isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
doc: fix t
y
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
o
olaeg
e
e
x
port isl_dim_tuple_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoola
e
ge
isl_output
.
c: extract out
common print_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ver
d
oolaege
isl_in
p
ut
.
c: rea
d
_tuple
:
con
s
tru
c
t isl_dim instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
doc: remove descripti
o
n of how to get t
h
e
piplib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
isl_printer_pri
n
t_pw
_
q
polynomia
l
_fold:
pri
n
t
dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
e
g
e
add
is
l
_pw_qpoly
n
omia
l
_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_s
e
t_inser
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
ad
d
isl_basic_map_
i
m
ag
e
_
is_bound
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
av
o
i
d NULL pointer except
i
on
in isl_basic_map_n
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdo
o
laege
fix isl_pw_qpolynomial_res
e
t_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
a
d
d isl_mat_add_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
o
olae
g
e
add isl_mat_add_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sv
e
n Verdoolaege
expo
r
t isl_bas
i
c_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verd
o
olaege
hide
i
sl_dim i
n
ternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
ad
d
isl_dim_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoolaege
isl_basic_map_reset_
d
im
:
finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
isl_tran
s
itive_closure
.
c: anonymize inp
u
t map du
r
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdo
o
laege
i
sl_transitive_closure
.
c: k
e
ep track of domains for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
i
sl_d
i
m_d
r
op: always remo
v
e
tuple name,
e
ven if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl
_
dim_set_tuple_name:
allo
w
explicit rem
o
val of tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add support
fo
r
union set
s
a
nd
r
elatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
i
s
l_tra
n
sitive_closu
r
e
.
c: ext
r
act out some reusabl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add i
s
l_pw_qpolynomial_re
s
et_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdool
a
ege
ad
d
isl_map_has_equ
a
l
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
d
o
olaege
a
dd
isl_
d
i
m
_ge
t
_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
ae
g
e
i
s
l
_
dim: allow specification
o
f tuple
n
a
me
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdo
o
laege
isl_map_
f
rom_domain_and_r
a
nge:
implemen
t
in term
s
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
la
e
g
e
isl_
b
as
i
c_map_doma
i
n:
prope
r
ly set di
m
ensi
o
n
o
f
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
V
er
d
oolaege
p
r
ivately
e
x
port
isl_s
e
t_reset_dim and isl_ma
p
_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
rdoolae
g
e
isl_map_re
a
d:
e
xtract out read_var_d
e
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
d
oolaege
is
l
_
h
ash_tabl
e
_f
o
reac
h
: p
a
ss pointer
t
o ent
r
y
d
ata
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
is
l
_ha
s
h_table_foreac
h
: add user ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
d
oolaege
isl_tr
a
n
sitive_closure
.
c
: fix double
f
r
ee on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven
V
erd
o
olaeg
e
is
l
_m
a
p_gist
:
use simpl
e
hull inste
a
d of convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
V
e
rdoolaege
isl_map
.
c: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
is
l
_cat: read generic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_printer: add NULL c
h
ecks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Verdoolaege
make isl_obj_none a constant expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
ad
d
isl_map_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
l
a
ege
i
s
l_map_
f
ast_is_unive
r
se: also detect re
d
un
d
ant representat
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n
V
er
d
ool
a
e
ge
a
d
d
isl_map_reach
i
ng_path_l
e
ng
t
hs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
i
s
l_map_
p
ower: delay equating path lengths t
o
pow
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n
V
e
rdoolaege
is
l
_map_power
:
apply
F
loyd-War
s
hall to compute
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
e
rdoolaeg
e
i
s
l
_map
_
l
exmax:
p
r
o
d
uce less cryptic er
r
or message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Ve
r
doo
l
ae
g
e
fix i
s
l
_ba
s
ic_map_move_dims in presence of exis
t
entially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaege
i
s
l_test: drop
d
e
bugging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
o
o
l
a
ege
isl_t
r
ansitive_clos
u
re
.
c
:
fix typ
o
in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Verdoola
e
ge
fix isl_map
_
l
e
x_ge and
isl_m
a
p_lex_le in the
z
ero-dimensi
o
na
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolaege
isl_printer_print_map: replace variable by its
definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven V
e
rdo
o
la
e
g
e
p
r
iva
t
ely export
i
sl_basic
_
map_fast_cmp
an
d
isl_ba
s
ic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven V
e
r
dool
a
ege
isl
_
dim_set_
n
a
m
e: don't acc
e
pt names that loo
k
like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven
V
er
d
o
olae
g
e
isl_convex_
h
ull
.
c: av
o
i
d
side
-
e
ffects i
n
ca
l
ls t
o
isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
erdoola
e
ge
add is
l
_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Ve
r
doolaege
add isl_i
n
t_g
e
t_
s
tr
commit
|
commitdiff
|
tree
2010-07-02
Sven Ve
r
doolaege
doc:
f
ix som
e
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
oolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefi
l
e
.
am:
r
e
a
l
ly
include
include/isl_v
e
r
tices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verd
o
olaege
add isl_map_is_bije
c
tive
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
o
o
l
a
ege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoola
e
ge
doc: drop dup
l
icate booktitl
e
from Kelly19
9
6c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
doc: u
s
e
m
o
r
e explici
t
n
otation
t
o
avoi
d
c
o
nfusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aeg
e
add
i
sl_con
s
t
raint_is_div_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
isl_map_simpli
f
y
.
c: separa
t
e out is
l
_
basic_map_
i
s_div_cons
t
rain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_basic_map_from_const
r
a
int: keep a
l
l divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
dool
a
ege
i
s
l
_
ba
s
i
c
_map_f
r
om_constraint
:
on
l
y
return co
p
y
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
isl_const
r
aint_a
d
d_div:
c
or
r
ectly
s
et l
i
ne to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
o
laege
isl_pip: renam
e
pi
p
_opt
i
ons to avoid c
o
nfli
c
t w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
dool
a
eg
e
is
l
_convex_h
u
ll
.
c:
i
nitial_f
a
ce
t
_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
doc
:
d
e
scri
b
e backward
i
n
compat
i
ble change
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: mention discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolae
g
e
rename is
l
_basi
c
_map
_
con
v
ex_hull to
isl_basic_map_remove_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
aff
i
n
e_h
u
l
l
.
c: outsi
d
e_
p
oint
:
fix
error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_tab_rollback: avoid double
free
o
n error
pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaeg
e
isl
_
tab
.
c: tab
_
mat_product: avoid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_ta
b
_
extend_cons: avoid
NUL
L
p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implemen
t
a
n
tiquated i
s
l_ba
s
ic_set_n_* i
n
terms o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_m
a
p_convex_hull: avoid N
U
L
L
pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab_add_valid
_
eq:
return
i
nt
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_affine_hu
l
l
.
c: affine_hull_with_
c
one
:
avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_e
q
uali
t
ies
.
c: parameter_compression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erd
o
olaeg
e
isl_basic
_
map_project_o
u
t: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_c
o
ale
s
ce
.
c
: coa
l
es
c
e_pa
i
r: avoi
d
N
U
LL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_convex_hull
.
c:
e
xtend:
f
ix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
impl
e
men
t
a
nt
i
quated isl_set_n_*
i
n
t
erms of
isl
_
s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_ma
p
_simpli
f
y
.
c: nor
m
a
l
ize_di
v
s: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_input
.
c:
v
ars_dro
p
: fix error handling
commit
|
commitdiff
|
tree
next