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_flush_tokens
2010-05-04
Sven Verdoolaege
a
d
d
is
l
_bas
i
c_set
_
move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
oo
l
aege
export
isl_qpolynomial_s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l_qpolyno
m
ia
l
_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
do
o
laege
isl_map_transit
i
ve_cl
o
sure: coalesce input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdool
a
ege
add map_lex_*_firs
t
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdoolaege
is
l
_
m
ap_le
x
_le: use one
b
a
sic set less in res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verdoolaege
i
s
l
_
stream
:
accept l
e
x
icographic operat
o
rs
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
Verdoolaege
i
s
l_m
a
p_transit
i
ve_closure: check if input is c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
add
isl_pri
n
ter_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
la
e
ge
i
sl
_
map_
r
ead: p
a
rse parame
t
ric Omega
i
npu
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
i
s
l_ma
p
_
r
ead:
f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
S
ve
n
Ve
r
doola
e
g
e
isl_convex
_
hull
.
c:
is_b
o
u
n
d:
a
n
y ineq
u
ality is
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_con
v
ex_
h
ull
.
c: add_boun
d
s
:
propagate e
r
rors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
is
l
_stream_next_token: terminate string
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolae
g
e
isl_map_tran
s
itiv
e
_closure: trea
t
equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
is
l
_map_trans
i
tive_closure
,
omega-like: on
l
y use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdoolaege
isl_m
a
p_transi
t
iv
e
_clos
u
re
:
use
sim
p
l
e hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
erdoolaege
isl_map_transitive_closure: try
and compu
t
e closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
do
o
l
a
ege
isl_ma
p
_coales
c
e:
a
l
low
w
rapping in s
e
ts
that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_
m
ap_coalesce: allowing c
u
tting equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
add
some m
o
re coales
c
ing test
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_
b
asic_ma
p
_gis
t
: be more aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aeg
e
isl_stream: accept string toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_tab_rollback:
r
e
store
r
ow
s
that are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
Verdoolaege
d
oc: document
simple hul
l
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rd
o
olaege
doc: emphasize that we
a
r
e
dea
l
ing
w
ith
integ
e
r se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sl_tr
a
n
sitive_
c
losu
r
e
.
c: path_a
l
o
ng_delta: only a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoolaege
i
s
l
_
m
ap_trans
i
t
ive_c
l
o
sure:
compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdo
o
laege
isl_ma
p
_
c
ompute
_
divs: make sur
e
r
e
sult
i
s gaussed
an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
d
oola
e
ge
isl
_
pri
n
te
r
_
p
rint_
p
w_qpolynomi
a
l: prope
r
l
y print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl
_
pip an
d
isl_cat: t
e
rminate isl_arg array w
i
th ISL_A
R
G_END
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n
V
e
r
d
o
olae
g
e
d
o
c: docu
m
en
t
setting and
g
etting o
f
d
ime
n
s
i
on names
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
doc
:
d
o
cume
n
t
*_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verd
o
olaege
is
l
_map_convex_
h
ull: handle non
f
ull-dimensional p
a
ir
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c: m
o
dulo_aff
i
ne_hull:
d
rop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdo
o
l
a
e
ge
is
l
_convex_hull
.
c: conve
x
_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n Verdoolaege
is
l
_
p
r
int
e
r_print_basi
c
_set
:
fix up print
i
ng to st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoola
e
g
e
add i
s
l_set_neg and is
l
_
set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_transitive_c
l
osure
.
c: fix docum
e
ntati
o
n
o
f construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
isl_map
_
coalesce: make s
u
re result still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_closure: Floyd
-
Warsha
l
l: pro
p
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rdo
o
l
a
ege
isl_map_transitive_closure: use Floyd-War
s
hall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
is
l
_transitiv
e
_closure
.
c: ex
t
r
act out i
s
l
_s
e
t_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rd
o
o
laege
isl_map_tra
n
sitive_closure: project out
l
ength on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
o
o
laege
i
sl_tran
s
i
t
i
ve_cl
o
sure
.
c:
c
on
s
t
r
uct_component: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_map_tra
n
sitive_closure: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc:
f
ix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
isl_set_gist:
mak
e
co
n
text argument a
n
isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_ma
p
_transitive_closur
e
: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
isl_t
r
ansitive_closur
e
.
c: const
r
uct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc:
c
ite Omega library do
c
umen
t
a
t
ion on com
p
utation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
a
d
d isl_stream_rea
d
_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_ar
g
.
h: add
missin
g
include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
ol
a
ege
i
s
l_basic_map_mo
v
e_dims: norm
a
l
i
ze equalit
i
es
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoolaege
re
n
ame isl_map_move to isl_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-10
S
ven
Verdool
a
e
g
e
isl_op
t
ions_parse
:
on
l
y parse known options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_ma
p
_clos
u
re:
optional
l
y use Omega-
l
i
ke
algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
d
oolaege
isl
_
closure: take op
t
ion
s
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolae
g
e
isl_map_affine_hu
l
l: handle non-obv
i
ously empty in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
isl_
m
ap_comput
e
_d
i
vs: h
a
ndle
n
o
n-o
b
viously emp
t
y in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_basic_set_preimage: add ext
r
a sanity check
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
isl_basic_map_set_to_em
p
ty: a
d
d
missing assig
n
m
en
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_e
q
ual
i
ties
.
c:
isl_mat_variabl
e
_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
V
erdoola
e
ge
i
sl_sa
m
pl
e
.
c: in
i
tial_basis: set n_unbounded an
d
n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
olaege
isl
_
map_coalesce: only
u
s
e no
n
-redun
d
ant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map_print: allow e
m
pty constrai
n
ts
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
r
d
oolaege
isl_o
p
t
i
o
n
s
.
h
:
all
o
w inclu
s
i
o
n from C++
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_a
r
g
.
h:
allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_m
a
p_transit
i
ve
_
closure: han
d
le existentia
l
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
la
e
ge
i
sl
_
map_deltas: preserv
e
dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erdoolaege
isl_map_p
r
int: support LaTe
X
output format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_simplify: don
'
t rem
o
v
e any div d
e
finitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
is
l
_map_intersect:
a
d
d special ca
s
es for
empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaeg
e
isl_
t
r
a
nsitive_clo
s
ure
.
c: p
a
th_along_delta: share c
o
de
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
i
sl_transitive_closure
.
c: path_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
export
i
s
l
_
q
polynomial_mov
e
_
dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
ad
d
isl_
q
p
o
lyno
m
i
a
l_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n V
e
rdoolaeg
e
a
d
d i
s
l_pw_qp
o
ly
n
omial
_
fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n
Ver
d
o
ol
a
ege
add s
o
m
e
qpoly
n
o
m
ial t
e
st functions
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
e
rdool
a
ege
a
dd isl_pw_qp
o
ly
n
om
i
al_fold_{max,
m
in}
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolaege
isl
_
tab
_
min
_
a
t
_most_neg_one: r
e
store samp
l
e value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Verdoolaege
i
sl_map_coa
l
es
c
e: avoid reconsiderin
g
pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaege
isl_t
a
b
.
c:
u
pdate deb
u
gg
i
ng aid check_table to p
r
es
e
nce
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
o
ol
a
ege
isl_tab_relax
:
make sure no non-negative
rows
g
et
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
ege
isl_tab_pi
p
.
c: always
s
et row sign of found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
i
s
l_printer_print_basic_{set,map}
:
add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Ver
d
oo
l
a
ege
expor
t
is
l
_
se
t
_s
p
lit_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add isl_set
_
reces
s
io
n
_cone
commit
|
commitdiff
|
tree
2010-04-01
S
ven Ver
d
oolae
g
e
add isl
_
set_di
m
_
is_
b
ounded
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Ver
d
oolaeg
e
isl_map_transitive_
c
l
osure: break early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verd
o
olae
g
e
isl
_
map_tran
s
itive_clos
u
re: coalesce after each step
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Ve
r
do
o
laege
export isl_pw_qpo
l
ynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
S
ven V
e
r
d
oolaege
isl_tab
.
c:
un
r
e
lax: restore
r
ow if varia
b
le is
no
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verd
o
olaege
i
sl_tab
.
c: cut_to_hyper
p
lan
e
:
add
e
x
t
r
a sanit
y
check
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoo
l
a
e
g
e
ad
d
isl
_
pw_qpolynom
i
al_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erd
o
o
l
a
e
ge
a
d
d
isl_pw_q
p
olynomial_s
p
lit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpolyno
m
ial_max: fi
x
d
e
t
ectio
n
of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
do
c
: fix
t
ra
n
sitive closure
e
xample
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verd
o
olaeg
e
isl_convex_hull
.
c: vali
d
_direction: properl
y
norma
l
i
ze
.
.
.
commit
|
commitdiff
|
tree
next