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
rename isl_pw_qpolynomial_move and add isl_pw_qpolynomial_fold_move_dims
2010-05-30
S
v
e
n
Verdoolaege
r
e
name isl_pw_q
p
olynomial_move and
add isl_pw_qpolynom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ver
d
oolaege
isl
_
c
tx:
k
eep track o
f
user o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoola
e
g
e
imp
r
oved argume
n
t parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolae
g
e
isl_options_
p
ar
s
e: print
he
l
p me
s
s
age
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Ver
d
oolaege
add
i
sl_bound
test application
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoola
e
ge
add isl_pw_qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add is
l
_p
w
_q
p
ol
y
nomia
l
_fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd rud
i
ment
a
ry
i
sl_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl
_
seq_
s
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
i
sl_equa
l
itie
s
.
c: fix typ
o
in commen
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_mat_in
s
er
t
_
r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
l
a
ege
add isl_mat_
n
or
m
alize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add i
s
l_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_mat_lin
_
to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
i
sl_qpolynomial_opt_on_domain:
handle
empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
isl_name_alloc: fix erro
r
han
d
l
i
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
isl_equal
i
t
ies
.
c
:
fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
add isl_pw_
q
polyno
m
ial_
f
old_co
v
er
s
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
dd isl_qpolynomia
l
_le_
c
st
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pr
i
vately export
i
sl
_
set_i
s
_boun
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
ad
d
isl_stream_re
a
d_pw_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
ge
a
dd isl_qpolynomial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l
_
q
p
o
ly
n
omial_from
_
constraint
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
g
e
add isl_bas
i
c_set_fo
r
each_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
e
g
e
add isl_
q
polynomi
a
l_as_p
o
lynomial_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
e
rdo
o
laege
add isl_qpoly
n
omial_substitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_basic
_
set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolae
g
e
isl_ctx: add ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
a
dd is
l
_
q
polynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdoolaege
add isl_bas
i
c_set_d
r
op
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erd
o
olaege
i
sl_qpo
l
ynomi
a
l_fo
l
d_opt_on_
d
omain: fix
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
isl_pw_*_eval: fix handling of
e
mpty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basi
c
_se
t
_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
export i
s
l_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add is
l
_qp
o
lyno
m
i
a
l_get_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ver
d
oo
l
a
ege
isl_map
_
t
r
ansitive_closure
:
c
oalesce inpu
t
before
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doo
l
aege
add map_
l
ex_*_
f
i
rst
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
d
o
olaege
isl_m
a
p_lex_le: use
o
ne basic set l
e
ss in
res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
S
v
e
n V
e
rd
o
olaege
is
l
_str
e
am: a
c
cept
lexicog
r
aphic o
p
erator
s
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolae
g
e
isl_map_transitive
_
cl
o
sure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoo
l
aege
add
isl_p
r
inter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaege
isl_map_rea
d
: pa
r
se
parametric Omeg
a
input
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
i
s
l_map_read:
f
ix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
dool
a
ege
isl_convex_hull
.
c: is_bou
n
d:
any inequality i
s
a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
isl_conve
x
_hu
l
l
.
c: add_
b
ounds: pro
p
agate
e
rrors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sv
e
n Verdoola
e
ge
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
i
sl_stream_next_token: t
e
rminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
i
s
l_map_transi
t
ive_clos
u
re:
t
re
a
t equality as p
a
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_map_transitive_closure, omeg
a
-like:
o
nly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolae
g
e
is
l
_
m
ap_transitive_closure: use
s
im
p
l
e
hull i
n
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdo
o
laeg
e
is
l
_map_transitive_closure: try
a
n
d
c
o
mp
u
te closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdool
a
e
g
e
i
sl_
m
a
p
_coales
c
e
: allow wrapping i
n
sets that
s
tick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaeg
e
isl_map_coa
l
esc
e
: allo
w
ing
c
utting equaliti
e
s in adja
c
en
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
add some m
o
re coale
s
c
ing
t
e
s
t cases
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
V
erdoolaege
isl
_
basic_map_gist: be mor
e
aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaeg
e
i
s
l
_str
e
am: acce
p
t string tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verd
o
olaege
isl_
t
ab_rollback:
r
estore rows that are
n
o longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
doc: document simpl
e
hul
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
doc:
e
mphas
i
ze
that
w
e are deal
i
ng with integ
e
r sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oo
l
ae
g
e
is
l
_tr
a
nsitive_closure
.
c: path_al
o
ng_delta: only
a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
isl_map_transitive_closur
e
: compute divs of
input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl
_
map_
c
om
p
ut
e
_d
i
vs: make sure result is gaussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
i
s
l_print
e
r_print_pw_qpolyno
m
ial
:
properly pr
i
nt constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
rdool
a
ege
isl
_
pip and isl_cat:
terminate isl_arg array with I
S
L_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
doc: docum
e
nt setting
a
nd getti
n
g of dimensi
o
n names
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
d
o
c: document *_get_dim
functions
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl
_
map_con
v
e
x
_h
u
ll
:
han
d
le non full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoo
l
ae
g
e
isl_convex_
h
ull
.
c: mo
d
ulo_affin
e
_hull:
drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoola
e
ge
isl_conv
e
x_
h
ull
.
c: convex_hul
l
_
p
air: skip
d
irection
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erdoolaeg
e
isl_printer_print_basic_set: f
i
x up printing to
s
tring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verdoolaege
ad
d
isl_s
e
t
_neg and isl_set_
s
um
commit
|
commitdiff
|
tree
2010-04-16
S
ven Verd
o
olaege
isl_tr
a
nsitive
_
clos
u
re
.
c: f
i
x docume
n
tation of construct_
c
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl
_
m
a
p_c
o
alesce: make sure r
e
sult still c
o
ntains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdo
o
laege
isl_map
_
t
ransitive_
c
losure:
Floyd-W
a
rsh
a
ll: p
r
ope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ve
n
V
erdoo
l
aege
i
s
l_map_transitive_clo
s
ure: use Floyd-Warshall on
d
isjoin
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_tr
a
nsitive_closur
e
.
c: extract out isl_set
_
o
v
e
rlaps
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_map_transitive_c
l
osur
e
: p
r
oje
c
t
o
ut length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
Verdool
a
ege
isl
_
t
ran
s
i
tive_clo
s
ure
.
c
:
construct_compone
n
t: do
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map
_
t
r
ansitive_closure: don't add le
n
g
th param
e
ter
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoola
e
ge
doc:
fix
typos
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolae
g
e
isl_set_gist:
make
co
n
text ar
g
ument an isl_set
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
i
s
l_m
a
p_transitive_clos
u
re: coa
l
esce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
is
l
_transitive
_
closure
.
c: cons
t
ruc
t
_com
p
one
n
t:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
d
o
c: cite Omega librar
y
documentation on computat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoola
e
ge
add isl_stream_re
a
d_m
a
p
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Ve
r
doolaege
isl_arg
.
h:
add
missing inc
l
ude
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoola
e
ge
isl_b
a
si
c
_map_move_dims: normal
i
ze e
q
u
alities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
rename isl
_
map_move to isl_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_options_parse: on
l
y parse known options by
d
efault
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
is
l
_map_
c
losure: optionally use Omega-lik
e
algo
r
ithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
oolaege
isl
_
cl
o
sure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
ool
a
e
ge
isl_map_affine_hull: handle non-obvi
o
usly empty
i
nput
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olae
g
e
i
s
l
_map_compute_di
v
s: handle
non-obviou
s
ly empty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdo
o
laege
isl_basic_
s
et_pr
e
image:
add extra sani
t
y check
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_basic_map_
s
e
t_to_empty:
add missing
a
ssi
g
nm
e
nt
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
erdoolaeg
e
isl_equ
a
lities
.
c: isl
_
mat_
v
a
r
iable_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rdoolaege
i
sl_sample
.
c: initial_basis
:
set n_unbounde
d
and n_zero
commit
|
commitdiff
|
tree
next