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
doc: document isl_map_deltas
2010-06-18
Sven Verdoolaeg
e
doc: document isl_map_
d
eltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaeg
e
isl_tab_pi
p
.
c: c
o
mpa
r
e all coeffi
c
ient
s
w
h
en check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Ve
r
doolaege
isl_pw_qpolynomial{,_f
o
ld}_gist: u
s
e simple hull
i
nst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoo
l
aege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Verdoolaege
a
d
d
isl_s
t
ream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olae
g
e
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
isl_qpolyn
o
mial_lif
t
: fix lif
t
ing in
absen
c
e of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oola
e
ge
opti
o
nally (and by default
)
u
se bernst
e
i
n expansio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
privately export isl_qpolynomia
l
_fold_fol
d
_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
ad
d
isl_pw
_
qpol
y
nom
i
al_fold_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdool
a
ege
add parametric v
e
rtex enume
r
atio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ad
d
i
sl_morph_dom_dim and isl_
m
orph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
ad
d
isl_
b
asic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately expo
r
t isl_b
a
si
c
_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_tab_detect_implicit_equalities:
a
lso
detect
m
anif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
isl_tab
:
opt
i
ona
l
l
y only
m
ark str
i
ctly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaeg
e
ge
n
er
a
lize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
extract out
g
en
e
ric part of isl
_
pw_qpolynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
isl_pw_qpol
y
nomial_boun
d
_
range: al
s
o
set exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_basic_set_f
a
ctorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export isl_pw_qpolynomial_fol
d
_dro
p
_dim
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
a
e
g
e
e
xport isl_qpolyno
m
ial_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_qpolynomi
a
l
_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
er
d
oolaege
add isl
_
qpo
l
yn
o
mial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
export
i
sl_qpolyno
m
ial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
o
l
aege
a
dd isl_qpolynomial_homoge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
a
d
d isl_qpolynomial_de
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
d
d is
l
_qpolynomial_insert
_
dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
a
d
d i
s
l_
q
poly
n
o
m
ial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: add tw
o
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_tab_detect_implicit_equalities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
add is
l
_
t
ab_s
i
gn_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_tab_select_facet: r
e
turn
i
nt ins
t
ead of isl_t
a
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
i
sl_bas
i
c_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
p
r
ivately ex
p
o
r
t isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaeg
e
add isl
_
qpolynomial_fold
_
foreac
h
_qpolyno
m
i
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_pw_qpolyn
o
mial_fold_foreach_lifted
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl
_
pw_qp
o
lynom
i
al_f
o
ld_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
pri
v
ately export i
s
l_morp
h
_alloc and i
s
l_morph_ide
n
t
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaeg
e
export
i
s
l_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdool
a
ege
add
i
s
l_ctx_pe
e
k_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erd
o
olaege
i
s
l_
r
an
g
e
.
c: fix
t
y
p
o
i
n
com
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
exp
o
r
t isl
_
set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaeg
e
i
sl_bound: plug memory l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
fix isl
_
q
p
o
lynomial_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
isl_pw_qpolyn
o
m
i
al_bound_range: f
i
x
r
emoval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
a
d
d b
o
u
nd
_
test
.
sh to d
i
stribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdo
o
laege
d
o
c
: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolaege
doc: doc
u
ment isl_constr
a
int_is_equalit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
r
dool
a
ege
add isl_map_is_single_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
erdoolaege
isl_basic_map_foreach_constraint
:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
isl_basi
c
_map_copy: mark duplicated copy
a
s finali
z
ed
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdool
a
ege
isl_basic_set
_
l
i
ft: fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaeg
e
isl_b
a
si
c
_map
_
move_d
i
m
s
: always finali
z
e
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_basic_map_from_c
o
ns
t
raint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
isl_access_i
n
fo
_
comput
e
_flow
:
h
andle
m
a
y a
c
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verd
o
olaeg
e
isl_acc
e
ss_info_c
o
mpute_flow
:
han
d
le multi-v
a
l
ued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove
s
o
me un
u
sed
variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verd
o
o
l
aege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
dool
a
ege
r
e
name isl_pw_qpo
l
ynomial_mo
v
e and a
d
d isl_pw_qpo
l
ynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
isl_ctx: keep track of
u
ser options
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdool
a
ege
improve
d
arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
ege
isl_options_pa
r
se: print help m
e
ssage
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
add isl_bound test
application
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verd
o
o
l
aege
add isl_pw_q
p
olynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olae
g
e
add
isl_pw
_
q
p
oly
n
o
m
ial_
f
old
_
morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laege
ad
d
rudimenta
r
y
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
add
isl_se
q
_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_
e
q
u
alities
.
c:
fix
t
ypo in
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl
_
mat_
i
nsert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolaege
a
dd isl_mat_norma
l
ize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
isl_
m
a
t_lin_to_aff: fix e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
do
o
laege
isl_qp
o
lynomial_opt_on_doma
i
n: han
d
le e
m
pty input
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
aege
isl_name_a
l
loc: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_equalities
.
c:
f
ix typos i
n
co
m
m
e
n
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
a
d
d is
l
_pw
_
qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Verdoolaege
add isl_qp
o
lynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
privately export isl_set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
ool
a
ege
ad
d
i
sl
_
set_co
u
nt_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
ad
d
isl_set_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
add isl
_
s
t
ream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_
q
p
o
l
y
n
omial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
ad
d
i
s
l_
q
polynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
do
o
la
e
g
e
a
d
d
is
l
_
b
as
i
c_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
add isl_
q
polynomial_as_polynomia
l
_on_d
o
main
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
s
l
_
q
p
olynomial_
s
ub
s
titut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
doo
l
ae
g
e
add isl
_
basic_
s
et_dims_get_si
g
n
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Verdo
o
l
a
ege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
oolaege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
o
olaege
isl_qp
o
lynomial_fold_opt_on_domain: fix t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
oo
l
aege
i
s
l_pw_
*
_eva
l
:
f
i
x
handl
i
n
g
o
f
empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basic_
s
et_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoo
l
aege
exp
o
rt
i
sl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpo
l
ynomial_get
_
dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_map_tran
s
itive_clos
u
r
e
: coalesc
e
input befor
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ver
d
oolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
next