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_coalesce: allow wrapping in sets that stick out in different directions
2010-04-23
Sv
e
n
Verdoolaege
isl_m
a
p
_coale
s
ce: allo
w
wrapping in sets
th
a
t stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_coalesce:
a
llow
i
ng cu
t
ting equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
a
dd some more c
o
ales
c
ing test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_
b
a
sic_map_gist: b
e
mor
e
aggr
e
ssi
v
e in r
e
movin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
ege
isl
_
stream: acce
p
t
s
tr
i
n
g toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_tab
_
rollback: restore row
s
that a
r
e
no longer ma
r
ke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoo
l
a
e
ge
doc: document sim
p
l
e
hull
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaeg
e
d
oc:
e
mp
h
asize tha
t
w
e
are de
a
ling w
i
th integ
e
r sets
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ver
d
o
olaege
isl_tra
n
s
i
t
i
ve_closur
e
.
c: path_along_
d
elta
:
only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laeg
e
isl_ma
p
_transitive_clo
s
ure: comp
u
te d
i
vs of
i
npu
t
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdool
a
e
ge
i
sl_map_c
o
m
p
ute_di
v
s
: make sure resu
l
t is g
a
uss
e
d and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
i
sl_printer_pr
i
nt_pw_qpoly
n
omia
l
:
properly print constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoo
l
a
e
ge
isl_pi
p
a
n
d isl_cat: t
e
rm
i
nate isl_arg array with ISL_ARG_
E
ND
commit
|
commitdiff
|
tree
2010-04-19
S
ve
n
Ve
r
doolaege
doc: docum
e
nt setting
a
nd getting of dimension na
m
es
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoola
e
g
e
doc: document *_
g
e
t_dim fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
isl_map_convex_hull: hand
l
e
non f
u
ll
-
dimens
i
on
a
l
p
airs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
isl_convex_hull
.
c: modulo_af
f
ine_hull: d
r
o
p
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaeg
e
isl_convex
_
hull
.
c: convex_hull_pa
i
r:
skip direc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
d
o
ol
a
ege
isl_printer_print_basic_set: fix up printi
n
g to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Ver
d
oolaege
add
isl_se
t
_neg and
isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl
_
transit
i
ve_closure
.
c: fix documentation
o
f
construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_coalesce: ma
k
e sure result
st
i
l
l
c
ont
a
ins set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
i
s
l_map_tran
s
itive_clos
u
re: Floyd-Warsha
l
l: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
V
e
rdoolaege
isl_map_tra
n
sitive_clos
u
re:
u
se Floyd-Warshall on dis
j
oi
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verd
o
ol
a
ege
isl_transitive_c
l
osu
r
e
.
c: extra
c
t out isl_set_ov
e
rlaps
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdo
o
lae
g
e
i
s
l_map_transitive_cl
o
s
u
re: project out length on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
Verdool
a
e
ge
isl_transitiv
e
_cl
o
sure
.
c
: construct_
c
omponen
t
: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
i
sl
_
ma
p
_transitive_c
l
osur
e
: don't a
d
d length param
e
te
r
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdo
o
laege
doc: fi
x
typos
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
isl_s
e
t_gist: make
c
ontext argument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
isl_map_transitiv
e
_clos
u
re: coale
s
ce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
l
aege
isl_transitive_closure
.
c: construct_c
o
m
p
one
n
t
:
a
l
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
doc: cite Ome
g
a l
i
br
a
ry document
a
tion on c
o
mp
u
t
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
a
d
d isl
_
stream_read
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
o
o
laege
isl_
a
rg
.
h: add missing inclu
d
e
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
do
o
laege
isl
_
basi
c
_map_mo
v
e_dims: no
r
m
a
lize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
r
e
name
isl
_
map
_
mov
e
to isl
_
map_m
o
ve_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
l
aege
isl_options_p
a
rse:
o
nly
p
arse
known options by defa
u
l
t
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaeg
e
isl_map_c
l
osure: optionally
u
s
e Omega-like algorit
h
m
commit
|
commitdiff
|
tree
2010-04-10
S
v
en V
e
rdoolaeg
e
isl_clo
s
ure:
ta
k
e opt
i
on
s
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
doolaege
isl_map_affine_hu
l
l: hand
l
e
n
o
n-obviously empty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdo
o
laege
i
s
l_map_c
o
mpute_di
v
s
:
handle
non-o
b
viousl
y
empt
y
input
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
e
rdoola
e
ge
i
sl_basic
_
set_preimage: add
e
xtra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
i
s
l
_
b
asic_map_s
e
t_to_e
m
p
ty: add
mis
s
in
g
as
s
ignm
e
nt
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Ver
d
oolaege
isl_equalit
i
es
.
c
:
isl_mat_variable
_
c
ompr
e
ssion: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl_sample
.
c: initial_basis: set n_unbounded a
n
d n_ze
r
o
commit
|
commitdiff
|
tree
2010-04-09
Sven Ve
r
doolaege
is
l
_ma
p
_coalesce: onl
y
use n
o
n-re
d
un
d
ant cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdoolaege
i
s
l_map_print:
allow
e
m
p
ty constr
a
ints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_options
.
h
: al
l
o
w inclusion fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verdoolaege
isl_arg
.
h:
allow inclusion fro
m
C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl_map_transitive
_
closure: hand
l
e existentia
l
s
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Verdoolaege
isl_map_delt
a
s
:
pres
e
rve dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
is
l
_map_print: support L
a
T
eX
o
utput
f
ormat
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
e
r
doolae
g
e
isl
_
map_simplify: don't r
e
mo
v
e any div definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl
_
map_interse
c
t: add
s
pecial case
s
for empty i
n
put
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
isl_
t
ransitive_closure
.
c
:
path_along_delta:
share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_transiti
v
e
_
clo
s
u
re
.
c: pa
t
h_along_delta: try a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
S
ven Ver
d
oolaege
expor
t
isl_qpolynomia
l
_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoolaege
a
d
d isl_qp
o
lynomia
l
_
get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdo
o
l
a
ege
add isl_pw_
q
p
o
lynomial_fold_
g
et_d
i
m
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n Verdo
o
laege
a
d
d some qpolynomial
t
est
f
unctions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoo
l
ae
g
e
add
i
sl_pw_qpolynom
i
al_fold_{max,
m
i
n}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_tab
_
min_a
t
_m
o
st_neg_one: res
t
o
r
e sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
is
l
_ma
p
_coalesce: avoid recon
s
i
deri
n
g pai
r
s considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoolaege
i
s
l_tab
.
c:
u
pda
t
e debugging aid check_table t
o
presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolaege
isl_tab_relax: make sure
no non-
n
egative ro
w
s get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
is
l
_tab_
p
ip
.
c
: alwa
y
s set row
s
i
gn of found r
o
w t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
i
sl
_
printer_p
r
int
_
basic_{
s
et,map}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Ve
r
d
o
olaege
export is
l
_se
t
_split_di
m
s
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoo
l
aege
add isl_set_rece
s
s
ion_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
add
isl_set_dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaeg
e
isl_map_transitive_clo
s
ure: b
r
eak earl
y
if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
laege
isl_map_transitive_c
l
osure:
coalesce after each s
t
e
p
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
e
x
port i
s
l_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
o
o
laege
is
l
_ta
b
.
c: u
n
relax: restore ro
w
if variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaege
isl_tab
.
c: cut_to_hyperpl
a
ne: ad
d
extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Ve
r
d
o
olaege
ad
d
isl_pw_qpolynom
i
al_
f
o
ld_size
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
Verdoolaege
add
i
sl_pw_qpoly
n
o
mial_s
p
lit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpolynomial_max: fix detec
t
ion of inactive variab
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rd
o
o
l
aege
d
oc: fi
x
t
ran
s
i
t
i
v
e clo
s
ure
e
xample
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
i
s
l_convex_hull
.
c: v
a
lid_direction: properly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Ver
d
oolaege
is
l
_con
v
ex_hull
.
c
:
s
i
mplify comp
u
t
atio
n
of ini
t
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaege
export isl
_
pw_qpo
l
ynomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
add is
l
_pw_qpolynomial_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
add isl_int_get
_
d
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
a
d
d
isl_pw_q
p
olynomial
_
m
i
n
commit
|
commitdiff
|
tree
2010-03-23
S
ven
Ver
d
oolaege
add isl
_
pw_q
p
o
l
yn
o
mial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doola
e
ge
a
dd isl_p
w
_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verd
o
o
laege
ex
p
or
t
isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaeg
e
isl_pw_qpolynomial_fol
d
_add:
r
emove redund
a
n
t
quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verd
o
o
l
a
ege
isl_qpolyn
o
mi
a
l_alloc: take initia
l
struct isl_up
o
ly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_set_sol
v
e_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
isl_
p
olynomia
l
.
c: separate
o
ut fold f
u
nctio
n
ali
t
y
to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n
V
e
rdo
o
laege
isl
_
pw_qpolyn
o
mial_{
f
old_,}pri
n
t: set output format
commit
|
commitdiff
|
tree
2010-03-21
Sven Ver
d
o
olaege
imp
r
ove isl_pw_qpolynom
i
al_
m
ove
commit
|
commitdiff
|
tree
2010-03-20
S
v
en Verdoolaege
add isl_mat_move_cols
commit
|
commitdiff
|
tree
2010-03-19
Sven
V
e
rdoolaege
add
i
sl_p
w
_qpolynomial_drop_dims
commit
|
commitdiff
|
tree
2010-03-19
S
v
en
Verdoola
e
g
e
add is
l
_set_drop
commit
|
commitdiff
|
tree
2010-03-19
Sve
n
Verdoolaege
add is
l
_pw_qpo
l
ynomial_i
n
volves_
d
i
m
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
is
l
_stream
:
accept
"
%" token
commit
|
commitdiff
|
tree
next