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
add isl_printer_flush
2010-04-28
Sven Verdo
o
l
a
ege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
isl_map_re
a
d: pa
r
se parametr
i
c Omega input
commit
|
commitdiff
|
tree
2010-04-28
S
v
en V
e
rdoolaege
i
s
l_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
i
s
l_convex_hull
.
c: is_bound: any inequality i
s
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oo
l
aege
i
sl_convex_hull
.
c: a
d
d
_
boun
d
s
: propa
g
ate
e
rrors fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Verdool
a
eg
e
document isl
_
ma
p
_rev
e
rse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
la
e
ge
isl_st
r
eam_next_toke
n
: t
e
rmi
n
ate
s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
i
s
l_ma
p
_transitive_cl
o
sure: tr
e
at equality as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
er
d
oolaege
is
l
_
m
a
p
_tra
n
siti
v
e
_
closure,
omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive_closure: use simple hull in
o
m
e
ga
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
i
sl_ma
p
_transitiv
e
_c
l
osure: tr
y
and compute
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p_co
a
lesce
:
a
l
l
ow wrapping in
s
e
ts t
h
a
t
s
tick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
i
sl_
m
ap_coalesce: allo
w
i
n
g
c
u
t
ting
e
qualit
i
es in
adj
a
cent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoola
e
g
e
add some mo
r
e coalescing test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdool
a
ege
is
l
_basic_map_g
i
s
t
:
be mo
r
e a
g
gressi
v
e
i
n
r
e
moving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
doolaege
isl_stream:
ac
c
ep
t
stri
n
g to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l
_tab_rollback: restor
e
rows that are no longer mark
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
d
ocumen
t
simple
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
do
c
: emphasize
t
ha
t
w
e are dealing
w
ith int
e
ger sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
l
a
ege
isl_transitive_closure
.
c:
pat
h
_along_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
doolae
g
e
i
s
l
_map_transitive_cl
o
sure: com
p
ute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
isl_m
a
p_
c
ompute_divs: make
sure resu
l
t i
s
gauss
e
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdool
a
e
g
e
isl_
p
rinter_print_pw_qpo
l
ynomial:
p
roperly
print
const
r
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl_pip and i
s
l_cat: terminate i
s
l_arg ar
r
ay
with
ISL
_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
lae
g
e
doc
:
docum
e
nt setting an
d
gett
i
ng
of d
i
mension n
a
m
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
d
o
olaege
doc: d
o
cu
m
ent *_get
_
dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
isl_ma
p
_convex_hull: handle non
f
u
ll-dimensional pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
isl
_
convex_hull
.
c: m
o
dulo_affin
e
_hull: drop redundan
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoola
e
g
e
isl_c
o
n
vex_hull
.
c:
convex_h
u
ll_
p
a
i
r: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoola
e
ge
isl_printe
r
_print_basic_set: fix up printing t
o
string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdoolaeg
e
add i
s
l_set_neg and isl_
s
et
_
sum
commit
|
commitdiff
|
tree
2010-04-16
Sven
V
erdoola
e
ge
i
s
l_transi
t
ive_closure
.
c: fix doc
u
me
n
tation of constr
u
ct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoola
e
ge
is
l
_map_coalesce: make sure
result still con
t
a
i
ns se
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
is
l
_
map_transitive_closure: Floyd-W
a
rshall
:
properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolae
g
e
isl_map_transitive_closure:
u
se Floy
d
-
W
a
r
s
hall on di
s
joint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdool
a
ege
isl_transitive_clos
u
r
e
.
c:
e
xtract out isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl_map_t
r
ansit
i
ve_closure: projec
t
o
ut length
o
n
e
ac
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transitive
_
closu
r
e
.
c
: construct_co
m
ponent:
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven V
e
rdoolaege
isl_map_transitive_clos
u
re: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc
:
fix
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n V
e
rdool
a
ege
isl_set_gis
t
:
m
a
k
e
conte
x
t arg
u
ment an isl
_
set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
isl_map_transit
i
ve_cl
o
su
r
e: co
a
les
c
e input map
commit
|
commitdiff
|
tree
2010-04-13
S
v
en V
e
rdool
a
ege
i
s
l_transiti
v
e_cl
o
s
u
re
.
c: co
n
struct_component: al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
doc: cit
e
Omega
library documenta
t
i
on on c
o
mputation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
add isl_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoo
l
a
e
g
e
isl
_
arg
.
h: a
d
d mis
s
i
ng include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaeg
e
isl_basic_map_move_dims: n
o
r
m
a
lize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verd
o
ola
e
ge
rename is
l
_
m
ap_move to i
s
l_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_options
_
parse:
o
nly parse known
o
ptions by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
isl_map_closure: optionally use
Omega-
l
ik
e
algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
i
sl_closure: take opti
o
ns
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
isl_ma
p
_
a
ffine_hull:
h
andle non-
o
bviously emp
t
y
i
n
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdool
a
e
g
e
isl_map_compute
_
div
s
: handle non-obviou
s
ly empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdo
o
laege
isl_ba
s
ic_set_preimage: add extra sanity
ch
e
ck
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basic_m
a
p_set_to_
e
mpty: add mis
s
in
g
assi
g
nment
commit
|
commitdiff
|
tree
2010-04-10
Sven
Ve
r
doolaege
isl_
e
qualities
.
c: isl_mat_variable_
c
ompre
s
s
io
n
: cl
a
r
i
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_sample
.
c: initial_bas
i
s: set n_unbounded a
n
d n_z
e
r
o
commit
|
commitdiff
|
tree
2010-04-09
Sven Ver
d
oolaege
isl_ma
p
_coalesce: only use non-redundant constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
isl_map_pri
n
t: all
o
w emp
t
y
con
s
traints
commit
|
commitdiff
|
tree
2010-04-09
S
v
en
Ve
r
doola
e
ge
isl_options
.
h:
a
llow
inclu
s
ion from C++
commit
|
commitdiff
|
tree
2010-04-09
S
v
e
n Verdoola
e
ge
isl_a
r
g
.
h: a
l
low inclus
i
on from C++
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isl
_
map_transi
t
ive_c
l
osu
r
e: handle exist
e
ntial
s
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ve
r
doolaege
isl_m
a
p
_deltas: preserve dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
l
aege
is
l
_map_print:
support LaTeX output forma
t
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
er
d
oolaege
isl_map_simplif
y
: don'
t
remove a
n
y div d
e
finitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erd
o
olaege
is
l
_
m
ap_intersect: add special ca
s
es for empty in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
l
_transitive_
c
losure
.
c: path_alon
g
_de
l
ta: share cod
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
isl_
t
ransitiv
e
_closure
.
c: path_along
_
d
e
lta: try
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdoo
l
aeg
e
export isl_qpolynom
i
al_
m
ove_dims
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Ver
d
oolaeg
e
add isl_qpoly
n
o
m
ial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoo
l
aeg
e
add
is
l
_p
w
_
qpo
l
ynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
V
e
rd
o
olaege
add som
e
qpolyn
o
mial test f
u
nctions
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
doolaeg
e
add isl_pw_qpolynomial_fold_{max,mi
n
}
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n V
e
r
d
oo
l
aege
i
s
l_tab_min_at_most_neg_one: rest
o
re sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
ola
e
ge
isl_map_coalesce: av
o
id reconsider
i
ng p
a
irs
consi
d
ere
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erd
o
o
l
a
ege
isl_tab
.
c: up
d
ate debugging aid ch
e
ck_
t
able
to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Ver
d
oolaege
isl_tab_re
l
a
x: mak
e
s
ure no
no
n
-negative ro
w
s get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olae
g
e
i
sl_tab_pip
.
c: alw
a
ys set row sign
o
f
found
row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Verdoolaege
is
l
_printer_p
r
i
n
t_basic_{set,map}: ad
d
closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
export
i
sl_set_spli
t
_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaeg
e
add isl_set_recessi
o
n_cone
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Verdo
o
la
e
g
e
add isl_set_dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaeg
e
isl_map_transitiv
e
_closure: break ea
r
ly if i
n
p
u
t map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n
V
erdoolae
g
e
isl_map_transitive_closure: coalesce after e
a
c
h
step
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
export
i
sl_p
w
_qpolynomial_
c
o
a
lesce
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
isl_tab
.
c
: un
r
elax: re
s
tore
row if variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
is
l
_tab
.
c: cut_to
_
hyperplane
:
a
d
d
e
xtra
sanity
c
heck
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_
p
w_q
p
ol
y
nomial
_
fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Ve
r
d
ool
a
ege
add isl_pw_
q
pol
y
no
m
ial_s
p
lit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpolyno
m
i
a
l_max:
fix detectio
n
of in
a
ctiv
e
variables
commit
|
commitdiff
|
tree
2010-03-25
S
ven V
e
rdoolaege
doc: fix
t
ransitive closure example
commit
|
commitdiff
|
tree
2010-03-23
S
ven Ve
r
doolaege
i
sl_co
n
v
e
x_hu
l
l
.
c: v
a
lid_direct
i
on: properly normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
isl
_
convex_h
u
ll
.
c:
s
implify com
p
utation of i
n
it
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdool
a
ege
export isl_pw_qpolynom
i
al_is_
z
ero
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoolaege
add i
s
l_pw_qpolynomial_
f
old
_
dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl
_
in
t
_get
_
d
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
add is
l
_pw_qpolynomia
l
_
m
in
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolae
g
e
add isl_
p
w_
q
pol
y
no
m
ial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
Verdoo
l
aege
add isl_pw_q
p
olyn
o
mial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoola
e
ge
export isl_di
m
_move
commit
|
commitdiff
|
tree
next