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_basic_map_from_constraint: keep all divs, even redundant ones
2010-04-28
Sve
n
Verdoolaege
isl_ma
p
_r
e
a
d: fix
t
ypo
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
isl_convex_h
u
ll
.
c: is_b
o
und: any ine
q
ualit
y
is
a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
ola
e
ge
is
l
_co
n
vex_hull
.
c: add_bounds: propagate errors
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Verdoolaege
document isl_map_r
e
v
erse
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
isl
_
stream_next_tok
e
n: terminate string
to
k
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_
t
ransitive_cl
o
s
ure: treat
e
quali
t
y
a
s
p
a
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_transit
i
v
e
_
clos
u
re, omega-like: only
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoola
e
ge
is
l
_map_tran
s
itive_clo
s
ure:
use simple
h
ull
i
n omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
is
l
_
map_transitive_cl
o
sure: try and
c
ompu
t
e closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolae
g
e
isl_
m
ap
_
co
a
l
e
s
c
e: allow wrapping
in sets th
a
t s
t
ick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoola
e
ge
isl_map
_
coalesce: all
o
wi
n
g
cutting e
q
ual
i
tie
s
in adja
c
ent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdoolaege
a
dd s
o
me more coales
c
ing
t
e
st
case
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_basic_map_gist: be more a
g
gressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olae
g
e
isl_strea
m
: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_tab
_
ro
l
lback:
restore
r
ows
that are no lo
n
ger marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
oolaege
doc:
d
ocu
m
ent simple hull
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n V
e
r
d
o
o
laege
doc: emphasiz
e
tha
t
we a
r
e dealing wi
t
h integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
dool
a
ege
isl_
t
ransitive_closur
e
.
c
:
path_a
l
on
g
_delta
:
o
n
ly a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
isl_map_transitive_closure: compute d
i
vs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
la
e
ge
i
s
l_map_
c
ompute_d
i
vs
:
ma
k
e sure res
u
lt i
s
gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
er
d
oolaege
is
l
_
p
rinter_print_pw_qpolynomial:
p
ro
p
erl
y
p
r
int
c
on
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
V
erd
o
olaege
isl_pip and isl_cat: terminate isl_a
r
g array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoola
e
g
e
doc: d
o
c
u
ment
s
etting an
d
getti
n
g of
d
i
mensi
o
n names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
doc: document *_get_
d
im
f
unctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
i
s
l
_
map_convex_hull: handle non full-dimen
s
ional p
a
irs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
r
d
oolaege
is
l
_
convex
_
hull
.
c
:
modulo_affin
e
_hu
l
l
: drop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
i
s
l
_co
n
vex
_
hull
.
c: con
v
ex_hul
l
_pair:
sk
i
p direc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erd
o
olaege
isl_
p
r
inte
r
_pri
n
t
_bas
i
c_set:
f
ix up printing to str
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erdoolaege
add isl_set_neg
a
nd
isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
ven Verdoolaege
isl_tran
s
iti
v
e_closure
.
c: fix doc
u
mentation of constr
u
ct_
c
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl_map_coal
e
sce:
mak
e
s
ure result still con
t
ains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
do
o
laege
i
sl_map_tra
n
s
i
tive_
c
losure: Floyd-Warshall
:
properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Ve
r
doolaege
isl_map_tran
s
itive_cl
o
sure: u
s
e Floyd-Warshall
o
n disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
Verdoolae
g
e
isl_transitive_clo
s
u
r
e
.
c:
e
x
tr
a
ct out isl_set_o
v
erlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl_map_tr
a
nsi
t
i
ve_closure: proje
c
t out length on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transi
t
ive_closure
.
c: con
s
truct_componen
t
:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_
m
ap
_
trans
i
tive_closur
e
:
d
o
n't
add length p
a
r
a
me
t
er
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
d
oc
:
fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
isl
_
set_gist: make
co
n
text argumen
t
an is
l
_
set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
isl_ma
p
_transitive_closure: coalesce in
p
ut map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
isl_transi
t
ive_clos
u
re
.
c: co
n
st
r
u
c
t_comp
o
nent:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
doc: c
i
te Omega l
i
brary
documentatio
n
on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
ad
d
i
sl_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
la
e
ge
isl_arg
.
h: add miss
i
ng include
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdo
o
laege
isl_ba
s
ic_map_m
o
ve_dims: norma
l
ize
equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
ge
rename isl_m
a
p
_move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoo
l
a
ege
isl
_
op
t
ions_pa
r
s
e: only
p
arse k
n
own options by def
a
ult
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
i
s
l_ma
p
_closure: opti
o
nally use Omega-
l
i
ke alg
o
rit
h
m
commit
|
commitdiff
|
tree
2010-04-10
S
v
en V
e
rdool
a
ege
isl_clos
u
r
e:
take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map
_
affine_hull:
h
andle non
-
obviously e
m
pty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
map_co
m
p
ute_divs:
handle non-obvio
u
sly empty
i
nput
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoola
e
g
e
isl_b
a
si
c
_set_preima
g
e: add
extra sanity c
h
eck
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
a
eg
e
isl_basic_map_s
e
t_to
_
empty:
a
dd missing
a
s
signment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl_equa
l
itie
s
.
c
:
i
s
l_
m
at_var
i
a
ble_c
o
mpression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl_sample
.
c
:
i
nitial_
b
asi
s
: set n_un
b
ounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verd
o
o
l
a
e
ge
i
s
l_map_coalesce: only u
s
e non-redundant c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven
Verd
o
olaege
isl_map_
p
rint: a
l
low empty constraint
s
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoolaeg
e
isl_options
.
h: allow inclusion fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verd
o
olaeg
e
i
sl_arg
.
h: allow in
c
lusion from C++
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verd
o
olaege
isl_map_t
r
ansitive_cl
o
sure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
isl_ma
p
_deltas: pre
s
e
rve dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_print: support La
T
eX output
format
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
erdoolaege
isl
_
map_simplify:
don't
remove any d
i
v definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
isl_map_intersect: add s
p
ecial cas
e
s for e
m
pty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven
Ve
r
d
oolaege
isl_transitive_clo
s
u
r
e
.
c: path_alo
n
g
_
del
t
a: share
c
ode
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
isl_tr
a
nsitive_closure
.
c: path_
a
lon
g
_delta: try
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Ver
d
o
olaege
export
i
sl_qpolynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
a
dd
i
s
l_qpolyno
m
i
a
l
_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolaege
add
isl_pw_qpolynomial_fo
l
d
_
g
et_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
e
g
e
add
s
ome qpolynomial test fun
c
tions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_p
w
_qpolynomial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
aege
isl_tab_min_at_m
o
s
t_neg
_
o
ne: res
t
ore sample value
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolae
g
e
isl_map_coalesce: avoid
re
c
onsidering pairs consid
e
red
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolae
g
e
isl_tab
.
c: update de
b
ugging aid check_table to p
r
esence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaeg
e
isl_tab_
r
elax: make sure no non-negative rows
ge
t
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
Verdoo
l
aege
i
s
l_tab_pip
.
c: always
s
et
r
ow sign
o
f fo
u
nd row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolaege
isl_printer_p
r
int_ba
s
ic
_
{set,m
a
p}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaeg
e
export is
l
_
se
t
_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaeg
e
a
d
d
isl_set_recess
i
on_con
e
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verd
o
olaege
add isl_set_dim_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_tran
s
itive_closure:
break early if inp
u
t
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doola
e
ge
i
sl_map_t
r
ansi
t
i
v
e_c
l
osure:
coale
s
ce aft
e
r each step
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Ver
d
oolae
g
e
exp
o
rt
i
sl_pw_
q
polynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
isl_tab
.
c:
u
nrelax: restore row if vari
a
b
l
e
i
s
non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: cu
t
_to_hyper
p
lane:
a
dd ext
r
a sanity check
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verd
o
olaege
add isl_pw_qpolynomial_fold_
s
ize
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erd
o
olaege
add
is
l
_
p
w
_
qpolynomial_split_
d
ims
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
Verdoolaege
is
l
_qpolyn
o
mial_
m
ax: f
i
x dete
c
t
ion o
f
inacti
v
e variables
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Ve
r
d
oolaege
doc: fix transit
i
ve closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_convex_
h
u
ll
.
c:
valid_direc
t
ion: pro
p
erly
normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
o
o
lae
g
e
i
sl_convex
_
hull
.
c: simplify computation of initi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
export isl_pw
_
qpolynomial_is_zer
o
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ve
r
doolaege
add isl_pw_qpolynom
i
al_fold
_
di
m
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdool
a
eg
e
add
isl
_
int_
g
et_d
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
add isl_pw_qpolynom
i
al_m
i
n
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
add is
l
_p
w
_qpo
l
ynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
Verdoolaege
add
i
s
l_pw_qpolynomial_a
d
d_dims
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Ver
d
oolaege
expor
t
isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
isl_pw
_
qpoly
n
omial_fol
d
_add: re
m
ove
redund
a
nt quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_qp
o
lynomial_a
l
loc: take initial struct isl_upoly
.
.
.
commit
|
commitdiff
|
tree
next