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_transitive_closure: check if input is closed already
2010-04-28
S
v
en Verdoolaege
i
s
l_map_
t
r
an
s
iti
v
e_closure: check if
i
nput
is close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ver
d
oolaege
a
dd isl_printer_fl
u
sh
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdo
o
laege
isl_map_read: parse
p
arame
t
r
i
c Omega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
isl_m
a
p_read
:
fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
isl_con
v
ex_hull
.
c: is_bo
u
n
d
: any inequality is a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
isl_convex_
h
ull
.
c: add_bo
u
nds: propagat
e
e
r
rors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sve
n
Ver
d
oolaege
docu
m
e
nt isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl_str
e
am_next_toke
n
: terminate string token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_map_
t
ransitiv
e
_closure:
treat equali
t
y as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
erdoolaege
isl_map_
t
ransitive_closure
,
omega-lik
e
: on
l
y use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitiv
e
_clos
u
r
e
: use
simple
h
ull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_m
a
p_transitive_clo
s
u
r
e: try and
c
ompute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
rdoolaeg
e
isl_ma
p
_coal
e
sce: allow wra
p
ping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdo
o
lae
g
e
isl_
m
ap_coalesce: allowing c
u
tting e
q
u
a
lities
in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add some mo
r
e co
a
lescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_bas
i
c_
m
ap_gist: be more aggressive in removin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_
s
t
ream: accept string tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
ae
g
e
isl_tab_
r
oll
b
ack: restore rows that ar
e
no
longer m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
d
o
c
: do
c
ument
s
im
p
le hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: emphasize
t
hat w
e
are deali
n
g with integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolae
g
e
isl_transitive_c
l
o
s
u
re
.
c:
path_along_delta:
o
nly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
i
s
l_map_trans
i
tive_
c
losure: compute
d
ivs
o
f input
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_ma
p
_
co
m
pute_di
v
s: make s
u
re result is gausse
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_printer_print_pw_q
p
ol
y
nomial: properl
y
print
c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
o
olaege
isl_pip and isl_cat: terminate isl_ar
g
array with
ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
doc: docu
m
ent setting and get
t
ing of
d
i
m
e
n
sio
n
names
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verd
o
o
l
aeg
e
doc: document *_ge
t
_dim
functions
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl_m
a
p_con
v
ex_hull:
hand
l
e non full-
d
imensiona
l
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl_co
n
v
e
x_h
u
ll
.
c:
modulo
_
affine
_
hull: drop redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
isl_conve
x
_h
u
l
l
.
c: convex_hull_
p
a
i
r: sk
i
p d
i
rect
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_
p
rinter
_
print_basic_set:
f
ix up pr
i
n
t
ing
t
o string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add isl_set_neg and isl_set
_
s
um
commit
|
commitdiff
|
tree
2010-04-16
S
ven Verdoolaeg
e
isl_transiti
v
e_cl
o
sure
.
c: fix d
o
cument
a
tion o
f
construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoo
l
aege
i
s
l_map_c
o
alesce: make
sure r
e
sult
s
till contains s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven
Ver
d
oolaege
isl_ma
p
_transitive_closu
r
e: Floyd-W
a
r
shall:
p
rop
e
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aeg
e
isl_map_transitive_closure: u
s
e
Floyd-War
s
hall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
o
o
laege
isl_t
r
ansitive_closure
.
c:
extra
c
t out
isl_s
e
t
_
overlaps
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoo
l
ae
g
e
isl_
m
ap_transitive_closure: project out le
n
gth on
e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl_trans
i
tive_closure
.
c: constru
c
t_com
p
o
nent: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l
_map_trans
i
tive_closure: don'
t
add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
do
c
: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
e
rdoolae
g
e
isl
_
set_gist: make co
n
text
argument an isl_se
t
fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_map_
t
r
ansitive
_
cl
o
sure:
coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
d
oolaeg
e
isl
_
trans
i
tive_closure
.
c: construct_com
p
onent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
doc: cit
e
Ome
g
a l
i
b
rary documentation on c
o
mputation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
ad
d
i
s
l_stream_rea
d
_map
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
i
sl_arg
.
h
: add
m
issing inclu
d
e
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
i
sl_basic_map_
m
ov
e
_di
m
s
: normalize
e
q
ua
l
ities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
rena
m
e i
s
l
_
map_mo
v
e to isl_ma
p
_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
isl_optio
n
s
_pa
r
se: only parse k
n
own options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_map_closu
r
e: optionally use
O
mega-li
k
e algorithm
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_closure: take o
p
tions
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_affine_hull: han
d
le non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
is
l
_map_comp
u
te_divs
:
h
andl
e
non-obviou
s
ly
e
mpty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl_bas
i
c_set_preimage: add
e
xtra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
ool
a
ege
isl_basic_map_set_to_e
m
pty: add mis
s
i
n
g assi
g
nment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_equalitie
s
.
c
:
isl_mat_
v
a
r
i
a
b
le_compression:
c
la
r
ify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rd
o
olaege
isl_samp
l
e
.
c
: initial_basi
s
:
s
et
n
_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verdo
o
l
aege
isl_m
a
p_c
o
ale
s
ce: only use non-r
e
d
undant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdo
o
laege
isl_map_pr
i
nt:
allow
empty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_options
.
h: allow inclus
i
on fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaeg
e
isl_arg
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdool
a
ege
isl_ma
p
_transitive_closure: handle ex
i
s
tentials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_deltas: preserve dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
isl
_
map_
p
r
int: support LaTeX output f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_map_simpl
i
fy: d
o
n't remove any div definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
ae
g
e
i
s
l_map_int
e
r
sect: add s
p
ecial case
s
for e
m
pt
y
input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_trans
i
tive_closure
.
c
:
path_along_delta: shar
e
code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoo
l
aege
i
s
l_transitive_closure
.
c: path_alon
g
_delta:
t
r
y an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n
V
e
rdoo
l
aege
exp
o
r
t
i
s
l
_qpo
l
y
n
omial_
m
ov
e
_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
ege
ad
d
i
s
l_qpolynomial_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_pw_
q
pol
y
n
o
mial_fold_get
_
dim
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolaege
add
some qpolynomial test
f
u
n
ctions
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdoolaege
a
dd isl_pw_qpo
l
ynom
i
al_f
o
ld_{
m
a
x
,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
isl_tab_min_at_
m
ost
_
neg_one: restor
e
sample value
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_map_coalesce:
avoid reconsidering
p
airs con
s
i
dered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
V
e
rdoolaege
isl_tab
.
c:
update
d
ebugging ai
d
check_t
a
ble to pr
e
sence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
dool
a
ege
isl_
t
ab_re
l
ax:
m
a
k
e sure
n
o
n
o
n-negative ro
w
s get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoola
e
ge
isl_
t
ab_pip
.
c: alw
a
ys
s
et r
o
w
si
g
n of found ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Ver
d
oolaege
i
sl_printer
_
p
rint_ba
s
ic_{
s
et,m
a
p}: add closi
n
g
"}
"
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
exp
o
r
t isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aege
add isl_set_reces
s
ion_c
o
n
e
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Ve
r
doo
l
aege
add i
s
l_set_
d
im_is_bo
u
nde
d
commit
|
commitdiff
|
tree
2010-04-01
Sven
Ve
r
d
ool
a
ege
isl_m
a
p_tr
a
ns
i
tive_clos
u
re: br
e
a
k early if inp
u
t map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdool
a
ege
isl_m
a
p
_tra
n
sitive_closure: coalesce after e
a
ch step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
exp
o
r
t is
l
_p
w
_
q
polynomi
a
l_
c
oal
e
s
ce
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoola
e
ge
isl_tab
.
c: unrelax: rest
o
re row if varia
b
l
e
is n
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: cu
t
_to_h
y
pe
r
plane:
a
dd ex
t
ra s
a
nit
y
check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
la
e
ge
add isl
_
pw_qpolynomial
_
fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
ae
g
e
add isl_p
w
_
q
polynomial_spl
i
t_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
aeg
e
isl_q
p
olynomial_max: fix detection of
inactive
variables
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
do
c
:
fix tra
n
si
t
ive clos
u
re ex
a
mpl
e
commit
|
commitdiff
|
tree
2010-03-23
S
v
en
Verdoolae
g
e
isl_con
v
e
x_hull
.
c
: valid_direction: properly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_con
v
e
x
_
hull
.
c: simplify
c
ompu
t
ati
o
n of i
n
itial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
exp
o
rt is
l
_pw_
q
polynom
i
al_
i
s_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
d
o
o
l
aeg
e
a
dd isl_
p
w_qpo
l
y
n
o
mial_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n V
e
r
d
o
o
l
a
ege
add isl_int_get
_
d
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoola
e
ge
add i
s
l_pw_qpolynomia
l
_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
a
e
ge
add isl_pw_qpolynom
i
al_f
i
x_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolaege
add is
l
_pw_qp
o
lynomial_add_dims
commit
|
commitdiff
|
tree
next