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
add isl_pw_qpolynomial_fold_foreach_lifted_piece
2010-06-12
Sven Verd
o
olaege
add
i
sl_pw_q
p
olynomial_fol
d
_
fore
a
ch_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoo
l
aege
e
xport isl_pw_q
p
olynomial_fold_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priv
a
t
e
ly export isl
_
morph_all
o
c a
n
d is
l
_morp
h
_identi
t
y
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
ad
d
isl_qp
o
lynomial_
f
o
l
d_get_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
expor
t
isl_
p
w_
q
polynomial_
g
et_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
add isl_ctx_pee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
export isl_
s
et_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
b
ound:
p
lug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
la
e
ge
fix isl_
q
polyno
m
ial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_pw_qpolynomial_bound_ra
n
ge: fix rem
o
v
a
l
o
f
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add bound_test
.
sh
to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoolaege
doc: document gis
t
o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
doc
:
docum
e
nt isl_constraint
_
is_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdool
a
ege
add
isl_m
a
p_
i
s_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
isl
_
basic_map_foreach
_
con
s
traint: make sure input h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olae
g
e
isl
_
basic
_
map_copy: mark duplicat
e
d
copy as f
i
nalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
i
s
l
_bas
i
c_set_
l
ift: finalize
r
e
sul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
basic_map_move_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Ver
d
oolae
g
e
isl_ba
s
ic_map_from_constraint: f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
isl_access_info_compute_fl
o
w:
h
a
ndle ma
y
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ve
r
doolaege
isl_access_inf
o
_compu
t
e_flo
w
: handle
mul
t
i-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ver
d
o
olaege
remove som
e
unused variable
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
o
o
l
aege
ren
a
m
e
isl_pw_qpolyn
o
mial_move and add isl_pw
_
qpol
y
n
o
m
i
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdo
o
l
a
e
ge
isl_ctx: keep t
r
ack of
u
s
er options
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
improved
a
rgument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_op
t
i
o
ns_parse: pr
i
nt help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
add isl_bound test appli
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
add isl_pw_qpolynomial_bou
n
d_r
a
n
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
doolaege
add
isl_p
w
_qpo
l
ynomial
_
fol
d
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
add r
u
diment
a
ry
i
s
l_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_seq
_
set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
aege
isl_eq
u
al
i
ties
.
c
:
fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
a
d
d isl_mat_insert
_
ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoola
e
ge
add isl_mat_norm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_mat
_
di
a
gonal
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
i
sl_mat
_
lin_to_aff: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
isl_qpo
l
ynomial_opt_on_domain: handl
e
e
m
p
t
y input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_name_
a
lloc: fi
x
error
h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
r
d
oolaege
ad
d
is
l
_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl_
e
qual
i
ties
.
c: fi
x
typos in comments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d isl_pw_qpolynomial_fold_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
ge
add isl_qpol
y
nomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
privately export isl
_
se
t
_
is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
e
g
e
a
d
d isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
ad
d
isl_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
dd isl_s
t
r
e
a
m
_
r
e
ad
_
pw_qpoly
n
o
mia
l
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
r
d
oolaege
add is
l
_q
p
olynomial_from_t
e
rm
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add isl_
q
polynomial_fro
m
_cons
t
raint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_basic_set_foreac
h
_
bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpo
l
ynomial_as_po
l
ynomia
l
_
on_domain
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_qpo
l
ynomial_substit
u
t
e
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_basic_
s
et_dims_get_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
isl_ct
x
: add zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add isl
_
qpo
l
yn
o
mial_n
e
ginfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdoolaege
add isl_basic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ve
r
doolaeg
e
isl_qpol
y
nomial_fold_opt_on_domain:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval: fix
handling of empty
i
n
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add isl_b
a
sic_se
t
_mov
e
_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoola
e
ge
ex
p
ort isl_q
p
o
l
ynomial_su
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl
_
qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
isl_map_tran
s
itive_c
l
osu
r
e: coales
c
e
i
nput b
e
fore checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
do
o
laege
add
map_le
x
_*_
f
i
rs
t
commit
|
commitdiff
|
tree
2010-05-01
S
ve
n
Verdoolaege
is
l
_map_lex
_
le: use one
basic s
e
t less in re
s
ult
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
oolaege
isl
_
st
r
ea
m
: accept
lexicographic
operators
commit
|
commitdiff
|
tree
2010-04-28
S
ven
Verdoolaege
isl_m
a
p_transitive_closure: check if input is c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
g
e
add isl_printer_
f
l
u
s
h
commit
|
commitdiff
|
tree
2010-04-28
S
v
en V
e
rdool
a
e
ge
isl_map_read
:
pars
e
p
arametric O
m
ega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
Verdo
o
laege
i
s
l
_map_read:
fix
t
y
po
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ver
d
oolae
g
e
isl_con
v
ex_hull
.
c: is_bound:
any inequality
i
s a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ve
r
do
o
laege
isl_conv
e
x_hull
.
c: add_bounds: propagate
e
rrors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoola
e
ge
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoo
l
a
ege
isl_str
e
am
_
next_token: t
e
rminate str
i
ng token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitiv
e
_closur
e
: treat
e
quality as pa
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_m
a
p_tran
s
itive_closure, ome
g
a
-
like: only
use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p_transitiv
e
_closure: use simple hull in om
e
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
erdoo
l
aege
isl_ma
p
_transit
i
ve_closu
r
e: t
r
y an
d
compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
d
oolaege
isl_map_coal
e
sce: allow wrappi
n
g i
n
sets
that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ver
d
oolaege
isl_map_coalesce: allowing
c
utting equali
t
ies in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n V
e
r
doolaege
add some more coales
c
ing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
d
o
o
l
a
ege
i
s
l_basi
c
_map_gist: be more aggressi
v
e in removin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_stream
:
a
ccept strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl
_
t
a
b_rol
l
back
:
resto
r
e rows that
a
r
e
no
l
on
g
er ma
r
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
doc: do
c
ument
s
imple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
do
c
: emphasize that we are dealing with integer set
s
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ve
r
doolaege
is
l
_tra
n
s
iti
v
e_closu
r
e
.
c
: path_along_delta: onl
y
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
d
o
olaeg
e
isl_
m
ap_transitive
_
cl
o
s
u
re
:
compute divs o
f
i
nput
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_compute_div
s
: make sure result i
s
gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
isl_printer_print_pw_qpo
l
ynomi
a
l: properly pr
i
nt c
o
ns
t
raint
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Verdool
a
ege
isl_pip and i
s
l
_
cat:
t
erminate isl_arg ar
r
ay
with
ISL_AR
G
_EN
D
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oo
l
ae
g
e
doc: documen
t
setting and getting of dimension name
s
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
e
r
d
oolaege
doc:
document *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdo
o
laege
isl_map_c
o
n
v
ex_hu
l
l: handle
non full-dimensiona
l
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
e
rdoolaege
isl_convex_hull
.
c:
m
od
u
l
o_affine_hull: drop red
u
nd
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdool
a
ege
isl_
c
onvex
_
hull
.
c: convex_hull_pair:
s
kip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_printer
_
pr
i
nt_basic_set: fix up printing to
string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven V
e
rdoolaege
add
i
sl_
s
et_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
ven Verdoola
e
ge
isl_t
r
ansitive_clo
s
ure
.
c: fix
d
ocume
n
tation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaeg
e
i
s
l_
m
ap
_
c
oalesce: make s
u
re
r
e
s
ult still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitiv
e
_closure: Fl
o
yd
-
Warshall: p
r
o
p
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
next