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 Verdoola
e
ge
d
o
c:
document
isl_map_
d
elt
a
s
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verd
o
olae
g
e
is
l
_tab_pip
.
c: compare
a
ll coefficients whe
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdoo
l
a
e
g
e
isl_pw_qpolynomial{,
_
fold}_gist:
u
se simple hull i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaege
add isl
_
stream_read_
s
et
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
isl_qpolyno
m
ial
_
lift: fix lift
i
ng in
absence of
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
opti
o
na
l
ly (and by default) use
bernstei
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
priva
t
ely
export isl_
q
po
l
ynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_pw_qpolynomial
_
fold_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add pa
r
ametric vertex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
add isl_mo
r
ph_dom_dim and isl_m
o
r
p
h_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_ba
s
ic_map_
i
s
_
rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
p
rivatel
y
exp
o
rt isl_basi
c
_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b_d
e
tect_impli
c
it_equalities: a
l
so
d
etect mani
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
a
e
ge
isl_tab: optionally only
m
ark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
genera
l
ize isl_p
w
_qpolyno
m
ial_bound
t
o isl_pw_qpolynom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
e
x
tra
c
t
o
ut gen
e
ri
c
part of is
l
_
pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
isl
_
p
w
_qpolynom
i
al_bou
n
d_range:
also
s
et exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
isl
_
basic_
s
et_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
dool
a
ege
export
isl_pw_qpo
l
ynomial_
f
old_d
r
op_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export is
l
_qpolynom
i
al_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add i
s
l_
q
p
o
lynomi
a
l_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
add i
s
l_qpolynomial_from_
a
ff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
or
t
i
sl_qpol
y
nomial_add_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_qpolynomial_homogeni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_qpolyno
m
i
al_degree
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
add i
s
l
_qpolynom
i
al_
i
n
sert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add is
l
_qpolynomial_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
is
l
_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
e
rdoolaege
isl_tab_detect_implicit_equalit
i
es: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_tab_s
i
g
n
_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
i
sl_tab_sel
e
ct_facet:
r
et
u
rn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_basic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
privately exp
o
rt isl_pw_qpolynomial
_
morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_q
p
olynomial_fo
l
d_f
o
reach
_
qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_
p
w
_qpolynomial_fol
d
_foreach
_
lifted_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
export isl_pw_qpol
y
nom
i
a
l_fol
d
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
privately export
i
sl_morph_al
l
oc and isl_mo
r
ph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_qpo
l
ynomia
l
_fold_ge
t
_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_pw_q
p
olynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_range
.
c: fix typo in comm
e
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
e
x
port isl_
s
et_i
s
_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
fix isl_qp
o
lynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
isl_pw_qpo
l
yno
m
i
al_
b
o
u
nd_range: fix removal of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
a
dd bou
n
d_test
.
sh to distribu
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
er
d
oo
l
a
e
g
e
d
o
c: document g
i
st ope
r
a
tions
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olae
g
e
doc: docume
n
t
i
s
l_constraint_is_eq
u
a
lity
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
Verdoolaege
add is
l
_m
a
p_is
_
single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
isl_basic_m
a
p_foreach_c
o
nstr
a
int
:
make sure input
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_basic_map_
c
opy: mark dup
l
i
cated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdo
o
l
a
ege
isl_bas
i
c_set_lift:
finaliz
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
i
s
l
_
b
asic_map
_
move_dims: a
l
ways
f
in
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
ege
isl_basic_m
a
p_from_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
i
sl_access_info_comp
u
t
e
_flow:
handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl
_
access_info_compute_f
l
ow: handle
m
ulti-valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
remov
e
so
m
e unused
v
a
ri
a
bles
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some
icc
wa
r
n
i
n
gs
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
rename i
s
l_
p
w_qpolynom
i
al_move
and add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
i
s
l_
c
tx:
k
eep tr
a
ck of user options
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaege
improved argument
p
ar
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
i
s
l_op
t
ions_p
a
rse: print
h
elp message
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdoolaege
add isl_bound test a
p
plicat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
l
a
ege
add isl_
p
w_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_pw_qpolyno
m
ial_f
o
l
d
_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimentary isl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
add
i
sl_seq_se
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
doolaege
i
sl_equalitie
s
.
c: fix typo
i
n com
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd
isl_ma
t
_i
n
sert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
laege
add
isl_
m
at_
n
orm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
aege
add isl_mat_diagon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
isl_mat_lin_to_aff:
fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
e
r
doolaege
i
sl
_
qpolynomial
_
o
p
t_on
_
domain: h
a
ndle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_na
m
e_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix typos in
comm
e
n
ts
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
aege
add
i
s
l_pw_qpolynomial_fold_co
v
ers
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
laege
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pr
i
vately expo
r
t isl_se
t
_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
i
sl_set
_
count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl_stre
a
m_read_pw_qpolynom
i
a
l
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
add i
s
l_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_qpolynomial_from_cons
t
r
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
a
d
d
isl_basic_set_foreach_bo
u
nd_pai
r
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_qpolynomial_as_polyn
o
mial_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_qpoly
n
omial
_
substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_b
a
sic_set_dim
s
_g
e
t
_
si
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven
Ve
r
doolaege
i
sl_ctx: add zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl
_
qpolynomial_negi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n V
e
rdoolaege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdool
a
ege
isl_qp
o
lynomial_fold_opt_on
_
doma
i
n: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval: fix handling of emp
t
y input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
erdoola
e
ge
a
d
d isl_
b
asic_set_move
_
d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
export isl_qpolynomial_s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add i
s
l_qpolynomial_get_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olae
g
e
isl
_
ma
p
_tran
s
i
tive_
c
losure: coalesce input before chec
k
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add ma
p
_le
x
_*_fir
s
t
commit
|
commitdiff
|
tree
next