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: Floyd-Warshall: properly keep track of current group
2010-04-15
Sven Verdoolaege
isl_map
_
trans
i
t
ive
_
c
l
osure: Floy
d
-Warshall: properl
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_closu
r
e:
u
s
e
Floyd-Warshall on di
s
joi
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven V
e
r
doolaege
isl_transitive_closure
.
c: e
x
t
r
act out
i
sl_set
_
overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
ool
a
ege
isl_map_tr
a
nsitiv
e
_
closure
:
project
o
ut length on
e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transitive_
c
losure
.
c:
construct_compone
n
t: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
i
sl_map_transitive_closure: don't add
l
e
ngth parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
isl
_
set_gis
t
: make context ar
g
um
e
nt
an is
l
_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
isl_map_tr
a
n
s
itive_closure: coales
c
e input map
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoola
e
ge
isl_transitiv
e
_closure
.
c: c
o
nstruct_component:
always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
doc
:
c
it
e
Omega libr
a
r
y
documentat
i
on on co
m
putatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
a
dd isl_stream_
r
ead_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l
_arg
.
h: add missing
inc
l
ude
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
ge
i
sl_basic_map_
m
ove_dim
s
: n
o
r
mal
i
z
e equ
a
lities
commit
|
commitdiff
|
tree
2010-04-11
S
v
en V
e
r
d
o
o
laeg
e
ren
a
m
e
isl_map_move to isl_map_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-04-10
S
v
en V
e
rdoolaege
isl_op
t
ions_parse:
o
nly parse known options b
y
default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_ma
p
_cl
o
s
u
re: optionally use O
m
ega-lik
e
algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_closu
r
e
: t
a
ke options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
i
s
l
_
m
ap_affin
e
_
h
ull: handle non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
i
s
l_
m
ap_c
o
m
p
ute_div
s
:
handle non-o
b
viously
e
mpty i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl_basic_s
e
t
_
pre
i
mage:
add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verd
o
olaege
i
s
l_basic_
m
a
p
_
set_to_empty
:
add mi
s
sing assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rdo
o
laeg
e
is
l
_equali
t
ies
.
c
:
isl_mat_va
r
iable_compression: clari
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_sam
p
l
e
.
c: initial_basis: set n_
u
nbounded and n_
z
e
ro
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoolaege
isl_map_coa
l
esce:
only
u
s
e
n
on-r
e
dundant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
olaege
isl
_
map_print: a
l
low
e
mpty constraints
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoolaeg
e
isl_opti
o
ns
.
h: allow
in
c
lusion
from C++
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n
V
e
r
doo
l
aege
isl_ar
g
.
h: allo
w
inclusion fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map
_
transitive_
c
l
o
sure: han
d
l
e exis
t
entials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl_
m
ap_deltas: prese
r
ve dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdo
o
laege
isl_
m
ap_print: suppor
t
L
aTe
X
output format
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Verdoolae
g
e
is
l
_
m
ap_simplify: do
n
't remove an
y
div
d
e
f
initions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_
m
ap_intersect: add special cases f
o
r
e
m
p
ty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdool
a
ege
i
sl_transitive_clos
u
r
e
.
c: pat
h
_a
l
ong_de
l
ta:
s
hare code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoo
l
aege
isl_
t
ra
n
sit
i
ve_cl
o
sure
.
c: p
a
th_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
expo
r
t isl_
q
p
olynom
i
al_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaeg
e
add isl_qpolynomial_get_ct
x
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
add isl_
p
w_qpolynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
doolaege
add some qpolynomial test functio
n
s
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolaege
add
i
sl_pw_qpolynomial_
f
old_{max
,
mi
n
}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_min_at_most_neg_one: r
e
s
tore sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_map_coalesce: avoid recon
s
idering
p
airs con
s
idered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
ool
a
ege
isl_t
a
b
.
c: upd
a
t
e
debugging aid ch
e
ck_table to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
Verdoolaeg
e
isl_ta
b
_relax: mak
e
sure no n
o
n-negative ro
w
s get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_pip
.
c: always se
t
row sign of f
o
un
d
row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolae
g
e
isl
_
p
r
inter_print_basic
_
{set,map}: ad
d
closing
"
}
"
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n
Ve
r
doolaege
e
xpo
r
t
i
sl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
add isl
_
set_recession_co
n
e
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaeg
e
add
isl_set_dim_
i
s_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_transi
t
i
ve_closure:
b
r
eak early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aege
isl_map_transi
t
ive_clos
u
r
e: co
a
lesc
e
aft
e
r each s
t
ep
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
e
x
port
isl_pw
_
qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
V
e
rdoolaege
isl_tab
.
c: unr
e
lax: resto
r
e
r
o
w if variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
isl_tab
.
c: cut_t
o
_hyperplane
:
a
d
d extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rd
o
olaege
add
isl
_
p
w_qpolynomial_fold_s
i
z
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
add isl
_
pw_qpolynomial_split_di
m
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
is
l
_qpolynomial
_
max: fix
dete
c
tio
n
of inactive var
i
ables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
doc: fi
x
transit
i
ve
cl
o
sure
example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
s
l_
c
on
v
ex_
h
ull
.
c:
v
a
lid
_
d
irection: p
r
op
e
rly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
V
e
rdoolaege
is
l
_convex_hul
l
.
c: si
m
plify
c
o
mputation of ini
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
export isl_pw_qpolynomial_i
s
_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
add isl_pw_qpoly
n
omial_fold_di
m
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
V
e
rdoolaege
add isl_int_get_
d
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verd
o
olaege
add isl_pw_q
p
o
lyno
m
ial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoola
e
ge
add
isl_pw_qpoly
n
omial_fi
x
_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
add isl_
p
w
_qpolynomial
_
add
_
dims
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoola
e
ge
export isl_d
i
m_
m
ove
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdo
o
l
a
e
ge
isl_pw_qpo
l
ynomial_fol
d
_add
:
remove redunda
n
t quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
V
e
rdo
o
lae
g
e
is
l
_qpoly
n
omial_alloc:
t
ake initial struct isl_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
r
d
oolaege
ad
d
isl_se
t
_
s
ol
v
e_lp
commit
|
commitdiff
|
tree
2010-03-23
S
ve
n
Verdoolaege
i
sl
_
p
olynomial
.
c: s
e
parate out fo
l
d
f
unctiona
l
i
t
y to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
isl_pw_qpol
y
no
m
i
al_{fold_,
}
print:
set
output
f
o
rmat
commit
|
commitdiff
|
tree
2010-03-21
Sven Ve
r
doolae
g
e
impro
v
e i
s
l_p
w
_q
p
olynomial_
m
ove
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdoolaeg
e
a
d
d isl_mat_m
o
ve_cols
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoo
l
aege
add
i
sl_pw_qpolynomial_d
r
op
_
dims
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolae
g
e
add is
l
_
set
_
drop
commit
|
commitdiff
|
tree
2010-03-19
S
v
en
V
erdoolaege
add isl_pw_qpo
l
ynom
i
a
l_invo
l
ve
s
_dims
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
isl_stream
:
accept
"
%" token
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aeg
e
d
oc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
add basic is
l
_pw_qpo
l
ynomial_fold_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
d
oolaege
add isl_pw_qpoly
n
omial_fold_get_c
t
x
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
s
l_
p
rinter_print_p
w
_qpoly
n
omial{,_fold}: allow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
add
is
l
_qp
o
lynomial_get_de
n
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoo
l
ae
g
e
add isl_pw_qpolynomial_gist and isl_pw_q
p
o
l
ynomial_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolae
g
e
ex
p
ort isl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
add isl_map_
i
ns
e
rt
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_printe
r
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
a
dd isl_pw_q
p
olynomial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
ool
a
ege
isl_qpolyn
o
mial_add:
r
ep
l
ace 0-degree poly
n
omials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
a
d
d isl_set_eliminate
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
doolaege
isl_ma
p
_range:
optimize case
w
he
r
e the n
u
mber of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
l_pw_qpolynomial_print: fix prin
t
ing of unnamed piecew
i
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
doolae
g
e
document transitive closur
e
implementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdo
o
l
a
eg
e
is
l
_strea
m
: ac
c
e
pt "
.
" t
o
ken
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolaege
add i
s
l_p
w
_*_inte
r
sect_doma
i
n
commit
|
commitdiff
|
tree
2010-03-12
S
ve
n
Verd
o
olaege
add isl_pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
doolaege
i
s
l 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoo
l
a
e
ge
i
s
l_
p
w_templ
.
c: co
p
y
:
fix ret
u
rn
commit
|
commitdiff
|
tree
2010-03-10
S
ve
n
V
e
rdoolaege
i
sl_polyno
m
i
a
l
.
c: qpol
y
nom
i
al_f
o
ld_all
o
c: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
laege
upda
t
e AUTHORS
commit
|
commitdiff
|
tree
next