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_set_is_box
2010-05-04
S
v
en Ve
r
doolae
g
e
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaeg
e
add is
l
_qpol
y
nomi
a
l_neginft
y
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add isl_
b
asic
_
set_d
r
op
commit
|
commitdiff
|
tree
2010-05-04
Sven
Ver
d
oolaege
isl_qpolynomial_
f
o
l
d_opt_on_domain:
fix t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sven
Ve
r
dool
a
ege
isl_pw_*_eval: fix
h
andling
of empty inp
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdool
a
ege
exp
o
rt isl_qpo
l
ynomial_s
u
b
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add isl_qpo
l
yn
o
mial_ge
t
_dim
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
ege
isl_map_tra
n
s
itive_clos
u
r
e: coa
l
esce
i
nput before check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
add
m
a
p
_le
x
_
*
_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n V
e
rdoo
l
a
e
ge
isl_
m
ap_lex_le:
use one basi
c
s
et less in
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Ve
r
doolaege
isl_stream:
a
c
c
ept lexi
c
ographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_map_tran
s
itiv
e
_closure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
add isl
_
printer_flu
s
h
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
Verdoolaege
isl_map
_
rea
d
:
parse parametri
c
Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_map_read: fix t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_
c
onvex_hull
.
c: is_bound: any inequ
a
lity
is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_convex_hull
.
c: add
_
b
ounds: p
r
opag
a
te
errors
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaeg
e
d
ocument i
s
l_map_rev
e
rse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
V
er
d
o
o
laege
isl_str
e
am_next_toke
n
: terminate s
t
rin
g
tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdo
o
laege
isl_map_transitive_closu
r
e: treat equali
t
y as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
i
sl_map_transitive_closure
,
o
m
ega-li
k
e: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
m
ap_tr
a
nsit
i
ve_closure: use
s
imple hull
in om
e
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl
_
m
a
p_trans
i
t
ive_closure: try and comp
u
te closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ver
d
oolaege
i
s
l_
m
ap_coalesce
:
allow wrapping in sets that s
t
ick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
ool
a
ege
isl_map_coalesce: allowing cu
t
ting e
q
ualities in a
d
j
a
cen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
l
aege
add s
o
me more
coales
c
ing
t
est cases
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoo
l
aege
isl_basic_ma
p
_gist: b
e
mo
r
e ag
g
ressive in removin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_stre
a
m: accept string to
k
en
s
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaeg
e
is
l
_tab_rol
l
back: re
s
tore rows that
a
re
no longer ma
r
k
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
doc: docume
n
t simple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
ege
d
oc
:
e
m
p
h
asize that
we a
r
e
dealin
g
with integ
e
r sets
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n V
e
rdool
a
ege
isl_tr
a
nsitive_closure
.
c: path_al
o
ng_delta
:
only
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ve
r
d
o
olaege
isl_map_
t
ransitive_clo
s
u
re: compute divs of
i
nput
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_c
o
mpute_di
v
s: make su
r
e
resu
l
t
i
s gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
dool
a
ege
isl_print
e
r_print_pw
_
qpo
l
y
nomial: properly print cons
t
r
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
i
s
l
_
pip and
i
s
l_cat
:
termi
n
ate isl_arg array wi
t
h ISL_A
R
G_END
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoola
e
ge
d
o
c: do
c
um
e
nt setting and getti
n
g o
f
dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erd
o
olae
g
e
doc: do
c
u
m
ent *
_
g
e
t_dim f
u
n
ctions
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
i
s
l_map_convex_hull: han
d
le
no
n
full-d
i
mension
a
l pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoo
l
aege
i
s
l_convex_hull
.
c
:
modulo_af
f
ine_
h
ull:
d
rop re
d
un
d
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_
c
onvex_hull
.
c:
c
o
nvex_hull_pair
:
skip dir
e
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_prin
t
er_print_ba
s
ic_set: fix up printing to str
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n Verdo
o
laege
ad
d
is
l
_set_neg and
i
s
l
_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
ven Verdoolaege
isl_transitive
_
closure
.
c: fix documen
t
ation of construct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_coalesce: make sure result st
i
ll contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
V
erdo
o
laege
isl_map_transitive_clo
s
ure
:
Floyd-War
s
hall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
e
ge
is
l
_
map_trans
i
tive_closure: use Floyd
-
W
a
rsha
l
l on
disj
o
int
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aeg
e
is
l
_transitive_closu
r
e
.
c:
e
xtr
a
ct
o
ut isl_set_ov
e
rlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doo
l
ae
g
e
isl_map_transitive_c
l
os
u
re: project o
u
t l
e
ngth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
isl
_
transitiv
e
_cl
o
s
ure
.
c: construct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitiv
e
_clos
u
re:
don't
add
l
en
g
th parameter
commit
|
commitdiff
|
tree
2010-04-15
S
ven Ve
r
doolaege
d
o
c:
fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoola
e
ge
i
sl_set_
g
ist: m
a
ke conte
x
t argument an isl_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_map_tra
n
s
itive_closure:
c
oalesce
i
nput map
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Ve
r
doolaege
isl
_
transitive_clos
u
re
.
c: construct_compo
n
e
n
t
:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
er
d
o
olaege
doc: cite Omeg
a
library documentation
o
n computatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
e
g
e
add
i
sl_s
t
ream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Ve
r
doo
l
aege
isl_arg
.
h: add
mis
s
ing include
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdo
o
laege
isl_basic_map_m
o
ve_dims
:
norma
l
ize equalit
i
es
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
r
ename is
l
_map
_
m
o
ve to isl_map_move_
d
ims
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl_opti
o
ns_pa
r
s
e: only
pa
r
se know
n
option
s
b
y
defa
u
lt
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
is
l
_map_clo
s
u
r
e:
o
ptionally use Omega-like
a
lgorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_clo
s
ure: take op
t
ions
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
isl_map_
a
ffi
n
e_hull: handle non-obviously
empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_comp
u
t
e
_divs
:
handl
e
non-
o
b
viously empt
y
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basic
_
se
t
_
p
reimage: add e
x
tra sanity
check
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolae
g
e
isl_b
a
sic_map_set_to_empty: add missing as
s
i
gn
m
ent
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
ool
a
ege
is
l
_equal
i
ties
.
c: isl_mat_variable_compression: clar
i
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl
_
sample
.
c: initial_basis: se
t
n_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
i
s
l_ma
p
_coalesce: on
l
y use non-redundant c
o
ns
t
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoola
e
ge
is
l
_map_pr
i
nt: allow e
m
pty
constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_op
t
ions
.
h:
allow in
c
lusi
o
n
from C+
+
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdool
a
e
ge
isl_arg
.
h: allow i
n
clusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oo
l
a
ege
isl_map_transit
i
ve_cl
o
sure:
h
andle ex
i
stential
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_map
_
d
eltas:
pre
s
er
v
e
dimensio
n
nam
e
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaeg
e
isl_m
a
p_pr
i
nt: supp
o
rt LaTe
X
output for
m
at
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoola
e
ge
is
l
_ma
p
_s
i
m
p
lify: don
'
t remove a
n
y div definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_
i
ntersect: add special cases for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
isl
_
tra
n
sitiv
e
_
c
l
osu
r
e
.
c:
p
at
h
_
a
l
o
ng_delta: share co
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
i
sl_tra
n
s
itive_closur
e
.
c: path_along_delta: t
r
y
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdool
a
ege
e
x
port isl_
q
polynomial_move
_
di
m
s
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolae
g
e
add is
l
_q
p
olynomia
l
_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
a
d
d
isl_pw
_
qpolyno
m
ial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
e
rdoolaeg
e
add some qpolynomial t
e
st functions
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n Verdo
o
laege
add
i
sl_pw_qpoly
n
o
m
ial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
ven V
e
r
do
o
la
e
ge
isl_tab_min_at_most
_
neg_one
:
r
estore
sample val
u
e
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_map_c
o
al
e
sce: avoid reconsidering pairs conside
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Verdoolaege
isl_
t
ab
.
c: update debugging aid
c
h
e
c
k
_table to presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoolaege
i
s
l_tab_relax: make
s
ure no no
n
-negative ro
w
s get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
sl_
t
ab_p
i
p
.
c
: always set row sign of foun
d
row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
i
s
l_printer_
p
rint_bas
i
c_{
s
et,
m
ap}: add closi
n
g "}
"
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
exp
o
r
t
isl_set_sp
l
it_d
i
ms
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
add
isl_se
t
_recession_
c
one
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
a
dd i
s
l
_
s
et_dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaeg
e
isl_map_transitive_closu
r
e:
b
reak early if input ma
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
r
d
o
olae
g
e
isl_map_t
r
a
nsitive
_
closure: coale
s
ce aft
e
r each step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
laege
export isl_pw_qp
o
lyn
o
mial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
is
l
_tab
.
c:
u
nrelax:
r
estore r
o
w if v
a
riable i
s
non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
Ve
r
doolaege
i
s
l
_tab
.
c
: cut_t
o
_
hyperplane: add
e
xtra sanity chec
k
commit
|
commitdiff
|
tree
next