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_read: fix typo
2010-04-28
Sven Ve
r
do
o
laege
isl_map_rea
d
: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
a
e
ge
isl_convex_h
u
ll
.
c: is_bound: an
y
i
n
equality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
isl_
c
onvex
_
h
u
l
l
.
c: add_b
o
u
n
ds: propaga
t
e
errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven V
e
r
doolaege
document isl
_
map_rever
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl_s
t
ream_next_to
k
en:
termi
n
ate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_tran
s
i
ti
v
e_
c
losure: treat equality as p
a
ir
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_
t
r
ansitive_closure, omega-
l
ike: only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_ma
p
_transitive_cl
o
s
ure:
u
se si
m
ple hull in
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
is
l
_map_tra
n
sitive_cl
o
sure: try and compu
t
e closur
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
i
s
l
_
map_
c
oalesce: allow wrapping i
n
s
e
ts tha
t
sti
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl
_
map_co
a
lesce
:
a
l
lowing cutting
equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
add some more coalescing te
s
t
cas
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdo
o
lae
g
e
i
s
l_basic_map
_
gist: be mor
e
ag
g
ressive in
r
em
o
v
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
stream: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ver
d
oolaege
isl
_
tab_rollback: restore rows that are no lo
n
g
e
r mar
k
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
doc: document
s
imple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
d
oc
:
emphasize
t
hat we are dealing with int
e
ger
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
l
aege
isl_transitive_
c
losure
.
c: pa
t
h_alo
n
g_delta:
only
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
o
la
e
ge
isl_ma
p
_transit
i
v
e_closure: compute divs of inpu
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
i
sl_m
a
p_co
m
p
u
t
e_
d
ivs: ma
k
e sure re
s
ult is gaus
s
e
d
an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
isl_pr
i
n
ter_print_pw_qpol
y
nomi
a
l: properly
p
r
int co
n
strain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolae
g
e
isl_pip a
n
d
isl_cat: termina
t
e isl_a
r
g array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
doc: document
sett
i
ng and gett
i
ng of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc:
docu
m
e
n
t
*_g
e
t_
d
im f
u
nctions
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ver
d
o
o
laege
isl
_
map_co
n
v
e
x_hull: handl
e
non ful
l
-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
isl_convex_hull
.
c: modu
l
o_
a
ffine_hull
:
dro
p
redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoo
l
aege
isl_convex
_
hull
.
c
:
con
v
ex_hull_pai
r
: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verdoolae
g
e
i
s
l_p
r
inter_print_basic
_
set
:
f
i
x up printing to
strin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add isl_set_n
e
g
a
nd isl
_
set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Ve
r
doolaege
isl_transiti
v
e_closu
r
e
.
c: fix docum
e
nta
t
ion of construc
t
_c
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en V
e
rdoo
l
aege
isl_map_coale
s
ce: m
a
ke sure result still contai
n
s set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdool
a
ege
i
s
l_map_transitive
_
cl
o
sure: Flo
y
d-Wa
r
shall: properl
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ver
d
oo
l
ae
g
e
i
sl_map_transitiv
e
_closu
r
e: us
e
F
loy
d
-Warsh
a
ll
o
n
d
isjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
i
s
l_tra
n
sitive_cl
o
sure
.
c: extract ou
t
i
s
l_se
t
_
overlap
s
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
doola
e
ge
isl_map_trans
i
tive_
c
losure
:
project out length on ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
l
ae
g
e
isl
_
tra
n
sitiv
e
_
c
losure
.
c:
c
onstruct_
c
o
mpo
n
ent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_map_transitive_clo
s
u
re: don't add
l
ength
p
arameter
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
Verdo
o
laege
d
oc: fix typ
o
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
isl_set_gist: make
context
argument an isl_s
e
t f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l_map_transitive_clos
u
re: coa
l
esce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_transitive_cl
o
s
u
r
e
.
c: construct_compone
n
t
:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven
Ve
r
doolaege
doc: cite Omega l
i
brary
documenta
t
ion on com
p
utation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
a
d
d
isl_stream_read_ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
d
o
olaege
isl_a
r
g
.
h: add missing include
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdo
o
lae
g
e
isl_basic_map_mo
v
e_dims: normali
z
e
equalities
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n
V
erdoola
e
ge
ren
a
me isl_m
a
p_
m
ove to isl_map_move
_
dims
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
doolaege
i
s
l_op
t
ions_p
a
rse: o
n
ly pa
r
s
e
known options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
l
a
ege
isl_map
_
closur
e
: opti
o
nall
y
use Omega-lik
e
a
l
go
r
ithm
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
dool
a
ege
isl_cl
o
sure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
isl_map_affine_h
u
ll: ha
n
dle non-obv
i
ously empty i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_m
a
p
_compute_divs: handle non-o
b
vio
u
sly empty inpu
t
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
isl_basic_set_preimag
e
: add
e
xtra s
a
n
ity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
i
s
l_basic_m
a
p_set_to_empty: ad
d
missi
n
g
a
ssignment
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl
_
e
q
ualities
.
c: isl_m
a
t_variable_compres
s
ion: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_sampl
e
.
c
: initial
_
basis: set
n
_unbo
u
nd
e
d and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erd
o
olaege
isl_map_coalesce: only use non-redundant cons
t
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
olaege
i
s
l_map_print:
al
l
ow emp
t
y constra
i
nts
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdo
o
laege
isl_
o
ptions
.
h: allow inclusion from
C++
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erd
o
o
laege
isl_arg
.
h
:
allow in
c
l
u
sion from
C
++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
o
la
e
g
e
isl_ma
p
_transitive_closure: handle existenti
a
ls
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verd
o
olaege
i
s
l_map_deltas:
p
reserve dimens
i
on na
m
es
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_map_print: support LaTeX outp
u
t
f
o
r
m
at
commit
|
commitdiff
|
tree
2010-04-07
S
ven Ve
r
doolaege
isl_map_simplify: don't remove any
div
defini
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_map_inte
r
sect: add s
p
ecial
c
a
s
es for
e
mpty i
n
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_transitive_c
l
osure
.
c: path_along_delta:
s
hare code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdo
o
la
e
ge
i
s
l_transitive_closure
.
c: path_along_delta: try an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
ool
a
e
g
e
e
xp
o
rt isl_qpolynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
ad
d
isl
_
qpolynomial_
g
et_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdo
o
l
aege
add
isl_pw_q
p
olynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
olaege
a
dd s
o
me
q
p
o
lynomial
t
e
st functions
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolaege
add isl_pw_qpolynom
i
a
l_fold
_
{max,mi
n
}
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolaege
isl_tab_min_a
t
_most_neg_one: resto
r
e sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaege
isl_map_coalesce: a
v
oid
r
econsider
i
ng pair
s
considere
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
V
er
d
oola
e
ge
isl_tab
.
c: update debugging aid check_table to
presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
i
sl_t
a
b_r
e
la
x
: ma
k
e sur
e
no no
n
-n
e
gative
r
ows get
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
V
erdoolaege
i
s
l_tab_pip
.
c
:
a
l
ways s
e
t row sign
of found
row t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
V
erdoola
e
ge
isl_prin
t
er_print_basic_{set,m
a
p}
:
ad
d
closi
n
g "}
"
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
export
isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
S
ven
V
e
rdoolaege
add isl_set_recess
i
on_cone
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoo
l
aege
add isl_set_dim_i
s
_bo
u
nde
d
commit
|
commitdiff
|
tree
2010-04-01
S
ven
V
er
d
oola
e
ge
isl_ma
p
_trans
i
tiv
e
_closure:
b
reak ea
r
ly if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doolaege
isl_map_transitive_closu
r
e: coalesce a
f
ter
e
a
ch ste
p
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
e
xport isl_pw_qp
o
lynom
i
al_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: unre
l
a
x
: r
e
s
t
ore
r
ow if varia
b
le is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaege
is
l
_tab
.
c: cut_to
_
hyperplane: add extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolaege
add
i
s
l_pw_qpolyno
m
ial_fold_
s
i
z
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
o
o
laege
add isl_pw_qpolynomial_split
_
di
m
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaeg
e
isl_qpolynomia
l
_max
:
f
i
x
det
e
ctio
n
of
i
n
active va
r
iables
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
do
c
:
fix
tra
n
sitive
c
losure e
x
amp
l
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
isl_
c
o
nve
x
_h
u
l
l
.
c
: va
l
id_direction: p
r
operly
normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
eg
e
isl_convex
_
h
ull
.
c
: simplify co
m
putation of
initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdool
a
e
g
e
export isl_pw_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
add isl_pw_qpo
l
yno
m
i
a
l_
f
old_dim
commit
|
commitdiff
|
tree
2010-03-23
S
ven
V
e
r
doolaege
add isl_int_get_
d
commit
|
commitdiff
|
tree
2010-03-23
S
ven Ver
d
oolaege
add
isl_
p
w_qpolyno
m
ial_mi
n
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoola
e
ge
add isl_
p
w_q
p
olynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoo
l
aege
add isl_p
w
_qpolynomial_add
_
dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
ex
p
ort isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
isl_pw_qpolynomial_fold_a
d
d: rem
o
ve
r
edundant qua
s
i
p
olynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl
_
qpolynomial_alloc: take init
i
al
stru
c
t
i
sl_upol
y
.
.
.
commit
|
commitdiff
|
tree
next