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
implement antiquated isl_basic_set_n_* in terms of isl_basic_set_dim
2010-06-12
Sven Verdoolaege
extract out generic part of isl_pw_qpolynomial_bound
_
r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
doolaege
i
sl_pw_
q
polynomial_bound_rang
e
:
also set
e
x
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
add is
l
_bas
i
c_
s
et_fact
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
e
x
port isl_pw_qpolynomial_fold_d
r
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t
isl_qp
o
lynomial_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add i
s
l_qpolynomi
a
l_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
d
d
i
sl_qpolyn
o
mi
a
l_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export
isl_qpolyn
o
mial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
s
l
_qp
o
lynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add isl_qpolynomial_
d
e
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_qpolyno
m
ial_inse
r
t_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add is
l
_qpo
l
y
nomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
isl_ctx:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b_detect_
i
mpli
c
it_equal
i
ties: r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
isl_tab_select_facet:
return int inste
a
d
o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
add
i
sl
_
basic_set_full_compr
e
ssion
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaeg
e
priva
t
ely ex
p
ort
isl_p
w
_qpol
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
ad
d
isl_qpolynomial_fold_fore
a
ch_
q
p
o
lynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add i
s
l_pw_qpolynomial_fold
_
foreach_lifted_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
export isl
_
pw_qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
private
l
y
e
xpo
r
t i
s
l_morph_alloc
and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_
q
poly
n
omial
_
fold_g
e
t_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt i
s
l_
p
w_qpol
y
nomial_
g
et_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
c
tx_peek_op
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c
:
fix typo
i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
ex
p
o
rt i
s
l_set
_
is_bound
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
g
e
i
s
l_bound:
p
lug m
e
mory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
fix
i
sl_qpolyno
m
i
a
l_f
o
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
i
sl_pw_qpolynom
i
a
l_
b
ound_ra
n
ge: fix removal of di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
a
d
d bound_test
.
sh to distributio
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: docume
n
t
gi
s
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolaege
doc:
d
oc
u
me
n
t isl
_
c
o
n
straint
_
is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_ma
p
_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_map_foreach_
c
onstrain
t
: m
a
k
e
sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_
basic_map_copy
:
mar
k
duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
is
l
_basic_set_lift: finalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
o
o
laege
isl_basic_map_mov
e
_dims: always fin
a
l
ize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
isl_basic_
m
ap_from_constraint: f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaeg
e
isl_
a
cc
e
ss_info_compute_flow:
h
an
d
le may ac
c
e
sses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
o
olaege
isl_acc
e
ss_
i
n
fo
_
compu
t
e_flo
w
: h
a
ndl
e
multi-v
a
lued s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdool
a
e
ge
re
m
ove
some unused var
i
abl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix
some ic
c
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
er
d
oolaeg
e
rename isl_pw_
q
polynomial_move a
n
d add isl_pw_qpolynom
i
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en V
e
rdoolaege
isl_ctx: k
e
ep t
r
ack of user options
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ver
d
o
o
laege
im
p
rove
d
argument p
a
rsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_option
s
_
parse:
print help messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
a
d
d
isl_pw_qpoly
n
omi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_pw_qpolynom
i
al_fol
d
_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
a
d
d rudime
n
tary
isl_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl
_
s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_eq
u
alities
.
c: f
i
x typo
in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
add isl_mat_
i
nsert
_
rows
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoo
l
a
ege
ad
d
isl_m
a
t
_n
o
rmalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add
isl_mat
_
diago
n
al
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
isl_mat_lin_to_aff: fix error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
e
g
e
isl_qpolynomial_opt_on_doma
i
n: ha
n
dle
e
mpty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
aege
isl_name_alloc: f
i
x err
o
r handl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
oolaege
add isl_di
m
_offse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_eq
u
alitie
s
.
c: fix
t
y
p
os
i
n comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_pw_qpolynomia
l
_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
olaege
add i
s
l_qpolynomi
a
l_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
o
la
e
ge
private
l
y
e
xpo
r
t isl_s
e
t
_
is_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_set_c
o
u
n
t_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_stream_read_pw
_
qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_qpo
l
ynomial_from_co
n
stra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
ad
d
isl_b
a
sic_set_forea
c
h_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
add isl
_
qpolynomial_as_
p
oly
n
omial_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
a
d
d isl_qpolynomial_substi
t
ute
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add
i
sl_basi
c
_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdool
a
e
ge
isl_c
t
x
:
add
zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
a
d
d isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add is
l
_
b
asic_se
t
_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l_qpoly
n
omia
l
_
f
o
l
d
_opt_on_doma
i
n: fix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolae
g
e
isl_pw_*
_
e
val: fix handling of e
m
pty input
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolae
g
e
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
exp
o
rt isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
add
isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoo
l
aeg
e
isl_map
_
transitive_closure: c
o
alesce input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n
Verdo
o
laeg
e
isl_map_lex
_
l
e: use
one ba
s
ic set les
s
i
n
result
commit
|
commitdiff
|
tree
2010-05-01
S
v
e
n
Verdoo
l
aege
isl_s
t
ream: accept lex
i
cographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_transi
t
ive_cl
o
s
ur
e
: check if input is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolae
g
e
add isl_print
e
r_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaege
isl_map_read
:
parse para
m
etric
Ome
g
a
input
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ver
d
o
ola
e
ge
i
sl_map_r
e
ad: f
i
x
t
yp
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
o
laege
isl_co
n
v
e
x
_h
u
ll
.
c: is_bound: any inequality
i
s a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolae
g
e
isl_c
o
n
vex_hull
.
c: add_bounds: pr
o
pa
g
ate errors f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ven Verdoolaege
doc
u
ment isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoola
e
ge
isl_stream
_
n
ext_token: terminate
s
trin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ve
r
d
o
olaege
isl_map_transiti
v
e_closure: t
r
eat
e
quality
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdool
a
ege
is
l
_
map_transitive_closure, omega-l
i
ke: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transi
t
ive_closure: use
s
imple hull in
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl
_
map_transitive_c
l
osur
e
: try and
c
ompute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_coalesce: al
l
o
w
wrapping in s
e
ts that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoo
l
aeg
e
i
s
l_map_c
o
a
lesce: allowing cut
t
in
g
equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
a
dd some more
c
oalesci
n
g test
c
ases
commit
|
commitdiff
|
tree
next