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 V
e
rdoolaege
isl_map
_
lex_le: use on
e
bas
i
c
s
e
t
l
e
ss in result
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
i
s
l_strea
m
:
accept lexicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
is
l
_map_tra
n
sitive_closure: check if
i
nput is c
l
os
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
ool
a
ege
add
is
l
_print
e
r
_
f
l
u
s
h
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoola
e
ge
isl_map_read: parse paramet
r
ic Omega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
ola
e
ge
isl_map_read: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
S
ven Ver
d
oolaege
isl_co
n
vex_
h
ull
.
c:
i
s
_
bound: an
y
i
n
equality is
a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
Verdoolaege
is
l
_convex_
h
ull
.
c: ad
d
_bo
u
nds: propagate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ver
d
oolaege
d
o
cument i
s
l
_map
_
reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl_strea
m
_ne
x
t_t
o
ken: termina
t
e
strin
g
token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoola
e
g
e
i
sl_map_transitive_closure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_transiti
v
e_c
l
osure,
omega-lik
e
: o
n
ly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_ma
p
_t
r
ansitive
_
closure: us
e
simple
h
u
ll in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ver
d
oolaege
i
s
l_m
a
p_transit
i
ve_clo
s
ur
e
: try and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_map_coalesce: allow wrapping in sets th
a
t stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_coalesce: allowing
cutting
equali
t
ies in a
d
jacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laeg
e
add som
e
more coalesc
i
n
g test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verd
o
o
laege
isl
_
basic_map_gi
s
t: be more a
g
gressive in re
m
o
ving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
i
sl_stream: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
tab_rollb
a
ck: restore rows
that are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: document
s
impl
e
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
doc: emph
a
s
ize
that
w
e are dea
l
ing with
i
n
teger sets
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdo
o
laege
is
l
_transitive_clos
u
re
.
c: path_along_delta:
o
nly a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
isl_map
_
tran
s
itive_clo
s
ure:
c
ompute d
i
v
s
of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ver
d
o
o
l
a
ege
isl_map_comput
e
_divs: m
a
ke
s
u
r
e
r
e
sult is g
a
ussed a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sl_printer_print_pw_qpolynomial: p
r
operly print
c
o
nst
r
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
erdoolaege
i
s
l_pip and isl_
c
a
t
: te
r
minate is
l
_arg array with ISL_ARG_
E
ND
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaeg
e
doc: document setting and getti
n
g of dimensi
o
n names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aege
d
o
c: do
c
ument *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
isl_ma
p
_convex_h
u
ll
:
handle
n
on f
u
ll-d
i
mensional
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
isl_convex_
h
u
ll
.
c: modulo_affi
n
e
_hu
l
l: drop redundan
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdo
o
laege
isl_convex_hull
.
c:
c
onvex_hull_pa
i
r:
sk
i
p
d
i
rection
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Ve
r
doolaeg
e
isl_printer_print_basic_set:
fix up prin
t
in
g
to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
er
d
oola
e
ge
add isl_set
_
neg and isl_
s
et
_
sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdo
o
laeg
e
isl_transit
i
ve_clo
s
ure
.
c: fix docum
e
ntation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_
c
oalesce: m
a
ke sure
result s
t
il
l
contain
s
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_tr
a
nsitive_closur
e
: F
l
oyd-War
s
hall: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl_map_
t
ransitive_clos
u
re: use Floyd-War
s
hal
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
sl_transitive_closur
e
.
c: ext
r
act ou
t
i
sl_set_overl
a
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl
_
ma
p
_transitive_cl
o
sure: project out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
isl_
t
ransit
i
ve_c
l
osure
.
c
:
constru
c
t
_
component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
is
l
_map_tran
s
i
tive_closu
r
e: don't add
length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdo
o
l
aege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl
_
set_gist:
make
c
o
n
text argument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_map_transitive_closure
:
coalesce i
n
put map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
isl_transitive_closure
.
c
: construct_co
m
p
o
nent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
er
d
oolaege
doc: cit
e
Omega
l
ibrary document
a
t
i
on on
compu
t
ation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
ad
d
is
l
_stream_
r
ead_map
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
isl_arg
.
h: add
m
issin
g
include
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoolaege
isl_b
a
sic_m
a
p_m
o
ve
_
d
i
ms: normalize equalit
i
es
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
rename is
l
_map_move to
i
sl_map
_
mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
o
o
l
a
ege
isl_options_parse: only par
s
e kn
o
wn opti
o
ns
b
y
defaul
t
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
doolaege
i
sl_map_clo
s
ure: optionally
u
se Omeg
a
-li
k
e
al
g
orithm
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
is
l
_c
l
o
sure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_map_aff
i
ne_
h
u
l
l: h
a
n
dle non-obviously e
m
pty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
o
olaege
isl_map_
c
ompute_divs: handle non
-
o
bvi
o
usly empty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
eg
e
i
sl_basic_set_pre
i
mage: add
e
x
t
ra s
a
nity check
commit
|
commitdiff
|
tree
2010-04-10
S
ven Ver
d
oolaege
isl_ba
s
i
c_map_set_to_empty
:
add missin
g
assig
n
ment
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Ver
d
oolaege
isl_equa
l
it
i
es
.
c: isl_mat_
v
a
ria
b
le
_
c
ompression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoo
l
aege
is
l
_sample
.
c:
init
i
al_basis: set n_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map_c
o
alesce: only use non-
r
edu
n
dant constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_ma
p
_
p
r
int:
a
llow empt
y
constrai
n
ts
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoola
e
ge
isl
_
options
.
h:
a
llow i
n
clusion
from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_
a
rg
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
isl_
m
ap_
t
ra
n
si
t
ive_c
l
osure
:
ha
n
dle exist
e
ntials
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Ve
r
doola
e
ge
isl_ma
p
_de
l
tas: preserve dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoola
e
ge
isl_map_prin
t
:
su
p
po
r
t
L
aTeX output fo
r
mat
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oola
e
ge
isl_map_si
m
p
l
ify:
d
on't remove any div definit
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
l
aege
i
s
l_m
a
p_intersect: add spec
i
al cases for empty inpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
i
sl_
t
ransitiv
e
_closu
r
e
.
c:
p
ath_along_de
l
ta: share c
o
de
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_transitive_closure
.
c
:
path_along_del
t
a
:
try a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
S
ven
V
er
d
oolaeg
e
e
x
port isl
_
q
p
olynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add
i
sl_qp
o
lyn
o
mial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
ege
add
isl_
p
w_qpolynomial_fold
_
get_d
i
m
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdool
a
ege
add some qpolynom
i
al test
f
unctions
commit
|
commitdiff
|
tree
2010-04-03
S
ven
V
erdoo
l
aege
add
isl_pw_qpolynomial_
f
old_{max,min
}
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
r
d
ool
a
ege
isl_tab_min_at_most_neg_one: restore
sample v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_map
_
coalesce:
a
void
r
e
considering pairs
c
on
s
ider
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verd
o
olae
g
e
isl_tab
.
c: upda
t
e debugging aid
c
heck_
t
able to pr
e
sence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
Verdo
o
laege
isl_tab_relax
:
make su
r
e no
n
o
n-ne
g
ative
r
ows g
e
t a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
Verd
o
olaege
isl_tab_pip
.
c: always set
r
ow s
i
gn of found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
V
er
d
oolaege
isl
_
printer_print_ba
s
ic_
{
set,map}: add
closi
n
g "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
expor
t
isl_set_
s
plit_d
i
ms
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
add isl_set_rec
e
ssio
n
_cone
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Ver
d
oolaege
add isl_set_dim_is_boun
d
e
d
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl
_
map_tr
a
nsiti
v
e_closure: bre
a
k
e
arly if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aege
isl_map
_
tran
s
itive_clo
s
ure: coalesce aft
e
r eac
h
ste
p
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
l
aege
export isl_pw_qpolynomia
l
_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
aege
isl_
t
ab
.
c:
u
nrelax
:
restore row
i
f variable is
non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoola
e
ge
isl_
t
ab
.
c
:
cut_to_hyperp
l
ane: add ex
t
r
a s
a
nity
check
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
r
doolaege
add isl_pw_qpolynomia
l
_fold
_
size
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
add isl_pw_qp
o
l
y
nomial_s
p
lit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
i
s
l_
q
polyno
m
ial_max:
f
ix detection of
i
nac
t
ive variables
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verd
o
olaege
d
o
c
:
fix transitive c
l
osure example
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Ve
r
doo
l
aege
isl_conve
x
_hull
.
c:
v
alid_direc
t
i
on: p
r
ope
r
ly no
r
mal
i
z
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_
c
on
v
ex_h
u
ll
.
c: simplify computation of i
n
itial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ve
r
doolaeg
e
ex
p
ort isl_p
w
_
qpolynomial_
i
s
_z
e
r
o
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoola
e
g
e
add
i
sl_pw_qpol
y
nomial_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
a
d
d is
l
_in
t
_g
e
t_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
add
i
sl_pw_qpolynomial_min
commit
|
commitdiff
|
tree
next