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_transitive_closure.c: anonymize input map during incremental computation
2010-05-31
S
ven Verdoolaege
isl_access_info_compute_flow: handle multi
-
valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remo
v
e some un
u
sed variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
fi
x
some icc warn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdo
o
laege
r
e
name
i
s
l_pw
_
qpolynomial_mov
e
a
n
d add isl_pw
_
qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven
V
erdoolaege
i
sl_ctx: k
e
ep t
r
a
c
k
of
u
ser options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
o
o
l
a
eg
e
imp
r
oved a
r
gument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
o
o
l
aege
i
s
l_opti
o
ns_pars
e
: print help
m
essage
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
la
e
ge
add isl_bound test a
p
plicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
ge
add i
s
l_pw_
q
p
o
lynomial_bound
_
ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
add isl_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
aege
add
r
u
diment
a
ry isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olae
g
e
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
isl_equalit
i
es
.
c
:
f
i
x
ty
p
o in
c
om
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_mat_insert_r
o
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
mat_
n
o
rmalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_ma
t
_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
isl
_
mat_lin_to_
a
ff: fix
e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
isl_qpo
l
ynomial_opt_on_domain: handle empt
y
inpu
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erd
o
ol
a
e
g
e
isl_name_all
o
c: fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoola
e
g
e
add
i
s
l_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
i
s
l
_eq
u
alities
.
c: fix t
y
pos
in comments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add
is
l
_pw_qpol
y
n
o
m
ial_
f
o
l
d_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add is
l
_qpolyn
o
mial_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
aege
priva
t
ely expor
t
isl_se
t
_is_bo
u
nd
e
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
i
sl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
ad
d
isl_
s
et_
s
can
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
add isl_stream_rea
d
_pw_qpo
l
y
nomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verd
o
olaege
add isl_qp
o
lynomi
a
l_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_q
p
o
lynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
laege
a
d
d is
l
_bas
i
c_set_fo
r
each_bo
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaege
add isl_
q
pol
y
nomial_as_
p
ol
y
nomi
a
l_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
a
d
d isl_
q
polyn
o
mial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl
_
basi
c
_set
_
dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoola
e
ge
add i
s
l_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_
q
po
l
ynomial
_
fol
d
_opt_o
n
_
d
omain: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oola
e
ge
isl_pw
_
*_eval:
fix handling of empty
i
npu
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add is
l
_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
e
xp
o
r
t
i
s
l_qpolynomial
_
sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
ad
d
isl_q
p
olynomia
l
_
g
e
t
_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_map_transitive_cl
o
sure: coale
s
ce input
b
efore checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdo
o
la
e
g
e
add
m
ap_l
e
x
_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
isl_m
a
p_lex_le: use
one b
a
sic set less in
r
es
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
ege
isl_s
t
ream: accept l
e
x
ico
g
r
a
phic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
i
sl_map_transiti
v
e_closure:
c
heck i
f
input
is
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
a
dd isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoo
l
aege
isl_map_read: parse parametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
a
e
ge
i
s
l
_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolae
g
e
i
s
l_
c
on
v
ex_hu
l
l
.
c: is_bound: any
i
ne
q
ualit
y
is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdo
o
l
a
ege
isl_convex_hu
l
l
.
c
: add_b
o
u
nds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
document
isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
ae
g
e
i
s
l
_
stream_
n
e
x
t
_
t
oken
:
termi
n
ate st
r
ing t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verd
o
olaege
isl_map_transitive_closure: t
r
eat equality
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_map_transi
t
ive_closure, om
e
g
a
-
l
ike:
only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
isl
_
map_transitive_closure: use simp
l
e
h
ull in ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_transitive_clo
s
ure: tr
y
and
c
om
p
ut
e
cl
o
su
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoolaeg
e
isl_map_co
a
les
c
e: allow
wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
i
s
l
_ma
p
_coalesce: allowing
cutting equ
a
lities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add som
e
more coalesc
i
ng
t
es
t
cases
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_b
a
sic_map_gist: be more agg
r
essive
i
n
r
e
m
oving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
ge
isl_stream: acc
e
pt string t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolae
g
e
isl
_
tab_rollba
c
k:
r
e
s
tor
e
ro
w
s that are no lo
n
ger marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdo
o
laege
doc:
docu
m
ent
s
imple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
rdoolaege
doc:
e
m
p
hasize that
we are dealing
w
ith integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
l
_transitive_c
l
osure
.
c:
path_along_delta
:
only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoola
e
ge
isl_map_transitive_clos
u
re: compute divs o
f
inpu
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map
_
compute_di
v
s: make sure result
is gau
s
se
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
isl_pri
n
ter
_
print_pw
_
qpolynomial: properl
y
p
r
in
t
c
onstrai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
is
l
_pip an
d
isl
_
cat: terminate isl_arg a
r
ray with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoo
l
aege
doc: docu
m
e
n
t s
e
t
t
ing and getting of dimension nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aege
doc: docum
e
nt *_get_
d
i
m fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_map_convex_
h
ull: handle non full-
d
imensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c:
m
odu
l
o_
a
ffine_hull: drop
re
d
undan
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolae
g
e
isl_convex
_
hull
.
c
: convex_
h
ull_pair: skip dir
e
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verdoolaeg
e
isl_printer
_
print
_
basic_se
t
: fix up p
r
inting
to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
doo
l
aege
add isl_set
_
n
e
g
a
nd isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven V
e
rdoolaege
isl_transitiv
e
_closure
.
c
: fix documentation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_
m
ap_co
a
lesc
e
: make s
u
re res
u
l
t
still cont
a
ins set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
g
e
isl_map_tra
n
sitive_
c
losure: Floyd
-
Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verd
o
olaege
isl_
m
ap_trans
i
tive_clos
u
r
e
: use Floyd-W
a
rshall on d
i
sjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Ver
d
oolaege
i
s
l_transit
i
ve_closure
.
c: extract out
i
s
l_se
t
_overl
a
ps
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdool
a
ege
isl_map
_
transitive_c
l
osu
r
e: pr
o
jec
t
out
l
e
ngth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_
t
ransitive_closure
.
c
:
c
o
n
struct
_
compo
n
ent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
isl_
m
ap_t
r
a
n
sitive
_
clo
s
ure: d
o
n't
a
dd le
n
gth parame
t
er
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolae
g
e
doc: fix ty
p
os
commit
|
commitdiff
|
tree
2010-04-13
S
ve
n
Verdoolaege
isl_set_gis
t
: make conte
x
t arg
u
m
ent an isl
_
set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdo
o
laege
isl_map_transitive_clo
s
ure: coale
s
ce
i
nput map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
isl_tr
a
n
sitive_closure
.
c: construct_component:
always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
ool
a
ege
d
o
c: cite Omega li
b
rary docum
e
nta
t
ion on c
o
mputati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
a
dd
i
sl_stream_
r
ead
_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verd
o
olaege
is
l
_arg
.
h: add
m
issing inclu
d
e
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoolae
g
e
i
s
l
_
basic_map_move_dims
:
no
r
m
alize e
q
uali
t
i
es
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
r
e
n
ame is
l
_
map_
m
ove to isl_
m
ap_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
sl_options_parse: only p
a
rse k
n
own options by default
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
V
erdo
o
l
aege
i
sl_map_closure
:
optionally use Om
e
ga-
l
ike
a
lgori
t
hm
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaeg
e
i
s
l
_
closur
e
: take opti
o
ns
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
isl_map
_
affine_hull:
han
d
le non-obviously
e
mpty i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l_map_comp
u
te_divs: handl
e
non-obv
i
ousl
y
em
p
ty i
n
p
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl_b
a
sic_set_pr
e
i
m
age:
a
dd ex
t
ra sanity check
commit
|
commitdiff
|
tree
next