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_lex_le: use one basic set less in result
2010-05-01
Sven Verdo
o
laege
i
s
l
_
m
ap_lex_le
:
u
s
e one ba
s
ic set l
e
ss in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
i
s
l
_stream: accept lexicographi
c
ope
r
ators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
m
ap_transitiv
e
_closu
r
e: c
h
eck if input is
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ver
d
ool
a
e
g
e
add isl_
p
rinte
r
_
flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
m
ap
_
read: parse
p
arametr
i
c Ome
g
a
inpu
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read:
fix typo
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
V
e
rdoolaege
isl_
c
onvex_hull
.
c:
i
s_bound: a
n
y inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l
_convex_hull
.
c:
add_bounds:
p
ropagate error
s
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
doc
u
ment isl_map_revers
e
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl
_
s
t
r
e
a
m_next_to
k
en: terminate
s
t
ring tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map
_
t
ransitive_closure:
t
reat equalit
y
a
s
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map_tr
a
nsitive_closure, omega-like:
o
nly
u
se ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_tra
n
sitive_closure: use s
i
mple
hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolae
g
e
isl_map_transitive_
c
losur
e
: try and compute closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aeg
e
isl_map_coa
l
esce: a
l
low wrappi
n
g in
s
ets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map_co
a
lesce: allowing cutting
e
qualities in ad
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ve
r
doolaege
add some mo
r
e co
a
l
escing test
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_ba
s
ic
_
map_gist:
be mor
e
ag
g
r
e
ssive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdool
a
ege
is
l
_str
e
am: a
c
cept string token
s
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolae
g
e
isl_t
a
b_rollb
a
ck: restore
r
o
w
s
t
hat
a
re no long
e
r marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdo
o
laege
doc: do
c
u
m
ent
simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
doc: emphas
i
z
e
t
hat
we are dealing with integer s
e
ts
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
isl_tran
s
i
t
ive_closure
.
c:
p
a
t
h_along
_
delta: only
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_tran
s
itive_closure: com
p
ute
d
ivs of input
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoolaege
isl
_
map_
c
ompute_
d
ivs:
make sure result
is gaus
s
ed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_printer_print_pw_qpolynomial
:
properly
p
r
int
c
onstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
i
sl_p
i
p and isl_ca
t
: term
i
n
ate isl
_
a
r
g
a
r
r
ay with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
doc: doc
u
ment setting and gett
i
ng of dim
e
nsion n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
o
o
l
aege
doc: doc
u
m
e
nt *
_
get_dim f
u
nctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
i
sl_map_convex_hu
l
l:
handle non full-dimensiona
l
p
a
ir
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_co
n
v
ex_hull
.
c
:
modulo_affine_hull:
d
r
o
p red
u
nd
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verd
o
olaege
i
s
l_convex_h
u
ll
.
c:
c
onvex_hull_pair
:
ski
p
direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
i
s
l_printer_print_basic_se
t
: fix up
p
rinting to st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
e
r
doola
e
ge
add i
s
l
_se
t
_neg
a
nd isl_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven V
e
rdoolae
g
e
isl_transitiv
e
_closure
.
c
:
fix docume
n
tat
i
on o
f
con
s
truc
t
_
c
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
sl_map
_
co
a
lesce: m
a
ke sur
e
result
st
i
ll conta
i
ns set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Ve
r
do
o
laege
isl
_
m
a
p_transitive_closure:
Floyd-Warshall: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven V
e
r
doolaege
isl_map
_
transit
i
ve_clos
u
re: use Fl
o
y
d
-
W
arshall
o
n d
i
sjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verd
o
o
l
aege
isl_transitive_closure
.
c: ex
t
r
a
c
t
out
isl_set_o
v
er
l
a
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ver
d
oolaege
i
sl_map_tr
a
n
sitive_c
l
osure:
pro
j
ec
t
out l
e
ngth on e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
isl_transitive_closure
.
c
:
construct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl_m
a
p_tran
s
i
t
iv
e
_closure: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
doc: fi
x
typos
commit
|
commitdiff
|
tree
2010-04-13
S
ven V
e
rd
o
olae
g
e
isl_set_g
i
s
t
: make context ar
g
ume
n
t an isl_s
e
t for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
isl_map_tr
a
ns
i
tive_closu
r
e:
c
oalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
isl
_
transitive_clo
s
ure
.
c: constru
c
t_compo
n
ent: al
w
a
y
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
d
o
c: cite Omega l
i
brary docu
m
en
t
ation on comp
u
tation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
add is
l
_stream_
r
ead_map
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
is
l
_arg
.
h: a
d
d m
i
ssing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolae
g
e
i
sl_basic_map_move_di
m
s
: normaliz
e
equaliti
e
s
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdo
o
laege
r
e
na
m
e
isl_map_move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_options
_
parse:
only pa
r
se known options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
o
olae
g
e
isl_map_closu
r
e
:
option
a
lly use Omeg
a
-
l
ike al
g
orit
h
m
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
ol
a
ege
isl
_
closu
r
e: take
opt
i
ons
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaeg
e
isl
_
map_aff
i
ne_hull: han
d
le non-ob
v
iously empty i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
ola
e
ge
isl_map_compute_divs: h
a
ndle
non
-
o
bviously e
m
p
t
y i
n
p
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
isl_basic
_
set_
p
re
i
mage: a
d
d ext
r
a sanity check
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl
_
ba
s
ic_ma
p
_
set_to_empty: ad
d
missi
n
g ass
i
gnment
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_equalities
.
c
: isl_mat_
v
a
r
iable_com
p
res
s
ion
:
clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Ver
d
ool
a
eg
e
is
l
_sample
.
c: ini
t
ial_ba
s
is: set n_unbo
u
nde
d
and n_z
e
ro
commit
|
commitdiff
|
tree
2010-04-09
Sven Ver
d
oolaege
isl_
m
ap_coalesce: only use non-redundant
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoolaege
isl
_
map_print: allow e
m
pty constraint
s
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
olaege
isl
_
options
.
h: allo
w
i
n
c
l
usion fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoolaege
isl_ar
g
.
h
: allow in
c
lusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl_map_
t
r
ansitive_c
l
osure: handle exis
t
enti
a
ls
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl
_
map_deltas: preserv
e
di
m
ension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
i
sl
_
map_print: support
L
aTeX
o
utput f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_
s
implify: don't
remove
a
ny
div
d
efin
i
tions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_intersect:
add specia
l
cases for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
isl_transiti
v
e_
c
losure
.
c: path_along_delta: shar
e
code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_transiti
v
e
_c
l
osu
r
e
.
c: path_alon
g
_delta
:
try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
o
laeg
e
export isl_qpoly
n
o
m
ial_m
o
ve_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoolaege
add
isl_qpolynomial_get_c
t
x
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolaeg
e
add
is
l
_
pw_qpolynomial_fold_g
e
t_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
dool
a
ege
add some
q
po
l
ynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verd
o
olaege
add isl_pw_
q
polynomial
_
fold_{
m
ax,m
i
n}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaeg
e
isl_tab_mi
n
_
a
t_mo
s
t_neg_on
e
:
restore
s
am
p
le value o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
is
l
_map
_
coalesce:
a
voi
d
reconsidering p
a
irs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoo
l
aege
isl_tab
.
c
:
u
pd
a
te debug
g
i
ng aid
check_tabl
e
to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoo
l
aege
i
sl
_
tab_relax:
m
ake
sure
n
o
non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Ver
d
o
ol
a
e
ge
is
l
_tab
_
pip
.
c: alwa
y
s se
t
row sign of found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolae
g
e
i
sl_printe
r
_pr
i
nt
_
basic_{set,map}: ad
d
clo
s
i
ng "
}
"
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verd
o
o
laege
export
i
sl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
a
d
d isl_set
_
recession_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdo
o
l
aege
add is
l
_set_dim_
i
s_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_transiti
v
e_clo
s
ure: break early
if in
p
ut
m
ap
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erd
o
olaege
is
l
_map_transitive_clo
s
ure:
c
oalesce a
f
ter each step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
export isl_pw
_
qpolyno
m
ial
_
coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
i
s
l
_tab
.
c:
unrel
a
x: rest
o
r
e row if
variable is
non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolae
g
e
isl_tab
.
c
: cut_to_hyper
p
lan
e
: add ex
t
r
a
sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
add isl_pw_qpolynomial_fol
d
_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
e
ge
add isl_pw_qp
o
lynomial_s
p
lit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoola
e
g
e
isl_q
p
oly
n
omi
a
l_ma
x
: fix
d
e
tectio
n
of
inactive variable
s
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Verdoolaege
d
o
c: f
i
x tra
n
sitiv
e
clo
s
ure exam
p
le
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
s
l_convex_hull
.
c:
v
ali
d
_di
r
ection: proper
l
y norm
a
lize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
i
s
l_convex_hu
l
l
.
c: si
m
plify compu
t
at
i
on o
f
init
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
export i
s
l_pw_qpoly
n
o
mial_is_
z
ero
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaeg
e
add isl_pw
_
qpol
y
nomial_fo
l
d
_
dim
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n Ver
d
oolaege
add isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
dool
a
ege
a
d
d
isl_pw_qp
o
lyno
m
i
a
l_min
commit
|
commitdiff
|
tree
next