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
Sven Verdoolaege
isl
_
map
_
trans
i
tive_closure: coa
l
esce
i
np
u
t before
chec
k
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
e
r
do
o
laege
is
l
_map_lex
_
le: u
s
e one
b
asic
set less in r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
erdoolaege
isl_
s
trea
m
:
a
ccept lexicographic ope
r
ators
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
e
rdoolaege
i
s
l_map_tr
a
nsiti
v
e_
c
losure: check
if input is
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
ad
d
isl
_
printer_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_m
a
p_re
a
d: pa
r
se par
a
metri
c
Omega i
n
put
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_m
a
p_rea
d
: fix typo
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ve
r
do
o
laege
isl_conv
e
x_
h
ull
.
c: is_boun
d
: any inequality is a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
i
sl_
c
onvex_hull
.
c: ad
d
_bounds:
p
ropa
g
ate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sve
n
Verd
o
olaege
docu
m
ent isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
isl_
s
tream_next_token: terminate strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl
_
ma
p
_
transitive_cl
o
sure: treat equality
a
s pa
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoola
e
ge
isl_m
a
p_transitive_closure, om
e
ga-
l
i
k
e: only u
s
e ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_transit
i
ve_clo
s
ure: use simple hul
l
i
n omeg
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
r
d
ool
a
ege
isl_map_transitive_closure: try and co
m
p
u
te closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoo
l
ae
g
e
isl_map_
c
o
a
lesce: allow
wrapp
i
ng
i
n sets th
a
t sti
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdo
o
laege
isl_map_coalesce: a
l
l
owing
cut
t
ing equali
t
ies in a
d
jacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doo
l
aege
add s
o
me mo
r
e coale
s
cing t
e
st cases
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
e
r
doolaege
isl_basic
_
map_gist:
b
e more aggr
e
s
s
ive in remov
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_s
t
ream:
ac
c
ept string to
k
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
V
erdoolaege
i
s
l
_
tab_rol
l
b
a
ck: resto
r
e
rows
t
hat are no l
o
nger marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
d
oc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
d
o
c: emphasize
t
hat we are dealing wit
h
intege
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
isl_transi
t
ive_
c
losure
.
c: pa
t
h_along_delta: only
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_trans
i
tive_c
l
o
su
r
e: c
o
mpute di
v
s of i
n
pu
t
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
r
d
oolaeg
e
isl_map_co
m
pute_d
i
vs:
m
ake sure result i
s
gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_printer_print
_
pw_qpolynomi
a
l
:
properly print cons
t
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
s
l_pip an
d
isl_cat: term
i
n
a
t
e
isl_arg array with I
S
L
_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
doc:
docu
m
ent
setting and getti
n
g
o
f dimen
s
ion names
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
do
o
laege
d
oc: d
o
cument
*
_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doola
e
ge
i
sl_map_conv
e
x_hull: ha
n
d
l
e n
o
n full-dimensional pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl
_
convex
_
hull
.
c: m
o
dulo_affine_hull: drop red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Verdoolaege
isl_convex_hull
.
c
: convex_hull_pair: ski
p
dire
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
Verdool
a
ege
isl_printer_p
r
int_bas
i
c_
s
et:
fix up print
i
n
g
to st
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
Verdoolae
g
e
add isl_set_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
ven
V
erdoolaeg
e
isl_
t
ransitive_cl
o
sure
.
c: fix documentation of construc
t
_
c
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl_map
_
coalesce: make
sure r
e
sult still contain
s
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Ve
r
d
oolaege
isl_
m
ap_tra
n
s
itive
_
cl
o
s
u
r
e: Floyd
-
W
a
rshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolae
g
e
isl_map_tr
a
nsit
i
v
e_
c
losure: use Fl
o
yd-Warshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_tr
a
nsit
i
ve_closure
.
c: extract o
u
t isl_s
e
t_overlap
s
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_
m
ap_tr
a
nsit
i
ve
_
closur
e
:
projec
t
out
l
ength on ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
is
l
_transitive_c
l
osur
e
.
c
:
constr
u
ct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdo
o
laeg
e
isl
_
map_t
r
ans
i
tive_closure: don't add
l
engt
h
par
a
mete
r
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven
Ve
r
doolaege
is
l
_set_gi
s
t
:
m
ake
c
ontext argument
an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
i
s
l
_map_tran
s
itive_closure: coale
s
ce input
m
ap
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
e
r
doolaege
isl_tr
a
n
sitive_closure
.
c: construct_
c
omponent
:
al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolaege
doc: ci
t
e Omega library documentation on computatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven V
e
rdoolaege
a
d
d i
s
l_stream
_
read_m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaeg
e
isl_arg
.
h: a
d
d mis
s
ing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
ge
isl
_
basic_m
a
p_move_dims:
normalize equalities
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdoolaege
rename isl_map_mo
v
e to
i
sl_map_
m
ove
_
dims
commit
|
commitdiff
|
tree
2010-04-10
S
ven
V
erd
o
olaege
isl_options_parse:
o
nl
y
parse
k
no
w
n
opt
i
o
ns by default
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
isl_m
a
p
_closure: optionally
u
se Omega
-
l
ike
a
lgor
i
th
m
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verd
o
olae
g
e
is
l
_cl
o
sur
e
: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
g
e
isl_map_affi
n
e_hu
l
l: handle non-obviously
empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl
_
map_compute_divs: han
d
le non-ob
v
iou
s
ly empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
isl_b
a
sic_set_pr
e
i
mage: a
d
d extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Ve
r
dool
a
ege
isl_basic_map_set_to_empty: add
m
issing assi
g
nment
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdo
o
laege
isl_equalitie
s
.
c: isl_ma
t
_variable_compression:
c
l
arify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doo
l
aege
isl_sam
p
le
.
c: in
i
t
i
a
l
_basis: se
t
n_unbounded and n_z
e
ro
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdoolaege
isl_map_coalesce: on
l
y use n
o
n
-
r
edundant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoolaege
isl
_
ma
p
_pri
n
t:
allow empty
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verd
o
olaege
isl_opt
i
ons
.
h: allo
w
inclusion
f
ro
m
C++
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Ver
d
oolaege
isl_arg
.
h: allow inclusion from C
+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
i
s
l_map_transi
t
iv
e
_clo
s
u
r
e: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ver
d
oolaege
is
l
_
m
ap
_
deltas
:
preserve dime
n
sion
names
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
isl_map_print: support LaTeX output format
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
Verdoolaege
i
sl_m
a
p_simplify:
don't remove any div definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rdoolaege
isl_map_i
n
tersect: a
d
d
special case
s
for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ve
r
d
oolaege
isl_transitive_c
l
osure
.
c: path_along_d
e
lta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_tr
a
nsitive_closu
r
e
.
c: p
a
th_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven
Ve
r
doolaege
ex
p
ort isl_qp
o
lyno
m
ial_mov
e
_d
i
ms
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
e
r
doola
e
ge
add isl_qpoly
n
omial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolaege
add isl_p
w
_qpolynomial_fold
_
get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoola
e
ge
add some qpo
l
ynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdoolaege
add isl_pw
_
qpolynomial_fo
l
d_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
ven
V
er
d
oo
l
aege
isl_
t
ab
_
m
in_at_most_neg_one: r
e
store
sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ve
n
Verdoolaege
isl_map_coalesce: avoid recons
i
dering pai
r
s c
o
n
sidered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
s
l_ta
b
.
c:
update
d
ebugging aid
che
c
k_table to presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolae
g
e
isl_tab_relax:
m
ake sure n
o
non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
V
e
r
doolaege
i
sl_tab_pi
p
.
c:
a
lways s
e
t row s
i
gn of found
row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_printer_print_basic_{set,map}: add clos
i
ng "}
"
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdo
o
laege
e
xpo
r
t
isl_set_spli
t
_dims
commit
|
commitdiff
|
tree
2010-04-01
S
v
en V
e
rdo
o
laege
ad
d
isl_se
t
_recess
i
on_cone
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
add
isl_set_dim_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_transitive_closure: break early if input
map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
is
l
_map_t
r
ansitive_closure
:
coalesce after eac
h
step
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
e
x
p
ort isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_
t
ab
.
c: unrelax: re
s
tore row
if va
r
iable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
ge
isl_
t
ab
.
c
:
c
u
t_to_hyperplane: add e
x
tra sa
n
ity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
a
dd isl_pw_qpo
l
yn
o
mi
a
l_
f
old_size
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
Verdoo
l
aege
add isl
_
p
w_qpolyn
o
m
i
a
l_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
isl_
q
polynomial_max: fix detection of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n V
e
rdoolaege
do
c
: fix transitive
c
losure ex
a
mple
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoo
l
aege
isl_co
n
vex_hull
.
c: valid_direc
t
ion:
properly nor
m
alize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Ve
r
d
o
o
laege
i
s
l_convex_hull
.
c: simplify
c
omput
a
tion of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoo
l
aege
e
x
p
ort
i
sl_
p
w_qpolynomi
a
l_is
_
zero
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaeg
e
add isl_p
w
_qpolynom
i
a
l
_
fold
_
dim
commit
|
commitdiff
|
tree
next