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: coalesce input before checking closedness of input
2010-05-04
S
v
en Verdoolaeg
e
i
s
l_ma
p
_trans
i
tive_cl
o
sur
e
:
c
oale
s
ce
i
n
put befo
r
e che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
i
sl_map_lex
_
le: use o
n
e
basic se
t
le
s
s
in result
commit
|
commitdiff
|
tree
2010-05-01
S
v
en
Verdoolaege
isl_stre
a
m:
a
cce
p
t lexicographic
op
e
r
a
tors
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
e
r
d
oolaege
isl_map
_
transitive_closure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
eg
e
a
d
d
isl_p
r
inter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoola
e
ge
isl_map_read: parse parametric
O
mega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_rea
d
: fix
typo
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
d
ool
a
ege
isl_convex_
h
ull
.
c: is_bound: any inequality is a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
Verd
o
ola
e
ge
isl_convex_hu
l
l
.
c
:
add
_
bounds: pr
o
pagate errors
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdool
a
ege
do
c
ument
i
sl_
m
ap
_
revers
e
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
V
e
rdoolaeg
e
isl_strea
m
_next_token:
terminate stri
n
g tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_map
_
t
r
ans
i
tive_closure: treat equalit
y
as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Ve
r
doolaege
isl
_
map_tra
n
sitive_clo
s
ure
,
omega-like
:
o
n
l
y use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl_ma
p
_tran
s
itive_
c
losure: use
simple hul
l
in ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoola
e
ge
isl_
m
ap_transitive_closure: tr
y
and comp
u
te
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
e
g
e
isl
_
map_coalesce
:
allow w
r
apping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_map_
c
oa
l
esce: allowing cutting equaliti
e
s in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add
s
ome more coalescing test c
a
s
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_bas
i
c
_
m
a
p_
g
is
t
: be more aggressiv
e
i
n
remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doola
e
g
e
isl_stream: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_tab_rollback: restore rows that are no longer
mark
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
do
c
: doc
u
ment simp
l
e h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc
:
emphasize that we are dea
l
i
n
g
w
ith integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ve
r
dool
a
ege
isl_tra
n
sit
i
ve_closure
.
c:
path_alo
n
g
_delta: onl
y
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
doolaege
isl_map_transiti
v
e_closure:
c
ompute
d
iv
s
of
i
n
put
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
isl_map_compute_divs:
m
ake sur
e
result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdo
o
laege
i
s
l
_
printer
_
pri
n
t_pw_qpolynomial: prop
e
r
l
y
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n Verdoolae
g
e
i
sl_pip and isl_cat:
t
e
r
m
in
a
te is
l
_ar
g
array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
doc: d
o
cumen
t
set
t
ing
and get
t
ing of dimens
i
on names
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
V
erdoolaege
do
c
: document *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n V
e
rd
o
olaege
isl_m
a
p_co
n
vex_h
u
ll: handle non full-dimens
i
onal pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaeg
e
isl_convex_hul
l
.
c:
mod
u
l
o_
a
ffine_
h
ull: d
r
op redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
is
l
_convex
_
hull
.
c: co
n
vex_hull_pa
i
r: skip
d
irection
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verd
o
ol
a
ege
isl_printer_print_bas
i
c_set: fix u
p
prin
t
ing to st
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ver
d
ool
a
ege
add isl_set_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
v
e
n
V
erdo
o
laeg
e
isl_
t
ra
n
siti
v
e
_
closure
.
c: fix
d
o
cumenta
t
ion
of constr
u
ct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ver
d
o
olaeg
e
i
sl_map_coalesce: make
sure resu
l
t sti
l
l contai
n
s set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl
_
map_
t
ransit
i
ve_cl
o
sure: F
l
oyd-Warshal
l
: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
isl_map
_
transiti
v
e_cl
o
sure: use Floyd-Warshall on
disjo
i
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
is
l
_trans
i
tive_
c
losure
.
c:
e
x
tract out
i
sl
_
set_ov
e
r
l
aps
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_map_transi
t
i
v
e_clo
s
u
r
e
:
pro
j
ect out le
n
gth on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_transitive_clo
s
ure
.
c: constr
u
ct_compo
n
e
n
t: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
isl_map_transitive_closure:
d
on't add length pa
r
ame
t
er
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
doc: fix typo
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl
_
set_gist: make context
a
rgument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
isl_map_tra
n
s
i
tive_
c
losure: coalesce
i
npu
t
ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
isl_trans
i
tive_cl
o
sure
.
c
:
construct_component: a
l
ways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Ve
r
doolaege
d
oc: cite Omega library do
c
umenta
t
ion on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
a
d
d i
s
l_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n Ver
d
oolaege
isl_arg
.
h: add
m
is
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
i
s
l_basic_map
_
move_dims: nor
m
alize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdo
o
la
e
ge
rename isl_map_move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoola
e
g
e
isl_op
t
ions_p
a
rse: only parse
k
no
w
n opt
i
ons by
default
commit
|
commitdiff
|
tree
2010-04-10
S
ven
V
erdoolaege
isl_ma
p
_clo
s
ure:
optio
n
a
l
ly u
s
e
Omega-
l
ike algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaeg
e
isl
_
clos
u
r
e
:
ta
k
e options
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
i
s
l_
m
ap_a
f
fine_hull: handle no
n
-o
b
viousl
y
empty
i
npu
t
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_map_comp
u
te_d
i
vs:
h
andle non-obviously em
p
ty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
Verdoolaege
isl_b
a
s
ic_se
t
_pre
i
m
a
g
e: add extra
s
anity che
c
k
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
isl_basic_map_set_to_empty: add missin
g
assignment
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolae
g
e
i
s
l_equa
l
itie
s
.
c:
i
sl_mat_variable_
c
ompression:
c
la
r
i
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Ver
d
o
olaeg
e
is
l
_sample
.
c
:
initial_basis
:
set n_un
b
oun
d
ed an
d
n_ze
r
o
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verd
o
olae
g
e
i
s
l_map_c
o
alesce: only use non-redundant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
e
r
doolaege
i
s
l_map_
p
r
int:
a
llow empty co
n
stra
i
nts
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolae
g
e
isl_options
.
h:
a
l
low inclus
i
on
f
rom C
+
+
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
e
rdoolaege
isl_ar
g
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
isl_map
_
t
ransitiv
e
_closure:
handle
e
x
istential
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_deltas
:
pres
e
r
v
e dime
n
sion
names
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
r
doo
l
aege
i
s
l
_map_print:
sup
p
ort LaTeX output format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_map_sim
p
l
ify: don't remove an
y
div de
f
initions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
isl_m
a
p_intersect: add
s
pecial cas
e
s
for
empty inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
sl_tr
a
nsit
i
ve
_
closure
.
c: path_alo
n
g_
d
elta
:
share co
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_tran
s
itive_closur
e
.
c: path
_
a
long
_
delta: t
r
y and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoolaege
export isl_qpo
l
ynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoola
e
ge
add is
l
_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
S
ve
n
V
erdoolaege
add isl_pw_qpolynomi
a
l_fold_g
e
t_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
ool
a
ege
ad
d
s
o
me qpoly
n
omi
a
l tes
t
f
u
nct
i
ons
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoo
l
a
e
ge
add
i
s
l_pw_qpolynomial_fold_
{
max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_m
i
n_at_most_neg_one:
r
estore sample valu
e
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoolaeg
e
isl_
m
a
p_coalesce: avoid reconsid
e
ring pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
l
a
ege
isl_tab
.
c: update de
b
ugging aid check
_
table to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_tab_relax: make sure no non-negative rows ge
t
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_pip
.
c: alwa
y
s se
t
row sign
o
f found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
e
rdoolaege
isl_pri
n
ter_print_ba
s
ic_{set,map}
:
a
d
d closin
g
"
}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
ge
export
i
sl_set_spl
i
t_d
i
m
s
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolae
g
e
a
d
d isl_
s
et_r
e
cessio
n
_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
ool
a
ege
add isl_set_dim_i
s
_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
laege
i
sl_map_transitive
_
c
l
osure: br
e
ak early if input
map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_m
a
p_
t
r
a
nsitive_
c
losure: coales
c
e aft
e
r e
a
ch
step
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolaege
export isl_pw_qpolynomial_coalesc
e
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
V
erdoola
e
ge
isl_tab
.
c
: unrelax:
re
s
tore row if variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Ve
r
doolaege
isl_tab
.
c: c
u
t_to_hy
p
er
p
lan
e
:
a
dd ext
r
a san
i
ty ch
e
ck
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n Verdo
o
laege
add isl_pw_qpo
l
y
nomial
_
f
o
ld_size
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdo
o
l
a
ege
a
dd is
l
_pw_
q
polynomial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
i
sl_qpolynom
i
al
_
max: fix detection of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
d
o
c
: fix t
r
ansitiv
e
closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_con
v
ex_hull
.
c: vali
d
_direction: properly normal
i
ze
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl
_
con
v
ex_h
u
ll
.
c
: simplify computation of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
e
x
p
ort
i
s
l
_pw_qpo
l
ynomial_is_ze
r
o
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
lae
g
e
add isl
_
p
w_qpolynom
i
a
l_fold_dim
commit
|
commitdiff
|
tree
next