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_map_is_single_valued
2010-06-04
S
v
en V
e
rdoolaege
add isl_ma
p
_
i
s_si
n
gle_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdo
o
laege
isl
_
basic
_
map
_
foreach_constraint: mak
e
sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_copy: mark dupl
i
c
a
ted copy
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_ba
s
ic_set
_
l
ift: fin
a
liz
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoo
l
a
e
ge
isl_ba
s
ic_
m
ap_move_dims: alway
s
fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdo
o
laege
isl_basic_map_from_constraint: fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
i
sl_access_info_comput
e
_f
l
ow: hand
l
e may
a
ccesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Verdoolaege
isl_
a
ccess_info_co
m
p
ute_
f
lo
w
: handle multi-val
u
ed sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
remove
some u
n
used
v
aria
b
les
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl_pw_qp
o
lynomial_move a
n
d
a
d
d isl_p
w
_qpolyn
o
m
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
ool
a
ege
isl_ctx:
keep track of use
r
opti
o
ns
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ve
r
doo
l
a
e
ge
im
p
rov
e
d
a
r
g
ument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
i
s
l_options_par
s
e
: pr
i
n
t help mes
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ad
d
isl_bou
n
d
te
s
t applica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
add is
l
_pw_qpo
l
ynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
a
dd isl_pw
_
qpolyn
o
mial_fol
d
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolaege
add
r
u
dimen
t
ar
y
i
s
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_equalities
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
add isl_mat_inse
r
t_rows
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdool
a
e
ge
ad
d
isl_
m
at_norm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_diag
o
nal
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laege
isl_mat_lin
_
to_aff
:
fix error
h
a
n
dli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
isl_qpolynomial_opt_on_domain:
handle e
m
pty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_name
_
alloc: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Ve
r
doo
l
a
e
g
e
add isl_di
m
_offse
t
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaeg
e
i
sl_equa
l
i
ties
.
c: fix typos
i
n comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
add isl_pw
_
qpo
l
ynomial_f
o
ld_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_q
p
olynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
privately export isl_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add
isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolae
g
e
add
isl_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
i
s
l_
s
tr
e
am_re
a
d_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl
_
qp
o
ly
n
omia
l
_
f
r
om_te
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
laege
a
d
d
is
l
_qpolynomial_
f
rom_con
s
trai
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_basic_set
_
for
e
ach_b
o
und_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qp
o
lynomial_as_polynomia
l
_
o
n_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_qpo
l
y
nomial_substitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_se
t
_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
erdoolaege
isl_
c
tx: a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomia
l
_
n
e
gi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
V
erdoolaege
add isl_b
a
sic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
e
rd
o
olaege
isl_qp
o
lynomial
_
f
o
l
d
_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
d
o
olaege
isl_p
w
_*
_
ev
a
l: fix ha
n
dling of
e
mpty inpu
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
ven
Verdoolaege
exp
o
rt isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
g
e
add isl
_
qpo
l
yno
m
ial_get_di
m
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verd
o
olaeg
e
isl
_
map_tran
s
i
tive_closure:
coalesce in
p
ut before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oolaege
a
d
d
m
a
p
_lex_
*
_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en
V
erdo
o
laege
is
l
_map
_
l
e
x_le: us
e
o
ne bas
i
c set less
in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_strea
m
: accept
l
exicographic opera
t
ors
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaeg
e
isl_map_tra
n
sitive_clo
s
u
r
e: che
c
k if input is clo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Ve
r
doolaege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_read: parse pa
r
amet
r
ic Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
ege
isl_map
_
read: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
ool
a
ege
i
s
l_conve
x
_hull
.
c:
is_bound:
any inequality is a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl_convex_h
u
ll
.
c
: add
_
bounds: propa
g
ate e
r
rors fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
d
o
cument isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
isl_stream_next_token
:
terminate s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verd
o
o
l
aege
isl_map_t
r
ansitive_closure: treat equal
i
t
y as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_ma
p
_transitive
_
c
l
osur
e
, omega-like:
only
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
r
dool
a
ege
isl
_
map_trans
i
tive_closure:
use simple hul
l
in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p
_
transitiv
e
_closure:
try and comp
u
te closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
i
s
l
_
map_coalesce: allow
w
rapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
isl_map_co
a
lesc
e
: all
o
wing c
u
tting equalities in adj
a
cent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add some mo
r
e coalescing test cas
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_bas
i
c_map_gist: b
e
more aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_stream
:
a
cc
e
p
t
string tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_ta
b
_
rollback: restore rows t
h
a
t are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoola
e
ge
doc: doc
u
me
n
t
simple
hull
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolae
g
e
doc: emphasize
t
h
at
w
e
are deal
i
ng with
integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
isl
_
transitive_c
l
o
s
ure
.
c:
p
ath_a
l
ong_delta: only av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
isl_map
_
transi
t
iv
e
_
closure: compute divs o
f
input
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolae
g
e
isl_map
_
co
m
p
u
t
e
_
divs: make sure
r
esult
i
s gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olae
g
e
isl_print
e
r
_print_pw_qpo
l
yno
m
ial: properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
o
l
aege
isl_
p
i
p and
is
l
_cat: te
r
minate
i
s
l
_arg arr
a
y
with ISL_A
R
G
_
END
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Ver
d
oola
e
ge
d
o
c: docu
m
e
nt setting and gett
i
ng o
f
dimen
s
i
o
n names
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
do
c
: docum
e
nt *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_map_convex_
h
ull: handle non
full-di
m
ensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aege
isl_convex_hull
.
c: modulo_affine_hull
:
drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
s
l_
c
o
nv
e
x_hull
.
c: c
o
nvex_
h
ull_pair: skip direc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
i
s
l_printe
r
_
p
rint_basic_set
:
fix
up printing to str
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdo
o
laege
a
d
d is
l
_set_neg and
isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sv
e
n Verdoo
l
a
e
g
e
isl_transitive
_
c
l
osure
.
c: fi
x
documentation
o
f construct_
c
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_map_
c
oal
e
sc
e
: m
a
ke sure result
still
contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Ver
d
oolae
g
e
isl_ma
p
_transitive_c
l
o
sure: F
l
oyd-Warshall: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
i
sl_map
_
tra
n
s
itive
_
closure: u
s
e
F
loyd
-
Wars
h
al
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl
_
transit
i
ve_closure
.
c
:
e
xtract out is
l
_set_o
v
erla
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
V
e
rdoolaeg
e
isl_map_transitive_closu
r
e: pro
j
ect
o
ut length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_transitiv
e
_closure
.
c
: constr
u
ct_compone
n
t: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdo
o
laege
isl_map_transitiv
e
_closu
r
e: don't add lengt
h
paramete
r
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdo
o
laege
do
c
: fix typos
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
V
er
d
oolaege
isl_set_gist: make
c
ontext argument an
i
sl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl
_
ma
p
_transitive_closure
:
c
oales
c
e
i
np
u
t
m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
o
l
a
ege
isl_tr
a
nsiti
v
e_closure
.
c: const
r
uct_co
m
ponent:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdool
a
ege
doc: cite
O
mega
l
ibra
r
y doc
u
ment
a
tion on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
Verdoolaege
add
i
sl_stream_read_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_arg
.
h: add missing i
n
clude
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n
Ver
d
oolaeg
e
isl_basic_map_move_
d
ims: normalize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoolaege
rename isl_map_mov
e
to isl
_
map_move_dims
commit
|
commitdiff
|
tree
next