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_stream_read_set
2010-04-28
Sven Verdoolaege
isl_map_
r
ead: par
s
e pa
r
amet
r
i
c
Om
e
ga input
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verd
o
olaege
isl_map_re
a
d: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c: is_bou
n
d: any inequal
i
ty is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
i
s
l_convex_hull
.
c: add_
b
ounds: propagate
e
rr
o
rs from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ver
d
oolaege
docum
e
nt is
l
_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoola
e
ge
isl_stream_next_token: terminate st
r
ing tok
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
erdoolaege
isl_map_tra
n
si
t
ive_closure
:
treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
is
l
_map_tr
a
nsitive_c
l
osur
e
,
o
me
g
a
-
like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_
m
ap_tran
s
itive_
c
losur
e
:
use simpl
e
hull i
n
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
V
e
rdool
a
ege
is
l
_map_tra
n
sitive_closure: try and
c
ompute c
l
o
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
o
olaege
isl_map_coalesce: al
l
o
w
w
rapping in s
e
t
s th
a
t stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdo
o
laege
isl_map
_
co
a
lesce:
allow
i
n
g cutting
e
qu
a
lities in adjacen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
add some more coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoo
l
aege
isl_b
a
sic_map_gi
s
t: be more aggressiv
e
in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_stream: accept stri
n
g token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab_ro
l
lback: restore rows th
a
t are no longer
m
arked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
rdoolaege
doc: document simp
l
e h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdool
a
ege
d
o
c: emphasize t
h
at
we are dealing with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oola
e
g
e
isl_transitive_c
l
osure
.
c
:
p
a
t
h_along_
d
elta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doolae
g
e
isl_
m
ap_transitive_closu
r
e: compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_m
a
p_c
o
mpute_d
i
vs: make sure result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_pr
i
nter_print_pw_qpolynomi
a
l: prope
r
ly print c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven
V
erdoolaege
i
s
l_p
i
p and
i
s
l
_cat: ter
m
i
nate is
l
_arg array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
V
e
r
dool
a
ege
doc: document
s
etting an
d
getting of dimension
n
am
e
s
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n
Verdool
a
ege
doc: document *_get_dim functio
n
s
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
isl_map
_
convex_hull: handle n
o
n full-dimen
s
i
o
nal pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoo
l
aege
i
s
l_
c
o
n
vex_hull
.
c: modulo_affine_hull: d
r
op r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
isl_convex_hull
.
c: c
o
nvex_hull_pa
i
r: ski
p
direc
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven V
e
rdo
o
laeg
e
isl
_
printe
r
_print_basic_set: fix up printing to
string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add isl_set_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoola
e
g
e
isl_transitive
_
cl
o
sure
.
c: fix do
c
umen
t
atio
n
of construct
_
com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_coalesce: make sure result s
t
i
l
l contains s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoo
l
aege
isl_map_transitive_
c
losure: Floy
d
-Warshall:
pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Verdoolae
g
e
i
s
l_m
a
p_transitive_closure
:
use Floyd-W
a
rshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
eg
e
isl
_
t
r
ansitive_
c
lo
s
ure
.
c: extract
o
ut
i
sl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
i
sl_m
a
p
_
transi
t
ive_closure: project out lengt
h
on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
V
erdoolaeg
e
isl_transitive_closur
e
.
c:
c
on
s
truct_component:
d
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
r
doo
l
aege
isl_ma
p
_transitive_closure: don't
add length param
e
t
er
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolae
g
e
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdo
o
laege
isl_set_gis
t
: m
a
ke context argu
m
e
nt an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
i
sl_map_trans
i
tive_clo
s
ur
e
: c
o
alesce inp
u
t m
a
p
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoola
e
ge
is
l
_
tra
n
sit
i
v
e_closure
.
c
: con
s
truct
_
c
o
mponent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven
Verdoolaege
doc: cite Omega libr
a
r
y docu
m
entatio
n
on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
add isl_stream_r
e
ad_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
e
g
e
isl_arg
.
h: add missing
in
c
lud
e
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoo
l
aege
isl_basic
_
map_mo
v
e_dims: no
r
malize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoola
e
ge
rename isl_map_move
to
isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
i
s
l_options_parse: only parse known options by default
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verd
o
ol
a
ege
isl_map_closure: optionally use
O
mega
-
like alg
o
r
ithm
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
isl_cl
o
sure: take
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rd
o
o
l
aege
isl_map_aff
i
n
e
_
hull:
h
andle no
n
-obv
i
ously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_map_compute_divs: handle non-obviousl
y
empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
lae
g
e
isl
_
ba
s
ic_s
e
t_preimage: add ex
t
ra s
a
nity ch
e
c
k
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdool
a
ege
isl_basic_map_set_to_emp
t
y:
a
d
d
mi
s
si
n
g assignm
e
n
t
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolae
g
e
i
s
l_equalities
.
c:
i
sl_mat_varia
b
le_compre
s
s
ion:
c
l
a
r
i
fy
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
isl
_
sam
p
le
.
c: init
i
al_basis: s
e
t
n_unbound
e
d and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Ver
d
oolaege
isl_map_coales
c
e: only us
e
non-
r
edundant constrai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoola
e
ge
is
l
_m
a
p_print: allow empty
constraints
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Ve
r
doo
l
aege
isl_op
t
i
o
n
s
.
h: allow inclusio
n
from C+
+
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n
Verdoolaege
isl
_
a
r
g
.
h
:
a
l
l
o
w i
n
clusion fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_m
a
p_t
r
ans
i
tive_closure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaeg
e
isl_
m
ap_deltas: preser
v
e dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoo
l
a
e
ge
i
s
l
_
ma
p
_pri
n
t: suppor
t
La
T
eX output for
m
a
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doola
e
ge
isl_map_simplify:
d
on't
remov
e
a
ny div definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verd
o
ol
a
ege
isl_map_intersect: add special ca
s
es for e
m
pty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl_tran
s
itiv
e
_closure
.
c: path_a
l
ong_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_transitive_c
l
osure
.
c: path_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdoolae
g
e
export isl_qpolynom
i
al_move_di
m
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
add isl_qpoly
n
omial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_pw_qpolynomial_fol
d
_get_di
m
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdo
o
laege
a
d
d
s
om
e
qpolynomial t
e
st function
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
o
olae
g
e
add isl_pw_qp
o
lynom
i
a
l
_fo
l
d_{max,min
}
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
Verdoolaege
isl_tab_min_at_most_neg_one: restore sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verd
o
o
l
aege
isl_map_coales
c
e: avoid reconsideri
n
g pairs conside
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoola
e
ge
isl_tab
.
c
:
u
p
date
d
ebuggin
g
ai
d
check_tab
l
e
to p
r
ese
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdo
o
laege
i
sl_tab_r
e
lax: ma
k
e sure no
non-ne
g
ative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaeg
e
is
l
_
tab_pip
.
c: always set row sign of found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolaege
isl_printer_print
_
ba
s
ic_{s
e
t,map}:
add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
ex
p
ort isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
a
d
d
isl_set_rece
s
sion_con
e
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoo
l
aege
add isl_s
e
t
_dim_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdo
o
laege
isl_
m
ap_transiti
v
e_
c
losu
r
e: break early i
f
i
n
put m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
o
o
l
a
ege
isl_map_tr
a
nsitive_closure: coalesce after e
a
ch ste
p
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
Verdool
a
eg
e
e
x
port isl_pw_qp
o
lynomia
l
_
c
oa
l
e
s
ce
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
isl_ta
b
.
c: u
n
relax:
restore row if variabl
e
is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: cut_to_hyperpl
a
ne: add extra s
a
nity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
add isl_pw_qpolynom
i
al_fo
l
d_size
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoola
e
ge
add isl_pw_q
p
olynom
i
al_
s
plit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpol
y
nom
i
al_max: fix detection of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
la
e
ge
doc: fix transitive
c
losure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
isl_conv
e
x_hull
.
c: valid_d
i
rection: pro
p
erly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n V
e
rdoolaege
isl_
c
onvex_hull
.
c: simplify computati
o
n o
f
initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
exp
o
rt isl_pw_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdo
o
lae
g
e
add isl_pw_qpolynomial_fo
l
d_dim
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n Verdool
a
ege
add isl_int_get_
d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
ad
d
i
s
l_
p
w_qpolynomial_min
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
add
i
sl_pw_qpoly
n
om
i
al_f
i
x_di
m
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
add i
s
l_pw_qpolynomial_add_d
i
ms
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
expo
r
t isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
isl_pw_
q
po
l
ynomial_fold_a
d
d: remove redundant qu
a
s
i
polynom
i
a
.
.
.
commit
|
commitdiff
|
tree
next