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
export isl_pw_qpolynomial_fold_drop_dims
2010-06-12
Sve
n
Verd
o
ola
e
ge
e
x
port isl_pw_qpolynomial_fol
d
_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolae
g
e
e
xport isl
_
qpolynomial_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
g
e
add isl_
q
polynomia
l
_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
add isl_qpolyno
m
ial_from
_
affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
e
x
p
o
r
t
isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolynom
i
a
l
_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
add
is
l
_qpoly
n
o
m
ial
_
degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
d
oolaege
ad
d
isl_qpolynomi
a
l_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolyn
o
mial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
isl_c
t
x: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
isl_tab_detect_
i
mplicit_equalities: r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
lae
g
e
add
i
sl_tab
_
sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab_select_facet: r
e
t
u
r
n
i
nt instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
e
g
e
a
dd isl_
b
a
sic_se
t
_full_c
o
mpression
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privately ex
p
o
rt i
s
l_pw_qpolynomial
_
morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
a
d
d
isl_q
p
ol
y
n
o
m
ial_fol
d
_
foreach_
q
polyno
m
ial
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_
p
w_qpo
l
ynomial_fold_foreach_li
f
ted_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
e
x
por
t
isl_pw_qpol
y
nomial_fol
d
_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
pr
i
vate
l
y export isl_morph_alloc an
d
is
l
_
m
orph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
add isl_qpolynom
i
al_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt i
s
l_pw
_
qpolynomia
l
_get
_
c
t
x
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
a
dd isl_ctx_
p
eek_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaeg
e
expo
r
t isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
i
s
l_bo
u
nd: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
fix isl_qp
o
lynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
i
sl_pw_qpolynomi
a
l_boun
d
_
r
ange: fix
r
emoval
o
f
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add bound_test
.
s
h
to distri
b
u
t
ion
commit
|
commitdiff
|
tree
2010-06-11
S
ven
V
erdo
o
laege
doc: docu
m
e
nt gist
operations
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n V
e
rdoolaege
doc: d
o
cument isl
_
constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n Verdoolaege
add
isl_map_is
_
single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
o
l
aege
isl_basic_map_foreach_constrai
n
t: make
s
ure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verd
o
olaege
isl_basic_map_
c
o
p
y:
m
a
r
k d
u
plicated cop
y
as
f
i
n
alized
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Ve
r
doolaege
isl_basic_
s
et_lift:
finali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdool
a
ege
isl_basic_map_move_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
is
l
_basic_
m
ap_from_constrain
t
: finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl
_
ac
c
ess_info_compute_f
l
ow:
h
andle
may accesse
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
is
l
_access_info_compute_flow: handle
m
ulti-valued
sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdo
o
la
e
ge
remove s
o
me unused variable
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
fi
x
some icc
warni
n
g
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
renam
e
i
s
l
_p
w
_qpoly
n
o
m
ial_move and add isl_pw_qp
o
lyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: kee
p
t
rack o
f
user optio
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaeg
e
improved argu
m
ent pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
r
doolaege
isl_optio
n
s_par
s
e
:
pr
i
nt help me
s
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
add isl_boun
d
test ap
p
lication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
ae
g
e
add isl_pw_
q
pol
y
nomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
p
w_qpol
y
nomial_fol
d
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
ad
d
rudim
e
ntary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
is
l
_eq
u
ali
t
i
e
s
.
c: fix typ
o
i
n comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaeg
e
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_mat_normaliz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
m
a
t
_diag
o
nal
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
i
s
l_mat_lin_to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolynomi
a
l_op
t
_on_domain
:
handle e
m
pty inpu
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
l
aeg
e
isl_name_
a
lloc
:
fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c
:
fix typos
i
n comme
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
dool
a
ege
a
dd isl_pw
_
qpolynomial_fold_cov
e
rs
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
l
aege
add isl_qp
o
lynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
privately export
isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add i
s
l
_se
t
_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
d
d
is
l
_st
r
eam_rea
d
_pw
_
qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
add isl_qpolyno
m
ial_f
r
o
m
_term
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add is
l
_qpolynomial
_
f
r
om_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
basic_set_for
e
ach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add is
l
_qpolynomial_as_polynomi
a
l_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
add isl_qpolynomial_substit
u
t
e
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaege
add isl_ba
s
ic_s
e
t_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oola
e
ge
isl_ctx: add
z
ero
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add isl_qpolynomial_neginf
t
y
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add isl_basic
_
set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_q
p
olynomial_fold_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
is
l
_pw_*_
e
val:
f
ix handling
of empt
y
input
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verd
o
o
l
aege
add isl_basic_set_move_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
e
x
port isl_qpolynomia
l
_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Ve
r
doolaege
add isl_qpolynomi
a
l_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
la
e
g
e
isl_map_tran
s
it
i
ve_closure: coalesce in
p
ut before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdo
o
lae
g
e
add map_lex_*_fir
s
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verd
o
olaege
isl_ma
p
_
l
ex_le: us
e
one b
a
sic s
e
t le
s
s i
n
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdoola
e
ge
isl_stream: acc
e
pt lexicographic
o
p
erators
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_
m
a
p
_transitiv
e
_closure:
check if inpu
t
i
s c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoo
l
aege
add isl_printe
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
e
r
d
oolaege
isl_map_read:
pars
e
parame
t
ric Omega input
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
Verdoolaeg
e
isl_m
a
p_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdo
o
laege
isl_
c
onvex_hull
.
c: is_bound
:
any inequality i
s
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
i
s
l_c
o
nvex_hull
.
c: add
_
bounds: propagat
e
e
r
rors
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sve
n
Verdoolaege
d
o
cument isl_m
a
p
_
reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl_str
e
am_ne
x
t_t
o
ken: terminate st
r
ing tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
lae
g
e
is
l
_map_transitiv
e
_closure: treat eq
u
ality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
do
o
laege
i
s
l
_
map_t
r
a
n
sitive_
c
losure, o
m
ega-like: only
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaeg
e
isl_map_transitive_closure: u
s
e
simple
h
u
l
l in ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l
_
map_transitive_closure: try an
d
compute clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl
_
map_coalesce: a
l
low wrapping in s
e
t
s
t
h
at stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl_map_c
o
alesc
e
: all
o
w
i
ng cutting equaliti
e
s in ad
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoo
l
aege
add some
mor
e
coalescing test
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
is
l
_ba
s
ic_map_gist
:
b
e
m
ore
a
ggressive in remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verd
o
olaege
isl_stre
a
m
: acc
e
pt
s
tring t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab_roll
b
ack: r
e
store rows that are no long
e
r marked
.
.
.
commit
|
commitdiff
|
tree
next