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_stream_next_token: terminate string tokens
2010-04-24
Sven Verdoolaege
isl_st
r
eam_next_
t
o
ken: ter
m
inat
e
s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_
m
ap_tra
n
sitive_closure:
treat
e
quality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
o
laege
isl
_
map_t
r
ansitive_closure, ome
g
a-like
:
only us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_transitive_closure: use simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_map_
t
r
a
nsitive_cl
o
sure:
t
r
y
a
nd compute
closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
i
s
l
_map_coalesce: allo
w
wrapping
i
n
sets
t
hat stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map_coalesc
e
: allowing cutting equalit
i
es in adjac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verd
o
olaege
a
d
d some more
c
o
alescing test cases
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_basic_map_gi
s
t: be
m
ore ag
g
res
s
ive in r
e
movin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_stream: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab_rollba
c
k: rest
o
r
e
rows that are n
o
l
on
g
er
mar
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
olaege
doc
:
docum
e
nt simp
l
e hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Verdoolaeg
e
doc:
e
mphasize that we a
r
e dealing with
integer sets
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
erdoolaege
isl_transitive_closure
.
c: path_al
o
ng_delta:
only avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ve
r
doolaege
isl_
m
ap_transitive_closure: compute divs o
f
i
n
put
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n V
e
rdo
o
lae
g
e
isl_map_compu
t
e_divs:
m
a
k
e sur
e
re
s
ult is gausse
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaeg
e
isl_pri
n
ter_print_pw_qpolyno
m
ial: properly pr
i
nt c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_pip a
n
d
i
sl_cat: terminate isl_a
r
g array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Verdoolaege
do
c
: document setting a
n
d ge
t
ting of dimens
i
on n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
doc
:
document *_get_
d
im functions
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaege
isl_
m
ap_convex_hull: handle non ful
l
-dim
e
nsional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_
h
ull
.
c
: mo
d
ulo_affine_hull: dro
p
redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c
: convex_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
Ver
d
oolaege
isl_printer_print_basic_set: fix up print
i
ng to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoo
l
a
e
ge
add isl_set_neg an
d
isl
_
se
t
_
sum
commit
|
commitdiff
|
tree
2010-04-16
Sv
e
n Verd
o
ola
e
g
e
isl_tran
s
iti
v
e_cl
o
s
ure
.
c: fix do
c
umentation of c
o
nst
r
uct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n V
e
rdoolaege
isl_map
_
c
oa
l
e
s
c
e
: make
s
u
re result still
con
t
a
i
n
s
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
la
e
ge
isl_ma
p
_t
r
a
n
sitive_clos
u
re: Floyd-
W
arshal
l
:
properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_m
a
p_transitive
_
cl
o
sure: use
Floyd-Wars
h
al
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
Verdoolaege
isl_t
r
ansitive_closure
.
c: extract out isl
_
set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_map_transitive
_
cl
o
sure: projec
t
out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
isl_transitiv
e
_
closure
.
c: con
s
truc
t
_compon
e
nt
:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven
V
e
r
doolaege
isl
_
map_trans
i
t
i
v
e_cl
o
s
u
r
e: don't add length
p
arameter
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
Verdoola
e
ge
do
c
:
f
ix
t
ypo
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set_gis
t
:
m
ake
context argument
an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
isl_map_transitive_closure: coa
l
esce inpu
t
map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
is
l
_transiti
v
e_closure
.
c
: cons
t
r
uct_c
o
mp
o
n
e
nt: al
w
a
y
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolae
g
e
d
o
c: cite Omega libra
r
y documentatio
n
on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
add isl
_
stream_r
e
ad_ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_ar
g
.
h: a
d
d
missing in
c
lud
e
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
ge
isl_basic_map_move_di
m
s:
n
ormalize equalities
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n Verdoolaege
rename isl_map_move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_options_parse: o
n
ly parse known options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
ool
a
ege
isl_ma
p
_cl
o
sure:
o
pti
o
n
al
l
y use
O
me
g
a-lik
e
a
l
g
o
r
i
thm
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Ver
d
oolaege
isl_c
l
osure: take op
t
ions
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_affine_hull: handle non-obvio
u
sly
e
mpt
y
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
i
s
l_map_comp
u
te_
d
i
vs: han
d
le non-ob
v
iously
empty
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl_basic_s
e
t_
p
rei
m
a
g
e
: add e
x
t
ra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
la
e
ge
isl_basi
c
_map_
s
et_to_empty: add missing ass
i
gnment
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl
_
equalities
.
c: isl
_
mat
_
variable_compress
i
o
n
:
c
larify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
e
r
d
o
olaege
isl_sample
.
c: i
n
iti
a
l_basis: set
n
_unbo
u
nded and
n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n
V
erdoolaege
isl_map_coalesce: only use non
-
re
d
und
a
nt c
o
nstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl
_
map
_
print:
allow empty
cons
t
raints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
o
l
a
ege
i
s
l_opt
i
ons
.
h: allow incl
u
sion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Ve
r
doolaege
isl_arg
.
h: all
o
w inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Ver
d
oolaege
isl_
m
ap_
t
r
ansitive_closure:
h
andle exis
t
e
n
tials
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
isl
_
map_deltas:
preserve d
i
mension names
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ver
d
oolae
g
e
i
sl_map_print: supp
o
rt
LaTeX output f
o
r
m
at
commit
|
commitdiff
|
tree
2010-04-07
S
v
en V
e
rdoolaege
isl_map_simplify: don't r
e
move an
y
d
iv definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
is
l
_map_inters
e
ct:
a
dd special cases for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_trans
i
tive_closure
.
c: pat
h
_along_delta: sh
a
re cod
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
is
l
_transitive_clo
s
ure
.
c: pa
t
h_a
l
ong_delt
a
: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
export isl_qp
o
lynomial_mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoolaege
add isl_qpolynom
i
al_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
olae
g
e
ad
d
isl_pw_qpolynomial_
f
old_get_dim
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdoolaege
add some qpo
l
yno
m
ial test f
u
nctions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdo
o
laege
add isl_pw_qpolyno
m
ial_fold_
{
max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoo
l
aege
isl_tab_mi
n
_at_mos
t
_neg_one: restor
e
samp
l
e value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oola
e
ge
isl_map_coalesc
e
: avoid reconsidering pairs conside
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laeg
e
isl_ta
b
.
c: upda
t
e deb
u
g
g
ing aid che
c
k_table to
p
r
esence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
isl_tab_rel
a
x: make sure no non-ne
g
ative
rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
o
o
laege
i
s
l
_tab_pip
.
c: alway
s
set r
o
w
sign of found
row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
isl_printer_pr
i
nt_basic_{set,map}: add clos
i
ng "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
export is
l
_set
_
sp
l
it_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add
isl_set_recession
_
cone
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdool
a
eg
e
add isl_set_
d
im_is_
b
oun
d
ed
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaege
isl_map_transitive_closure: br
e
a
k early if i
n
put ma
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl
_
map_tran
s
iti
v
e_closu
r
e: coal
e
sce
after e
a
ch st
e
p
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
expo
r
t isl_pw_qp
o
lynom
i
al_coalesce
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
Verdoolaege
isl_tab
.
c: unrelax:
restore row if variable is n
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolaege
i
s
l_tab
.
c: cu
t
_to_hyperplane: a
d
d extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_
p
w
_
qpolynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
ad
d
isl_
p
w
_qp
o
lyno
m
ial_spl
i
t
_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
i
s
l_qpolynomial
_
max: fix detection o
f
ina
c
tive varia
b
les
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
doc: fix
transiti
v
e closur
e
example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
a
ege
i
sl_c
o
nvex_hull
.
c: valid_directio
n
: properly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ve
n
Ver
d
oolaege
isl_convex_hull
.
c: si
m
plify compu
t
ation
o
f init
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdo
o
la
e
ge
export i
s
l
_
pw_qpolynomi
a
l_is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
V
er
d
o
o
laege
add
isl_pw_qpolyno
m
ia
l
_f
o
ld_dim
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
add isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoola
e
ge
a
dd isl_pw_q
p
olynomial_min
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
V
erdoolaege
add isl_pw_qpolyn
o
mial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_pw_qpol
y
nomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
expor
t
i
s
l_dim_mo
v
e
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoo
l
aege
isl
_
p
w_q
p
olynomial_fo
l
d
_add: remove redundant qua
s
ipoly
n
omia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n
Verdoolaege
isl_qpolynomi
a
l_alloc: take initi
a
l str
u
c
t
isl_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
l
a
ege
add isl_set_solv
e
_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
is
l
_polyn
o
mial
.
c:
sep
a
r
a
te out
f
old fun
c
t
i
onality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_p
w
_
qpolynom
i
al_{fold_,}print: set output format
commit
|
commitdiff
|
tree
2010-03-21
Sv
e
n Verdoolaege
improve isl_pw_
q
polyn
o
mial_move
commit
|
commitdiff
|
tree
next