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_basic_map_intersect: avoid NULL pointer dereference
2010-06-12
Sven
Ver
d
o
olaege
isl
_
rang
e
.
c: fix
typo
i
n com
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdool
a
ege
expo
r
t isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_bound: plug memory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaeg
e
f
i
x
isl_qpolynomial_fol
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
i
s
l_pw_qpol
y
nomial_bo
u
nd
_
ran
g
e
:
fix
r
e
moval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
rd
o
olaege
add
bound_te
s
t
.
s
h to distrib
u
tion
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdool
a
eg
e
doc: d
o
c
ume
n
t
g
i
st op
e
rations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc:
d
ocument isl_cons
t
raint_is
_
e
quality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
add isl_map_is_sing
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
d
o
olaege
isl_ba
s
ic_map_
f
o
r
each_constraint:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_bas
i
c_ma
p
_
c
opy:
mark duplica
t
ed
c
o
py as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolae
g
e
i
sl
_
basic_set_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
g
e
isl_b
a
sic_map
_
move_dims: alway
s
finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoola
e
ge
isl_basi
c
_ma
p
_from_const
r
aint:
f
inalize result
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
olaeg
e
isl_access_info_c
o
mpute_fl
o
w: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
e
n
Verdoolae
g
e
i
s
l_access_info_compute_flow: handl
e
multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Ve
r
do
o
laege
r
e
name isl_pw
_
qpo
l
ynomial_move and ad
d
isl_pw_qpolynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
isl_ctx: keep
t
rack of
u
s
e
r options
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
Verdoolaege
i
mproved
a
rgument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
isl_options_par
s
e: print help mes
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
e
rdoolaege
a
dd isl_b
o
u
nd test applica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d isl_p
w
_qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolyno
m
i
a
l_fold_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
rudimentary isl_mo
r
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oolaege
add i
s
l_seq_s
e
t
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_equalities
.
c: fix
t
ypo
i
n comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
ool
a
e
g
e
add isl_m
a
t_
i
nsert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat
_
no
r
malize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
isl_mat_lin_to
_
a
ff: fix
e
rro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl
_
qpo
l
ynomial_opt_on_domain:
h
andle empty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
isl_name_all
o
c: fix error
h
andli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add is
l
_d
i
m_of
f
se
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
isl_eq
u
alities
.
c: fix typos
in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_pw
_
q
p
olynom
i
al_fold_c
o
ver
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_qpol
y
n
o
mial
_
le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
p
riva
t
e
l
y
export
i
sl_set_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
set_
c
oun
t
_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
erdoolaege
add isl_st
r
eam_read_pw_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
add isl_q
p
olyno
m
ial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
q
polyno
m
ial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoo
l
a
ege
add isl_basic_
s
et_foreach_bou
n
d_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
add
isl_qpoly
n
omial_as_po
l
ynomial
_
on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
qpo
l
y
nomia
l
_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_set_dims_get_si
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l
_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
a
d
d
i
sl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n V
e
r
d
oolaege
add
isl_b
a
s
ic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdo
o
laege
is
l
_
qpolynom
i
al_
f
old_opt_on
_
d
o
main:
fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verd
o
olaege
i
sl_p
w
_
*_eval: fix handl
i
ng o
f
empt
y
i
n
put
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
e
ge
add isl
_
basic
_
set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
o
olaege
export isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
a
d
d
isl_qpolynomial_get
_
dim
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolae
g
e
isl_map_transit
i
ve_closure
:
coal
e
sce input
b
efore checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add m
a
p_le
x
_*_fir
s
t
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoolaege
isl_
m
a
p
_lex_le: use one basic set less in resul
t
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verd
o
olaege
i
s
l_
s
t
ream: accept lexicographic
o
per
a
t
o
rs
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_map_tr
a
nsitive
_
closu
r
e:
c
h
eck if i
n
pu
t
i
s
c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Ver
d
o
olaege
a
dd
i
sl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read: parse
p
ara
m
et
r
ic Omega input
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
isl_map_read: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
ege
is
l
_
c
onvex_
h
u
ll
.
c: is_bound: any
i
nequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_
h
ull
.
c: add
_
bounds: prop
a
gate erro
r
s
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Verdoo
l
aege
d
ocum
e
nt isl_map_rev
e
r
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
i
s
l_stream_next
_
token: terminat
e
stri
n
g to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_map_transitive_cl
o
su
r
e:
tre
a
t
e
q
ual
i
ty
as pai
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
i
sl_map_transitiv
e
_clo
s
u
r
e,
omeg
a
-li
k
e: only
u
se ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaeg
e
i
sl_map_transitive_closure
:
us
e
sim
p
le hull in
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_transitive_closure
:
t
r
y and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map_c
o
alesc
e
: a
l
lo
w
wrapping in set
s
that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolae
g
e
i
s
l
_
map_coalesce: allowing cutting equa
l
i
ties in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
a
d
d some more co
a
lescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_basi
c
_map_gist: be
m
ore aggressive
i
n remo
v
in
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_stream: accept s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
i
s
l_tab_rollback: restore rows that are
n
o lon
g
er m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
V
erdoo
l
aege
doc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
ool
a
e
ge
doc:
em
p
ha
s
ize tha
t
w
e
a
re dealing wi
t
h integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
isl
_
t
ran
s
i
tive_
c
losure
.
c
:
path_along_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
i
s
l_ma
p
_tr
a
nsitive_closu
r
e:
compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl
_
map_c
o
mput
e
_divs: mak
e
sure r
e
s
ult is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n V
e
rdoolae
g
e
is
l
_
p
rint
e
r
_
print_pw_qpolynomia
l
: proper
l
y print c
o
nstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl
_
pi
p
and isl_cat: te
r
minate isl_arg array w
i
th ISL_A
R
G_E
N
D
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ver
d
oola
e
ge
doc: document setti
n
g
and get
t
ing
o
f d
i
mension names
commit
|
commitdiff
|
tree
2010-04-19
S
ven Ver
d
oolaege
doc: document *_get_dim functio
n
s
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Verdoolaege
i
sl_map_co
n
v
e
x_hull: hand
l
e non full-dimen
s
ional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoo
l
a
e
ge
isl_convex_hull
.
c: m
o
dulo_affine_
h
u
ll:
d
rop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
isl_co
n
vex_hull
.
c: convex_hull_pa
i
r: skip
d
i
rect
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
d
o
olaeg
e
isl
_
p
r
inter_print_bas
i
c_
s
et: fix up
p
r
inting to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verd
o
o
l
a
ege
a
dd
i
s
l_set
_
ne
g
a
n
d is
l
_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolae
g
e
i
s
l_
t
ransitive_closure
.
c: fix
docum
e
ntation of construc
t
_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Verdoolae
g
e
i
sl_map_coalesce: make sure r
e
su
l
t still con
t
ains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
isl
_
map_transitive
_
c
l
osure: Floyd-Wa
r
shall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
V
e
rdoolaege
i
s
l_map_transit
i
ve_closure: u
s
e
F
l
o
yd-Warsha
l
l on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
V
e
rdo
o
laege
isl
_
transi
t
iv
e
_closure
.
c: e
x
tract o
u
t isl_set_overlap
s
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
is
l
_map_transitiv
e
_
c
losure: project out
l
e
n
gt
h
o
n
e
ac
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_transitive_closure
.
c: c
o
nstruc
t
_co
m
pon
e
nt:
d
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_
m
ap_tra
n
sitive_closure: don't
a
dd len
g
th
p
arame
t
er
commit
|
commitdiff
|
tree
2010-04-15
S
ven V
e
rdoolaege
doc: f
i
x
t
y
pos
commit
|
commitdiff
|
tree
next