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
isl_tab_rollback: avoid double free on error path
2010-06-12
Sven Ver
d
o
olaege
isl_ta
b
_dete
c
t_implicit_e
q
ualit
i
e
s
:
also detect manifes
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
is
l
_tab
:
op
t
ionally only mark st
r
ictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
genera
l
ize isl_pw_qpolynomi
a
l_bound to isl
_
pw_qpol
y
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
ex
t
ract ou
t
gen
e
ric
part of isl_pw_
q
polynomial_b
o
und_range
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdo
o
la
e
ge
isl_pw_qpol
y
nom
i
al_bound_r
a
nge:
also se
t
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
add isl_basic
_
set_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
export
i
sl_pw_qpolynomial_fold_d
r
op
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
e
ge
e
xport
i
sl_qpolynomial
_
is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
add isl_qp
o
lynom
i
al_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ve
r
doolaege
add isl_qp
o
lynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolyn
o
mial_add_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_qpoly
n
omial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpol
y
nomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
isl_qpolynom
i
al_insert_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
a
dd isl_qpolyno
m
ial_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
is
l
_
c
tx: add two
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
isl_tab
_
d
e
t
e
ct_implicit_equalities: r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_t
a
b_s
i
gn
_
of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_t
a
b_se
l
ect_facet
:
return int ins
t
e
ad of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_ba
s
ic_set_full
_
compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately e
x
port is
l
_pw
_
qpolynomial
_
morp
h
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add isl_qpo
l
yno
m
ial_
f
old
_
foreach_qp
o
lyn
o
m
i
al
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_pw_q
p
olyn
o
mial_fold_foreach_lifted_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
export isl_pw_qpol
y
nomia
l
_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
privately export isl
_
morph_alloc and isl_morph_iden
t
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl
_
q
p
olynom
i
al_fold_
g
et_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl_pw_qpol
y
nomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
la
e
ge
add isl_ctx
_
peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
isl_r
a
n
g
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
export isl_set_
i
s_b
o
und
e
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdool
a
ege
isl_bound:
plug
m
emory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
fix isl_qpolynomia
l
_
fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
is
l
_pw_qp
o
lynom
i
al_bound_
r
ange: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add bo
u
nd_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verd
o
olae
g
e
doc:
documen
t
gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
d
o
c: document isl_constraint_is_equa
l
it
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add i
s
l_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_map_foreach_constraint: make sure in
p
ut has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_bas
i
c_map_copy: mark d
u
plicated copy
a
s finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolae
g
e
is
l
_
basic_set_lift: finalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_bas
i
c_m
a
p_m
o
ve_dims: alwa
y
s
finalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oola
e
ge
is
l
_basic_map_from
_
c
o
nstraint
:
fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
isl_a
c
cess_info_compute_flow
:
handle
m
ay accesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n
Verdoolaeg
e
isl_access_inf
o
_
c
ompute_f
l
ow:
handle
mult
i
-valued s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some unused varia
b
l
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
rename isl_pw_qpolynomial_move and ad
d
i
sl_pw_qpolynom
i
al_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ve
r
doolaege
isl_ctx: keep track of u
s
e
r
op
t
i
ons
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolae
g
e
i
m
p
rove
d
argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
e
ge
is
l
_
o
ptions_parse
:
pri
n
t help message
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoo
l
aege
add
i
sl_bound
test
a
ppl
i
c
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
oolaege
add
i
sl_pw_qpolynom
i
al_bound
_
range
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add isl_pw
_
qpol
y
nomial
_
fold
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rd
o
o
l
aege
a
d
d ru
d
imentary isl
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
a
d
d
i
sl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
er
d
oolaege
isl_e
q
ua
l
ities
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
a
d
d
isl_
m
at_
i
n
s
ert
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl
_
mat_diag
o
nal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_m
a
t_lin_t
o
_aff: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_qpoly
n
omial_opt_on_domain: h
a
ndl
e
e
mpt
y
input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
i
sl_
n
a
me
_
alloc: fix e
r
ror handlin
g
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
a
d
d isl_dim
_
o
f
fs
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix
typos in
c
o
m
ments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
a
e
ge
add isl_pw_qp
o
lynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoo
l
aege
add isl
_
q
p
o
l
yn
o
mial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately export isl_set_is
_
bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
aege
ad
d
isl_set_count_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaeg
e
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_stream_re
a
d_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_qpolynomia
l
_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
add isl_qpolynomia
l
_fr
o
m
_
const
r
a
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_bas
i
c_se
t
_
foreach
_
bound_p
a
ir
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
add isl_qpolynomial_as_poly
n
omial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_bas
i
c_set_dim
s
_get_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verd
o
o
laege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Ver
d
o
o
laege
add
is
l
_qpol
y
nom
i
al_
n
egin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basic
_
set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
dool
a
ege
i
s
l_qpolynomial
_
fold_opt
_
on_domain: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
ae
g
e
isl_pw_*_eval: fix handling of
e
mpty in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add isl_basic
_
s
e
t
_
m
ove
_
dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Verdo
o
laeg
e
export isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
isl
_
m
a
p_tra
n
s
iti
v
e_
c
l
o
s
ure: co
a
lesce in
p
ut bef
o
r
e che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
lae
g
e
a
d
d ma
p
_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ve
n
V
e
rdo
o
laege
isl_map_lex_le: use one
b
asic set
l
ess in res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdoolaeg
e
isl_stream: accept lexic
o
graphic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
do
o
l
a
ege
isl_map_transitive_clo
s
ur
e
: check if input
i
s close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oo
l
a
ege
add
i
s
l_printe
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
isl_map_rea
d
: parse parametric Omega in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolae
g
e
isl_convex_hull
.
c: is_bound: any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
d
oola
e
g
e
isl_c
o
nv
e
x_hull
.
c: ad
d
_
bounds: propagate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven V
e
rdoolaeg
e
document isl_
m
ap_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
ven Ver
d
oolaege
isl_str
e
am_next_
t
oken:
t
er
m
inate strin
g
token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_map_tran
s
i
t
ive_clo
s
ure: treat
e
quality
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive
_
closure,
o
mega
-
lik
e
:
on
l
y
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoola
e
ge
i
s
l_map
_
transiti
v
e
_closure: use s
i
mple hull in o
m
ega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transit
i
ve_clo
s
ure:
try and co
m
pute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_ma
p
_coalesce:
allow wrapping in
s
ets that stick
.
.
.
commit
|
commitdiff
|
tree
next