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_affine_hull.c: equalities_in_underlying_set: avoid NULL pointer dereference
2010-06-12
Sven Ve
r
doola
e
ge
add isl_basic_set_
f
ull_
c
ompress
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
private
l
y export isl_pw
_
qpolyn
o
mial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
add isl_qpolynom
i
al_fold_fore
a
ch_
q
pol
y
n
omial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_q
p
olynomial_fold_foreac
h
_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ex
p
ort isl_p
w
_
q
polynomial_fold_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
priv
a
tely export i
s
l_morph_
a
lloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
a
dd isl_qpol
y
nomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
export isl_pw_qpol
y
nomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaege
is
l
_ran
g
e
.
c: fix ty
p
o
i
n comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
export isl_set_is_b
o
unded
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
olaege
isl_bound:
p
l
u
g
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fi
x
isl_qpolynomi
a
l
_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
is
l
_pw_q
p
oly
n
omia
l
_bou
n
d
_
range: fix
r
emoval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
add
b
ound_test
.
sh to
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolae
g
e
d
oc: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdo
o
la
e
ge
d
o
c:
d
ocument isl_constraint_is_
e
quality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdool
a
e
g
e
add isl
_
m
a
p
_i
s
_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_b
a
sic_
m
ap_f
o
re
a
ch_const
r
a
i
n
t: make sur
e
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
i
sl_b
a
sic_map_copy: mark du
p
licated copy as final
i
z
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
V
erdoolaege
isl_bas
i
c_set_
l
ift: finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl
_
basic_map_mov
e
_di
m
s: always fin
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_from_constr
a
int: fi
n
al
i
ze resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_ac
c
ess_info_c
o
mpute_flow: handle
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
is
l
_a
c
cess_info_compu
t
e_flow: ha
n
dl
e
multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
remove some unused varia
b
les
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename is
l
_pw_qpolynom
i
al_
m
o
v
e and add isl_pw_qpolynomi
a
l
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: k
e
ep trac
k
of us
e
r
options
commit
|
commitdiff
|
tree
2010-05-30
S
v
en V
e
rdoolaege
i
mproved arg
u
ment p
a
rsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
is
l
_options_pars
e
: pr
i
nt help message
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaeg
e
add isl
_
bound test applic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolae
g
e
a
d
d
isl
_
pw_q
p
olynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
o
l
ae
g
e
add is
l
_pw_qpoly
n
omial_f
o
ld_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
add rudiment
a
ry i
s
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaeg
e
isl_equaliti
e
s
.
c: f
i
x typo in
c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolaege
add isl_mat_no
r
ma
l
iz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_di
a
gonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_mat_l
i
n
_
t
o
_aff: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_qpol
y
nom
i
al_opt
_
o
n
_domain: handle empty
i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl_
n
a
m
e
_
a
llo
c
: fi
x
error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl_eq
u
a
lities
.
c: fix
typo
s
in c
o
mments
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_p
w
_
qpo
l
ynomial
_
f
old
_
covers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
isl_qpolynomial
_
le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately
e
xport isl_se
t
_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
a
d
d i
s
l_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl
_
stream_
r
e
a
d_p
w
_qpolyn
o
m
i
al
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
dd isl_qpoly
n
omial_from_t
e
rm
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_qpolynomial_from_c
o
ns
t
ra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Ve
r
dool
a
ege
add isl_basic_set_
f
o
reach_bo
u
nd_p
a
ir
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl
_
qpolynomia
l
_as_pol
y
n
o
m
i
al_
o
n_
d
omain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
dd is
l
_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_basic_se
t
_dims_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verd
o
olaege
isl_ctx
:
a
dd zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add isl
_
qpolynomia
l
_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
a
d
d isl_basic
_
set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verd
o
o
l
aege
isl_qpolynomia
l
_fol
d
_op
t
_on_d
o
main:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Verdoolaege
isl_pw_*_eva
l
: fix handlin
g
of e
m
pty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l_ba
s
ic_se
t
_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
expo
r
t is
l
_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add isl_q
p
olynomial_get_di
m
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
i
s
l_map_transitive_clos
u
re:
c
o
a
le
s
c
e input befo
r
e checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ve
r
do
o
laeg
e
a
dd map_
l
ex
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verdoolaeg
e
i
s
l_
m
a
p
_l
e
x_le: use one b
a
sic set
l
ess in result
commit
|
commitdiff
|
tree
2010-05-01
S
ven
V
erdoolaege
isl_stream: accept lex
i
cogr
a
phic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
isl_
m
ap
_
transitive
_
closure: c
h
eck if input is
c
lo
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
olaege
add is
l
_pri
n
ter_f
l
u
sh
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_re
a
d
:
parse parametri
c
Omega input
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
V
e
rdoolaeg
e
isl_map_read: fi
x
typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
i
s
l_
c
onvex_hull
.
c: is_bound: any inequa
l
ity is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
conve
x
_hull
.
c: ad
d
_
b
ounds:
propagate er
r
ors fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
er
d
oolaeg
e
document
i
sl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
erdoolaege
isl
_
stream_next
_
token: terminate strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map
_
transitive_cl
o
sure: treat equality
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verd
o
olaege
isl_map_transitive_closur
e
, omega-l
i
ke: on
l
y
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_map_transi
t
ive_closu
r
e: use s
i
mple
h
ull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl
_
m
a
p_transitive_closure: try and
c
ompute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
map_co
a
lesce: all
o
w
wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
map_c
o
alesce
:
allowing cutting equa
l
ities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
ad
d
some more coalescing test ca
s
es
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
basic_m
a
p_gist: be more aggres
s
ive
i
n remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_stream: ac
c
ept
s
tring toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_tab_rollback: re
s
tore
r
ows that
a
re no
longer
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
doc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
doc: emphasize that we
a
r
e dealing wi
t
h integ
e
r s
e
ts
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verd
o
olaeg
e
isl_transiti
v
e_clo
s
ure
.
c: path_along_delta: only
a
voi
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoo
l
aege
isl_
m
ap_tra
n
sitive_c
l
osure:
c
ompu
t
e divs o
f
input
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
isl_map_compute_divs:
m
a
ke sure result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_prin
t
er
_
print_pw_qpolynomial:
p
r
o
perly
p
rint constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoola
e
ge
isl_p
i
p an
d
isl_ca
t
: t
e
rmi
n
ate is
l
_
a
r
g array with I
S
L
_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaeg
e
doc
:
do
c
um
e
n
t
setting and gettin
g
o
f
dimens
i
on names
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
doc: docum
e
nt *
_
get_dim func
t
ions
commit
|
commitdiff
|
tree
2010-04-19
S
ve
n
Verdoolaege
i
sl
_
map_convex_hull: han
d
le non full-dim
e
nsional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
g
e
i
s
l_convex_hull
.
c: m
o
du
l
o_affine_hull: drop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
isl
_
c
o
nvex_hull
.
c:
c
onv
e
x_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_printe
r
_print_basi
c
_
s
et:
f
ix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verd
o
olaege
add isl_
s
et_neg and isl_
s
et
_
su
m
commit
|
commitdiff
|
tree
next