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, omega-like: only use ?-closure if result is exact
2010-04-23
Sven
V
erdoolaege
isl_map_
t
ra
n
s
itive_c
l
osure, omega-like:
only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoola
e
ge
is
l
_map_trans
i
tive_closure: use simple
h
ull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erd
o
o
laege
isl_map_transitive_closu
r
e: try
and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Verdoola
e
g
e
isl_map_co
a
le
s
ce: allow wrapping in sets th
a
t stic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p
_coalesce: allowing cutt
i
n
g
equaliti
e
s in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ve
r
doolaege
add some
more coalescing
t
est cas
e
s
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_basic_map_gist: be more aggressive in
remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_str
e
am: a
c
cept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaeg
e
isl_tab_rollback: resto
r
e rows that are no
l
onge
r
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
doc: doc
u
ment simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erd
o
o
laege
doc: emphas
i
ze that we
a
re de
a
ling with intege
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
is
l
_tr
a
nsi
t
i
ve
_
clos
u
re
.
c:
path_along_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl
_
m
ap_transit
i
ve_clo
s
ure: compute
divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
isl_map
_
compute_div
s
:
m
a
k
e sure res
u
lt
i
s g
a
ussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
lae
g
e
i
s
l_
p
rinte
r
_print_pw
_
q
p
olyn
o
m
i
a
l
: p
r
operl
y
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_p
i
p and isl_cat: terminate isl_arg array with IS
L
_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
d
oc: doc
u
ment setting and getting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
l
a
ege
d
oc: document *_get_dim functio
n
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl
_
map_convex_hull: h
a
ndle non full-dimens
i
ona
l
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hul
l
.
c: mo
d
ul
o
_
a
ffine_h
u
ll: drop
redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoola
e
ge
isl_conve
x
_hu
l
l
.
c: conv
e
x_
h
ull_pair: skip
d
i
re
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verdoolaege
isl_pri
n
ter
_
p
r
in
t
_basic_set: fix
u
p prin
t
i
ng to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
a
d
d
i
sl_
s
et_
n
e
g and i
s
l_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Ver
d
oolaege
isl_transitive_clos
u
r
e
.
c: fix documentatio
n
of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
i
s
l_map_coalesce:
m
a
ke sure resul
t
still
conta
i
ns set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l
_
map_transitiv
e
_closu
r
e: Floy
d
-Warshall: p
r
o
perly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_ma
p
_transi
t
ive_closure: use Floyd-War
s
h
all on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl
_
transiti
v
e
_closur
e
.
c: extract out isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
o
l
a
ege
isl_ma
p
_transitive_cl
o
sure: project
o
u
t
le
n
gth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
V
e
rdoolaege
i
sl_trans
i
tive_closu
r
e
.
c: construct
_
compone
n
t: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
r
doolaege
isl
_
map_transit
i
ve_closure: don't a
d
d length par
a
mete
r
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ve
r
d
ool
a
ege
doc:
f
i
x typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
lae
g
e
isl_set_g
i
s
t
:
make contex
t
arg
u
m
ent an is
l
_set f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
i
sl_map_
t
ransitive_closure: coalesce
input
map
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdool
a
e
ge
isl_transitive_closure
.
c: co
n
str
u
c
t_component:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
e
g
e
doc: c
i
te O
m
ega libra
r
y document
a
tion
on
computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
a
dd isl_stream_read_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_arg
.
h
:
add missing in
c
l
u
de
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verd
o
olaege
is
l
_basic
_
map_move_dims
:
normalize e
q
ua
l
iti
e
s
commit
|
commitdiff
|
tree
2010-04-11
S
v
en V
e
r
d
o
o
laege
rename is
l
_map_move to i
s
l
_
map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_opt
i
ons_parse: o
n
ly parse k
n
own
o
ptio
n
s by default
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Ver
d
oolaege
i
s
l_map_clos
u
re: optionally use O
m
ega-like alg
o
r
ithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
ae
g
e
isl_closure
:
take optio
n
s
commit
|
commitdiff
|
tree
2010-04-10
S
ven Ve
r
doolaege
isl_map_affine_hull:
h
andle no
n
-ob
v
iously emp
t
y input
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl_map_compute_di
v
s:
h
a
ndle non
-
o
bviously empty
in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolae
g
e
i
sl_b
a
sic
_
s
e
t_preimage
:
add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaeg
e
isl_b
a
sic_m
a
p_se
t
_to_e
m
p
ty:
ad
d
missing assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l
_
equali
t
i
e
s
.
c
:
isl_mat_variable_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_sampl
e
.
c: initial_bas
i
s:
s
et n
_
unbou
n
ded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoolaege
isl_map_coalesce
:
o
nly use non-red
u
ndan
t
constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_map_print:
a
llow emp
t
y constraints
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_options
.
h: allow inclusion
from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_arg
.
h: allow
i
nclusion f
r
om C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
i
sl_map_transi
t
ive_c
l
osure: handl
e
exist
e
nt
i
als
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
isl_map_de
l
tas: pre
s
e
r
ve dimens
i
on nam
e
s
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl
_
m
ap_p
r
int:
s
upp
o
rt LaT
e
X
o
utp
u
t format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
eg
e
isl_m
a
p_simpli
f
y: don't re
m
ove any div de
f
init
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
i
sl_map
_
intersect
:
add spe
c
ial cases for e
m
pty i
n
put
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
isl
_
t
ransitive_closure
.
c:
path_along_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
dool
a
ege
is
l
_transitive_closu
r
e
.
c
: path_alo
n
g
_
delta: tr
y
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erd
o
olaege
exp
o
r
t
i
sl_qpoly
n
omial_move
_
d
i
ms
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoola
e
ge
a
dd is
l
_qpolynomial_get
_
ctx
commit
|
commitdiff
|
tree
2010-04-03
S
ve
n
V
e
rdoolaege
add isl_pw_qpolynomial
_
f
o
ld_get_dim
commit
|
commitdiff
|
tree
2010-04-03
S
v
en V
e
rdo
o
laeg
e
ad
d
some qpoly
n
omial test fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoolaege
ad
d
isl
_
pw_qpolynomial_fol
d
_{max,min
}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoola
e
ge
isl_tab_
m
i
n
_
at_most_
n
e
g_one
:
restore sam
p
le v
a
l
ue of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
isl_map_coalesce: avoid r
e
c
o
nside
r
in
g
pairs
cons
i
dered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaeg
e
isl_tab
.
c: update debugging aid check_table
t
o presenc
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Ve
r
doolae
g
e
isl_tab_
r
ela
x
: make su
r
e no non-nega
t
ive rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaege
i
sl_tab_pip
.
c:
a
lways set r
o
w
sign of fou
n
d ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_printer_print_basic_{set,map}:
a
dd closing
"}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
expor
t
is
l
_
set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
a
d
d isl_set_reces
s
ion_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add
i
sl_set_dim_
i
s_bounded
commit
|
commitdiff
|
tree
2010-04-01
S
v
en
Verdoolaege
is
l
_map_tra
n
s
i
tive_c
l
os
u
re: b
r
ea
k
ear
l
y
if
input m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
is
l
_map_
t
ransitive_closure: coal
e
sce after each s
t
e
p
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
r
dool
a
ege
export
isl_pw_
q
polynomial_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl
_
tab
.
c: unrelax
:
res
t
ore
r
ow i
f
variable is no
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdo
o
laege
isl_tab
.
c: cut_to_hyperplane
:
a
d
d extra sanity c
h
e
c
k
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolae
g
e
ad
d
isl_
p
w
_
qp
o
l
y
n
o
mia
l
_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
g
e
add isl_pw_qpolynomial
_
split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
isl_qpol
y
nomial_max:
f
ix detection of inactive va
r
iables
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoola
e
g
e
doc: fix
t
r
ansitive closur
e
e
x
ample
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
is
l
_convex_
h
ull
.
c:
v
alid_direction: properly
norma
l
ize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laeg
e
i
sl_convex
_
hull
.
c: si
m
plify
computa
t
ion of
in
i
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdool
a
ege
e
xp
o
rt
i
sl_pw_
q
pol
y
nomial_is
_
ze
r
o
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
e
rdoola
e
ge
add isl_pw_qpolynom
i
al_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
add isl_in
t
_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Ver
d
o
o
l
aege
ad
d
isl_pw_qpolyn
o
mial_min
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
add
isl_pw_qp
o
lynomial_f
i
x_
d
im
commit
|
commitdiff
|
tree
2010-03-23
S
ven V
e
rdoolaege
add isl_pw_q
p
o
l
ynomial
_
add_dim
s
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
export isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw_qpolynomial_f
o
l
d_
a
dd: re
m
ov
e
r
edundant quasipoly
n
o
mia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
isl_qpolynomi
a
l_alloc: take
i
ni
t
ial
s
tru
c
t
i
sl_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
a
dd is
l
_s
e
t_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdool
a
ege
isl_p
o
ly
n
omi
a
l
.
c:
separate out fold fun
c
t
i
onali
t
y
t
o
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
s
l_p
w
_
qpolyno
m
ial
_
{
fold_
,
}pri
n
t:
s
et outpu
t
format
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoolaege
improve
i
s
l
_
pw_q
p
olynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-03-20
Sven V
e
rdoolae
g
e
add isl_mat_move_cols
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
d
o
c: fix
typo
commit
|
commitdiff
|
tree
next