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_basic_set_drop
2010-05-04
Sv
e
n Verdoolaege
add isl
_
basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
is
l
_
q
polynomial_fold_
o
p
t
_on_domain: fi
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
is
l
_
pw
_
*_ev
a
l: f
i
x
handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdool
a
e
ge
add is
l
_b
a
sic_s
e
t_move_d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
export isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdoolaege
a
dd isl_qpolynomial
_
g
e
t_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoo
l
aege
isl_map_
t
ransitive_closure: c
o
alesce i
n
put before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoola
e
ge
ad
d
m
ap
_
lex_*_
f
i
rst
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
is
l
_
m
ap_lex_le:
u
se
one basi
c
set less in result
commit
|
commitdiff
|
tree
2010-05-01
S
v
en V
e
rdoo
l
aege
isl_str
e
am:
accept le
x
i
c
o
graphic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
is
l
_m
a
p
_transitiv
e
_c
l
osure: check if input i
s
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
S
ven
Verdoo
l
aege
i
sl_ma
p
_read: pa
r
s
e pa
r
am
e
tr
i
c Omeg
a
i
n
put
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl_map_rea
d
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_conve
x
_hull
.
c
: is_b
o
und:
any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl
_
convex_
h
u
ll
.
c
:
a
dd_
b
o
unds: pr
o
pag
a
te e
r
rors
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
e
r
d
oolaege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdo
o
laeg
e
i
s
l
_
stream_next_toke
n
: te
r
minate st
r
ing tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_tr
a
nsitive_closure: tr
e
at equa
l
i
ty
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
i
s
l_m
a
p_tran
s
itive_
c
losure,
o
meg
a
-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdo
o
laege
isl_ma
p
_t
r
an
s
itive_closure: use simple hu
l
l in o
m
eg
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoola
e
ge
isl_map_transit
i
v
e
_closure:
try
and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdo
o
l
a
ege
isl_map_coalesce: allow wrapping in se
t
s that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_map_coalesce
:
al
l
o
wing cut
t
ing e
q
ualities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
a
d
d some
m
ore coal
e
scing
t
est cases
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoola
e
ge
isl_basic_map_
g
i
st:
b
e more ag
g
ressive in remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
erdo
o
l
aege
isl_stream:
a
ccept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
d
oolaege
isl_tab_ro
l
lba
c
k: restore rows
that are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
d
o
c: docu
m
ent
simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verd
o
olaege
doc:
emphasize
that we are deal
i
ng with integer s
e
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sl
_
trans
i
tive_clo
s
ure
.
c: path_alon
g
_delta:
o
n
l
y
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aeg
e
is
l
_ma
p
_
t
ran
s
itiv
e
_closu
r
e
:
compute divs of
i
n
put
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doola
e
ge
isl_map_comput
e
_div
s
:
make
sure resul
t
i
s
g
aussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sl_printer_print
_
pw_qp
o
lynomial: pro
p
e
r
ly prin
t
constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
isl_pip an
d
isl_cat: terminate isl_arg a
r
ray with I
S
L
_
ARG_
E
ND
commit
|
commitdiff
|
tree
2010-04-19
S
ve
n
Verdoolaege
doc: document
s
etting and ge
t
ti
n
g
of dimension name
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: do
c
ument *_get_dim fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoo
l
aege
isl_map_convex_h
u
ll: handle non
full-di
m
ensio
n
al pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl_con
v
ex_hull
.
c: mod
u
l
o_affine_hull: dro
p
redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
isl_convex
_
hull
.
c
: con
v
ex
_
h
ull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven
Verdoolaege
i
s
l
_
p
rinter_print
_
basic
_
set
:
f
ix
u
p pr
i
nting to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n V
e
rdoolaege
a
dd
is
l
_set_neg and is
l
_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven V
e
rdool
a
ege
isl_transitive_closure
.
c:
f
ix documentat
i
on of co
n
st
r
uct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl_map
_
coales
c
e
: make sure result still conta
i
ns set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
V
erdo
o
laege
i
s
l_map_transiti
v
e_clos
u
re: Floy
d
-Warshall: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
is
l
_map_transi
t
ive_closure: use Floyd-Warshall
on dis
j
oint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rd
o
olaege
isl_trans
i
tive_c
l
os
u
re
.
c: e
x
tract o
u
t isl_set_o
v
er
l
aps
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaeg
e
isl_ma
p
_
tran
s
itive_closure: pro
j
ect
out
l
en
g
th on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdo
o
laeg
e
is
l
_
t
r
a
nsit
i
ve_c
l
o
s
ure
.
c: construct_
c
ompone
n
t: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdo
o
l
a
e
g
e
isl_map_
t
r
a
nsitive_
c
lo
s
ure: don't
add length paramete
r
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
doc: fi
x
typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set_gis
t
:
make cont
e
xt argu
m
ent an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
Ve
r
doolaege
isl_map
_
transitive_closure: coalesce
i
nput map
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
er
d
o
o
l
a
e
g
e
isl_transiti
v
e_cl
o
s
u
re
.
c
:
c
onstruct_compo
n
ent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoo
l
aeg
e
doc
:
c
ite Omega libra
r
y documentation o
n
c
o
mputation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
er
d
ool
a
e
g
e
ad
d
isl_
s
t
ream
_
read
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_
a
rg
.
h
:
add missing i
n
clude
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
isl_basic_map_
m
o
v
e_dims: normaliz
e
equalities
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n Ver
d
oolaege
rename isl_
m
ap_mov
e
to isl_m
a
p_move_dim
s
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdo
o
laege
isl
_
options_parse: only par
s
e known options by
default
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoola
e
ge
i
sl_map_
c
los
u
re: optionall
y
use O
m
ega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
Verdoolaege
isl
_
cl
o
s
ure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_map_affin
e
_h
u
ll: handle no
n
-o
b
viously empty
inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
i
s
l_map_com
p
ute_divs:
han
d
le non-
o
bv
i
ously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aeg
e
isl_basi
c
_se
t
_preim
a
ge: add extra sanity
c
h
e
ck
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl_basic_map
_
set
_
to
_
emp
t
y: add m
i
ssing assign
m
e
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_equalit
i
es
.
c: isl
_
mat_variab
l
e_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
oo
l
aege
isl_sample
.
c:
initia
l
_basis
:
se
t
n_unbou
n
ded and n_z
e
r
o
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdoolaege
isl
_
m
a
p_coalesc
e
: only use non-redun
d
ant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoola
e
g
e
isl_map_print: allow
e
mpty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_
o
ptions
.
h
:
allow inclu
s
ion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verdoolaege
is
l
_ar
g
.
h: allow inclus
i
on
f
rom C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_
m
a
p
_transitive_closure: h
a
ndle existential
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
o
laege
i
s
l_map_deltas: preser
v
e di
m
ension nam
e
s
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolae
g
e
isl_m
a
p_pr
i
nt:
supp
o
rt LaTeX output format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl
_
map_simpl
i
fy: don't
remove
a
n
y div d
e
finit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rdoolaege
isl_map_in
t
e
r
s
ect: add
s
pecial cases for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oo
l
aege
i
s
l_transit
i
ve_closure
.
c
: path_a
l
ong_delta: s
h
are code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
i
sl_tr
a
nsitiv
e
_closure
.
c:
p
ath_a
l
o
ng_delta: try
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
oolaege
ex
p
ort
isl_qpolynomial_move_
d
ims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_
q
p
o
l
y
nomi
a
l
_
g
et_
c
t
x
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
doolaege
add isl_pw
_
qpoly
n
omial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdool
a
ege
add
som
e
q
polynom
i
al test
f
unc
t
ions
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoo
l
aege
a
dd isl_pw_qpolynomial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoo
l
aege
i
sl
_
tab_min_at_most_neg_one:
r
estore sample va
l
u
e of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolaege
isl_map_coal
e
sce: avoid reconsi
d
ering pair
s
considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
isl_ta
b
.
c:
u
pdate debugging aid che
c
k_table to
p
resen
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaege
isl_tab_relax: make sure
n
o non-
n
egative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
ege
is
l
_tab_pip
.
c: a
l
way
s
set row sign
o
f found ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
r
d
o
olaege
isl_printer_
p
r
int_basic_{set,map}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
o
olaege
ex
p
ort is
l
_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoola
e
ge
add
i
sl_set_
r
eces
s
ion_
c
one
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
ge
a
dd
i
sl_se
t
_di
m
_is_bound
e
d
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoola
e
ge
isl_
m
ap_
t
ra
n
sitive_closure: br
e
ak ear
l
y if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
r
d
oolaege
isl_map_trans
i
tive_closure: coalesce aft
e
r each s
t
ep
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
e
rdoolaege
export
isl_
p
w
_qpo
l
ynomial_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-30
S
v
en V
e
rdoolaege
isl_tab
.
c
:
unrelax: r
e
sto
r
e
r
ow if
variable
i
s
no
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c:
cut_to
_
hyperplane:
a
dd
extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_pw_qpolynomial_fold_s
i
ze
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
ad
d
isl_pw_qpolynomial_split_dim
s
commit
|
commitdiff
|
tree
next