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
extract out generic part of isl_pw_qpolynomial_bound_range
2010-06-12
Sven Ve
r
d
oolaege
e
xtract ou
t
generic part of
i
sl_p
w
_qpolynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
isl_pw_q
p
ol
y
nomial_bound_range: also
set
e
xactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
add i
s
l_basi
c
_se
t
_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
lae
g
e
export
isl_
p
w_qpolynomial_fold_dro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export
i
sl_qpolyn
o
mial_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_qpoly
n
omial
_
coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
i
s
l
_qp
o
lynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
export isl
_
qpo
l
ynomial_a
d
d_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
add isl_qpol
y
nomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
a
d
d isl_qp
o
lynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_qp
o
ly
n
o
m
i
al_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
g
e
ad
d
i
sl_qpolynomi
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
isl_tab_detect_implicit_equal
i
ties: return
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
laeg
e
a
d
d isl_
t
ab_sign
_
of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
s
l_tab
_
sele
c
t_facet: return int in
s
te
a
d
of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ad
d
isl_basic_set_full_comp
r
essi
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaeg
e
privately export isl_pw
_
qpolynomi
a
l_morp
h
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
add isl_
q
p
o
lyno
m
i
a
l
_
fold_f
o
r
e
a
ch_qpol
y
no
m
ial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
l
a
ege
add isl_pw_qpolynomial_fo
l
d_foreach_lif
t
ed_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
e
x
port isl_
p
w
_
qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
private
l
y export isl_morph
_
a
l
l
oc and isl_morph_
i
de
n
tity
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
add isl_q
p
o
lynomia
l
_fold_get_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
e
xport isl_pw_
q
po
l
ynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
g
e
a
d
d
i
sl_ctx_peek_option
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oolaege
isl_range
.
c
:
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
oolae
g
e
isl_bound: plug
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
i
sl_
q
poly
n
omial_
f
o
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
isl_pw
_
qp
o
lynom
i
al_
b
ound_ran
g
e: fix
r
e
mo
v
al
o
f
di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add bound_t
e
s
t
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolae
g
e
doc: document
g
ist opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
doc
:
docum
e
nt isl_
c
o
n
straint_i
s
_equality
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolaege
a
d
d isl_map_is_single_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_map_foreach_c
o
nstr
a
int
:
make sure
i
nput ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n V
e
rdoolaege
isl_ba
s
ic_map
_
copy: m
a
rk duplicated c
o
p
y as f
i
naliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n
Verdo
o
laege
isl_basic
_
set
_
lift: finali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
i
sl_basic_map_mo
v
e_dims: alwa
y
s f
i
nalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl
_
basic_map_
f
rom_constraint
:
fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
isl_access_in
f
o_compu
t
e_flo
w
: han
d
le may accesse
s
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
erdoolaege
isl_access_info_compute_flow: handle multi-val
u
e
d
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoo
l
aege
rem
o
ve som
e
unused variabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaege
rena
m
e isl_pw_qpolynom
i
al_move and add isl_pw
_
qpoly
n
omial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ve
r
d
oo
l
aeg
e
is
l
_ctx: keep tra
c
k
of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaeg
e
isl_
o
pt
i
ons_parse: pr
i
nt help
message
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoola
e
ge
add
i
sl_boun
d
test
ap
p
lication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_p
w
_qpolynomia
l
_bo
u
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olaege
add isl_pw_qpolynomial
_
fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimentar
y
isl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equa
l
ities
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_mat_insert_row
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
laege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add i
s
l_mat_diago
n
al
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
g
e
isl_mat_lin_to_
a
ff: fix
e
r
ror
h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_qpolynomial_opt_on_domain: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
isl
_
n
ame_alloc:
fix
error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_
d
im_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
e
ge
isl
_
equa
l
i
t
i
e
s
.
c
:
fix ty
p
os in
c
o
m
m
ents
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add is
l
_
pw_qpoly
n
o
m
i
al_fold_co
v
ers
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaeg
e
add isl_qpo
l
y
n
omial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
privat
e
l
y
e
xport is
l
_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdool
a
eg
e
a
d
d
isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_stream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add is
l
_qp
o
lynomi
a
l
_fro
m
_term
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolyno
m
ial_
f
rom_cons
t
raint
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Ve
r
doolaege
add isl_basic_set_foreach_b
o
und
_
pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
add isl
_
q
p
o
lynomial
_
as_polynomial_on
_
d
oma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
ool
a
ege
add is
l
_qpolynomial_subs
t
itu
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoola
e
ge
a
d
d isl_basic_set_di
m
s_get_sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oolaege
i
sl_ctx: add ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoo
l
aege
add
isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
isl_q
p
olyno
m
ial
_
fold_
o
pt_on_domain: fix t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
isl_pw_*_eval: fix ha
n
dling
of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
add isl_basic_set_move_dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
export isl_qpolyno
m
ial_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
dd isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
er
d
oolaege
isl_map_transitive_closu
r
e: coalesce in
p
ut before
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
oola
e
ge
add
m
ap_lex_*_f
i
rst
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
isl
_
map_l
e
x_l
e
:
use one
b
asic set less in resu
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verd
o
o
laege
isl_stream:
accept
lexicographic
o
pe
r
ators
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdool
a
ege
isl_
m
ap_t
r
ansitive_closure:
c
heck
if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
add isl
_
p
rinter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaeg
e
isl_map_read: parse paramet
r
i
c
Omega input
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
is
l
_
m
ap_read: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaeg
e
isl_co
n
ve
x
_
h
ull
.
c:
is_bou
n
d:
any
i
nequali
t
y is
a
b
ound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoola
e
ge
i
sl_c
o
nvex_hull
.
c:
add
_
bounds: propagate e
r
rors
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
erdoolaege
document i
s
l_map
_
re
v
er
s
e
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verd
o
olaege
i
sl_stream_next_token
:
terminat
e
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_
m
ap_transitive_closure: treat equalit
y
as pai
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_map_tran
s
i
t
i
v
e_closure,
o
m
ega-lik
e
: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verd
o
ol
a
ege
isl
_
map_t
r
ansitive_closure:
u
se simple hull in
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoola
e
ge
isl_map_
t
ransit
i
v
e
_clo
s
ure: t
r
y and compute
c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_coalesce: allow
wrapping in sets
t
h
a
t stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Verdoo
l
aege
isl_map
_
co
a
lesce: a
l
lowing cut
t
in
g
eq
u
a
l
i
tie
s
in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdool
a
e
g
e
add so
m
e
more coalesc
i
n
g
test cases
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ve
r
dool
a
ege
isl_b
a
sic
_
m
a
p_gist: be mo
r
e aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
next