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
V
erdo
o
laege
is
l
_range
.
c:
f
ix typo i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
isl
_
bound
:
plug
m
emory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
fix isl_qpo
l
ynomial_fold_d
u
p
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_pw_qpolyno
m
ial_bound_
r
ange: fix r
e
mova
l
o
f d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laeg
e
a
dd bound_test
.
sh to distrib
u
tion
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdo
o
laege
doc: document
g
i
st operatio
n
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doolae
g
e
d
o
c: d
o
cument i
s
l_co
n
s
t
raint_is_
e
qualit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
add i
s
l
_map_is_si
n
g
l
e
_valued
commit
|
commitdiff
|
tree
2010-06-04
S
ven Ver
d
oo
l
ae
g
e
isl_ba
s
ic_map_fo
r
each_constraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
isl
_
ba
s
i
c
_map_co
p
y
: m
a
r
k
duplic
a
ted copy as fina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
i
sl_basi
c
_s
e
t_lift: finalize
r
esul
t
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_basic_map_
m
ove_dims: always fin
a
lize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdo
o
la
e
ge
isl_basi
c
_m
a
p
_
from_constraint: fin
a
lize re
s
u
lt
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl
_
acces
s
_info_c
o
m
p
u
t
e_flow: handle may a
c
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
erdoolaege
isl_access
_
info_compute_flow: handle mul
t
i-value
d
s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolae
g
e
remove some unused varia
b
les
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rd
o
olaeg
e
f
ix some i
c
c
w
arn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdool
a
ege
rename isl_pw
_
qpolynom
i
a
l
_mov
e
and add
isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
ola
e
ge
isl_ctx:
k
e
e
p
t
rack
o
f user options
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdool
a
ege
i
mprove
d
argument
p
ars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
e
ge
is
l
_options_par
s
e
: print help messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add is
l
_bo
u
nd
test appl
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoola
e
g
e
add is
l
_pw_
q
polynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpol
y
nomial_
f
old_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add r
u
dimentary
i
sl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
add
is
l
_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_
e
q
u
a
lities
.
c:
f
i
x typo
i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolae
g
e
ad
d
i
sl_mat_insert_
r
ow
s
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
ool
a
ege
add
i
sl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
ool
a
ege
ad
d
isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
ge
isl_mat_lin_to_aff:
f
ix
erro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_
q
po
l
yn
o
mial_opt
_
on_d
o
m
a
in: handl
e
empty i
n
p
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
i
s
l_n
a
me_alloc: f
i
x error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
add i
s
l_di
m
_offse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doola
e
ge
isl_equalities
.
c: f
i
x
typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add
i
s
l_pw_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_qpolyn
o
m
i
al_le_
c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
privately export
i
sl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaege
a
d
d isl_set_count_up
t
o
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
ad
d
isl_s
e
t_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_stream_read_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolae
g
e
add isl_qp
o
lynomial_from
_
term
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add is
l
_
q
polynomia
l
_from_
c
onstraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add
isl_basic_set_foreach_
b
ound_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add is
l
_
qpolynomial_as_polynomi
a
l_on_do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add
i
sl_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdool
a
eg
e
add isl_basi
c
_
set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl
_
ctx: a
d
d
zero
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
a
d
d
i
s
l_q
p
olynomial
_
neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
add
isl
_
basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
isl_qp
o
lynomia
l
_fold
_
o
p
t_on_
d
omain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_pw_*_ev
a
l: fix handling of em
p
ty
i
nput
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Verdoolaege
add isl_basi
c
_
set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
export isl_q
p
olynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl
_
q
polynomial_get_d
i
m
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Verdoola
e
ge
isl_map_transi
t
i
v
e
_
c
l
osure: coa
l
esce
i
np
u
t before ch
e
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Ve
r
doolaege
ad
d
map_l
e
x_*_firs
t
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
isl_map_lex_le
:
u
se one basic set less
in res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
is
l
_st
r
eam: accept lexicograp
h
ic operato
r
s
commit
|
commitdiff
|
tree
2010-04-28
S
ven Ve
r
doolaege
isl_map_
t
ra
n
sitive_clo
s
ure: check
i
f input is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add i
s
l
_printer_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_re
a
d: pars
e
paramet
r
ic
Omega input
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
Ver
d
o
olaege
is
l
_map_read: fix
typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
ol
a
ege
isl_convex_hull
.
c: is_bound
:
any
ine
q
uality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
isl_c
o
n
vex_hull
.
c
: add_bou
n
ds: p
r
opagate
e
r
rors
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ver
d
oolaege
do
c
ument isl_ma
p
_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaeg
e
isl_
s
t
re
a
m
_
next_token: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ver
d
o
o
laege
isl_map_transitive_c
l
osure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transiti
v
e_closu
r
e,
omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
ae
g
e
i
sl_map_transit
i
ve_closure: use
s
i
m
p
le hul
l
in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_
m
a
p
_tr
a
nsitive_clo
s
ure:
t
ry and comput
e
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_coal
e
sce: all
o
w wrapping in sets tha
t
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_
m
ap_coalesce: all
o
w
ing c
u
tting eq
u
alities
i
n a
d
jacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolae
g
e
add some more coalesc
i
ng test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l
_
ba
s
ic_map_gis
t
: be more aggressive
i
n
removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
lae
g
e
isl_str
e
am: accept
s
tring toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laeg
e
isl_tab
_
roll
b
ack
:
r
estore row
s
that are no
longer ma
r
ked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: docu
m
ent simple
h
ul
l
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verd
o
olaege
doc: emphasize that we are dealing w
i
th integer sets
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rdoolaege
isl_tr
a
nsitive_closure
.
c
:
path_along
_
delta: on
l
y avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
olaege
isl
_
ma
p
_t
r
a
n
sitive_closure:
c
ompute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoo
l
aege
isl_map_comp
u
t
e_divs: mak
e
sure resu
l
t
is gausse
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolae
g
e
isl_pr
i
nter_pr
i
nt_pw_
q
polynomial: properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_pip and isl_ca
t
: terminate is
l
_arg arra
y
wi
t
h ISL_ARG_EN
D
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: document s
e
t
ting and g
e
tti
n
g
of dimension nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
d
o
c:
d
o
c
ument
*
_
g
et_
d
im
f
unctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map_c
o
nvex_hull: ha
n
d
l
e
non
f
ull-dime
n
s
i
o
n
al pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_
c
onvex_hull
.
c: modulo_affine_hull: dr
o
p redund
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
is
l
_c
o
n
vex_hull
.
c: conve
x
_hull_pair
:
skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erdoolaege
isl_p
r
inter
_
p
r
int_basic_set: fix up pr
i
nting
t
o s
t
ring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdool
a
e
ge
add isl_set_neg and is
l
_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven
V
erdoolaege
isl_tran
s
itive_closur
e
.
c:
f
ix docume
n
tati
o
n of con
s
truct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdo
o
l
a
ege
i
sl_map_coalesce: m
a
ke
s
ure result still conta
i
ns set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
i
s
l_map_transitive_
c
l
o
s
u
r
e
: Floyd
-
Warshall: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
isl_
m
ap_transitiv
e
_
closure: u
s
e Floyd-Warshal
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
e
ge
isl_tra
n
sitive_closure
.
c: ext
r
act out is
l
_set_overlap
s
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
isl_map_transi
t
ive_
c
lo
s
ure: projec
t
out
length on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_tran
s
itive_closure
.
c: c
o
nstruct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_map_transitive_c
l
osure:
d
on't add
l
engt
h
paramete
r
commit
|
commitdiff
|
tree
next