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_simplify.c: remove_duplicate_divs: avoid NULL pointer dereference
2010-06-03
Sven Verdoo
l
a
e
ge
isl_basic_map_move_dims:
a
lways final
i
ze
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_
b
as
i
c
_
m
ap_
f
rom
_
c
o
nstraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
do
o
laege
isl
_
a
c
cess_info_compute_fl
o
w:
h
andle may ac
c
es
s
es
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Verdoola
e
g
e
isl_access_info_com
p
ute_flow:
handle mul
t
i
-
valu
e
d sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
e
ge
rem
o
ve
s
o
m
e unused varia
b
les
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdool
a
ege
r
e
n
a
m
e isl_p
w
_qpo
l
ynomial_move a
n
d add isl_pw_qp
o
ly
n
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
i
sl_ctx:
k
eep track of
user
o
p
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
i
m
prov
e
d
a
r
gument pa
r
s
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
isl_options_parse:
p
rint
help
m
essag
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdo
o
laege
add isl_bound test app
l
i
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_pw_qpol
y
n
omial
_
bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doola
e
ge
a
d
d
is
l
_pw_qpoly
n
omial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
ru
d
imentary is
l
_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n V
e
rdoolaege
isl_equali
t
ies
.
c:
fix
t
ypo i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add i
s
l_mat_in
s
ert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ola
e
g
e
a
dd isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rdoolaeg
e
add isl_
m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
isl_mat_l
i
n_to_aff: fix er
r
or hand
l
i
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
isl_qpolynomial_opt_on_
d
omain: handle
e
mpty
i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_all
o
c
: fix
e
rror han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Ver
d
ool
a
ege
a
dd isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
isl_
e
qualities
.
c: fix typos i
n
comments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
add isl_pw_qpolynomial_fold
_
cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
q
p
ol
y
n
o
m
i
al_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
privately export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
add isl_set_count_up
t
o
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl_set_sca
n
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
doolaege
add isl_
s
t
r
e
am_read_
p
w_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
add
i
sl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add i
s
l_qpol
y
nomial_
f
rom_
c
o
n
stra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rd
o
olaege
add isl_basic_se
t
_
fo
r
each_
b
ound_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoo
l
a
e
ge
ad
d
isl_q
p
olynomial_
a
s_po
l
ynomial_on_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qp
o
l
y
nomial_substi
t
ute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_basic_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
i
sl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_neginft
y
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
a
dd
i
s
l_basic_s
e
t
_
dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoo
l
aege
isl_qpo
l
ynomial_fold_opt_on_
d
omain: f
i
x typo
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verd
o
ol
a
e
ge
isl_pw_*_eval: fix
h
an
d
ling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
d
oolaege
add isl_basic_se
t
_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdool
a
e
ge
expor
t
i
sl_qpolynom
i
al
_
sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
add i
s
l_q
p
ol
y
nomial_get_d
i
m
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rd
o
o
laege
isl_ma
p
_tra
n
sitive_cl
o
su
r
e: coalesce in
p
ut bef
o
re
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoola
e
ge
add map
_
le
x
_*_firs
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
i
s
l_ma
p
_lex_l
e
: use one basic set less in resu
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_s
t
ream: accept lexicog
r
ap
h
ic o
p
era
t
ors
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl_map_transiti
v
e_clo
s
ure
:
check if inp
u
t
i
s
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
add is
l
_
pri
n
ter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl_
m
ap_read
:
pars
e
p
a
rametric O
m
ega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
V
erdoolaege
isl
_
map_read: fix
typo
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
V
erdoolae
g
e
isl_convex_hul
l
.
c
: is_bound: any inequality is a boun
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
ege
i
sl_convex_hull
.
c:
add_bounds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sv
e
n Ve
r
doolaege
d
ocument isl_map
_
reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
lae
g
e
isl_stream_next_token: te
r
m
i
nat
e
st
r
ing tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ver
d
oolae
g
e
isl_map_tr
a
nsitive_closure: t
r
eat equality
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_map
_
transiti
v
e
_
closure, om
e
ga-like: only us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_tran
s
i
ti
v
e
_
c
losure: use simple hull in
o
me
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdo
o
laege
isl_
m
ap_transit
i
v
e_closure: try and
compute cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ve
r
d
oolaege
isl_map_coalesce:
allow wr
a
p
ping
i
n set
s
that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
r
doola
e
g
e
isl_map_coalesce: all
o
w
i
ng
c
utting
e
qualit
i
es in ad
j
ace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
er
d
oolaege
add some mo
r
e co
a
le
s
cing test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
S
ven V
e
r
d
oolaege
isl_basic_map_gist: be more aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
i
s
l
_str
e
am: accept strin
g
t
o
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
ge
isl_tab
_
rollbac
k
: restore rows that are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoolaege
doc: do
c
ument simple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaeg
e
doc: emph
a
s
ize that
we are d
e
aling wi
t
h integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ver
d
o
olaege
is
l
_transitive_clos
u
re
.
c:
path_
a
long_d
e
lta: only av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_tr
a
n
sit
i
ve_
c
losure: compu
t
e divs of input
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdo
o
laege
isl
_
map
_
c
ompute_divs: make sure
r
esult
is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoo
l
a
e
ge
isl_printer_print_
p
w_q
p
oly
n
omial: prope
r
ly pr
i
nt co
n
st
r
ain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_pip a
n
d isl_cat: terminat
e
isl_arg array with ISL
_
ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Ver
d
oolaege
doc:
d
ocument setting and
g
e
t
t
ing of dimen
s
i
o
n names
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
d
oc:
d
ocument
*
_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
s
l_map_convex_hull:
h
an
d
le non full-di
m
e
n
sional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoo
l
aege
isl
_
co
n
vex_hull
.
c
: modulo_affine_hull: d
r
op r
e
dund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl_convex
_
hull
.
c: c
o
nvex_
h
ul
l
_pair
:
skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Ver
d
o
olae
g
e
isl_
p
rinter_print_ba
s
ic_set: fix
up printing to s
t
ring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add
i
sl_set_neg an
d
isl
_
set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_transitiv
e
_closure
.
c: fi
x
do
c
umen
t
ation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoo
l
a
e
g
e
isl_
m
ap_coale
s
ce:
m
ake sure result still contain
s
s
et
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
Verdoolaege
isl_map_transit
i
ve
_
closu
r
e: Floyd-Warshall: properl
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdo
o
laege
i
sl_map_transitive_
c
l
o
sure: use Floyd-Warshal
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
isl_transitive_cl
o
su
r
e
.
c: extrac
t
o
ut isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_
m
ap_transi
t
ive_closu
r
e:
pro
j
e
ct out
lengt
h
on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
i
s
l
_
transit
i
ve_closure
.
c: const
r
uct_component
:
do
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
isl_
m
a
p_trans
i
tiv
e
_closure: d
o
n't add length par
a
mete
r
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
doc: fix
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
isl_set_gist: make contex
t
argument an isl_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
o
o
laeg
e
isl_map_transitive_cl
o
sure: coal
e
sce input map
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
V
e
rdoolaege
is
l
_trans
i
tive_closu
r
e
.
c: c
o
nstruct_comp
o
n
ent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
doc:
c
it
e
Omega library docume
n
tation
o
n
computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdo
o
laege
ad
d
i
s
l_stream_rea
d
_map
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoo
l
aege
isl_arg
.
h: add missing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Ver
d
oolaege
isl_basic
_
map_move_dims: normalize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
rename isl
_
map
_
m
ove to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
options_pa
r
se: only p
a
rse known
o
ptions by
defaul
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
oolaege
is
l
_map_
c
losur
e
: optionally us
e
Omega-lik
e
a
l
gorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl
_
c
lo
s
u
re: take options
commit
|
commitdiff
|
tree
next