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 gist operations
2010-06-11
Sven Ver
d
oolaege
doc: document gist o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
r
dool
a
ege
doc: docume
n
t isl
_
const
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
r
dool
a
ege
add isl_ma
p
_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolaeg
e
isl_bas
i
c_map_fo
r
each
_
c
onstraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolae
g
e
isl_b
a
sic_map_
c
opy: mark
d
u
plica
t
e
d
copy a
s
f
ina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_set_l
i
ft: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verd
o
olaege
isl_basic
_
map_m
o
ve
_
dims: always fin
a
lize
result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdool
a
ege
i
s
l
_
b
a
sic_map_from_constraint
:
fi
n
alize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
i
s
l
_acc
e
s
s_info_compute_flow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Ve
r
doolaege
isl_acc
e
ss_info_compute_fl
o
w:
h
a
ndle multi-val
u
e
d
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolae
g
e
re
m
ove
s
ome u
n
u
sed variabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
o
olaege
fix some ic
c
war
n
ings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl_pw_qpolynomial_move and add isl
_
pw_
q
polynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
isl_
c
tx: keep track of user opti
o
ns
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n Verdoolaege
improved arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
isl_options_p
a
rse: print hel
p
message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
add isl_bound test
application
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
a
dd isl_pw_qpol
y
nom
i
al_bound
_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
doola
e
ge
add isl_pw_qpolynomial_fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
d
oolaege
a
d
d rudimentary
is
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
olaege
add is
l
_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
e
rdoolaeg
e
i
s
l_equalities
.
c: fi
x
typo
i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Ver
d
oolaeg
e
add i
s
l_mat_n
o
rm
a
l
ize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Ve
r
doolaege
isl_mat_
l
in_to_aff
:
f
ix error h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaege
is
l
_q
p
oly
n
omial_opt_on_domain: ha
n
dle
e
mpty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
i
sl_name_alloc: fix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
laege
add i
s
l_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
i
s
l
_equ
a
l
i
t
ies
.
c: f
i
x
t
ypos in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
aeg
e
add
isl_pw_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Verdool
a
eg
e
add
isl_qpolyno
m
ial_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pr
i
vately
e
xp
o
rt isl
_
set
_
is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_s
e
t
_
cou
n
t_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
d
o
o
l
aege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_s
t
r
e
am_r
e
a
d
_
p
w_qpolyn
o
m
i
al
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl
_
q
p
ol
y
nomial_from_
t
e
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
add is
l
_
qpolyno
m
i
al_from_
c
ons
t
r
a
i
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
a
dd isl
_
b
a
sic_set_foreach_bou
n
d_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial
_
as_polynomial_
o
n_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_
q
p
olynom
i
al_substitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Ver
d
oolaege
a
dd isl_ba
s
ic_set_di
m
s_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
ege
isl
_
ctx: ad
d
zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
add i
s
l_q
p
ol
y
nomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
a
dd isl_basic_se
t
_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
d
oolae
g
e
isl_q
p
ol
y
nomia
l
_fold_opt_on_domain: fix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolae
g
e
isl_
p
w_*_e
v
a
l
:
f
ix h
a
ndling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Ver
d
oo
l
aege
add
i
sl_b
a
sic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add isl_qpo
l
y
n
omial_get_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
erdoolaege
i
sl_ma
p
_transiti
v
e_closure: coalesce input befor
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolae
g
e
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven
Ver
d
oo
l
aege
isl_map_lex_le: us
e
one
b
a
s
ic set
l
es
s
i
n
result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolae
g
e
isl_s
t
ream: accept lexicogra
p
hic op
e
rato
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doola
e
ge
isl_map_transitive_closure: chec
k
if input is
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ve
n
Verdoolaege
add
i
sl_
p
r
inter_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sven
Ve
r
doo
l
aege
i
s
l_m
a
p_read: parse
p
arametri
c
Ome
g
a input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_m
a
p_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_c
o
nvex
_
hull
.
c: is_bound: any inequali
t
y is
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
e
r
d
oolaege
isl_convex_hull
.
c
: add_bounds
:
propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sve
n
Ve
r
d
o
olaege
document isl_map_reve
r
se
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
isl_st
r
eam_
n
ext_t
o
ken: termi
n
ate
s
tring
t
o
k
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdoo
l
a
e
g
e
isl_m
a
p
_tran
s
itive_closure: treat equality as pai
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verd
o
olaege
isl_map_tra
n
sitive
_
closure, omega-like: only
u
se ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_map_transitive_closure: use simple
h
ull
in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_map_transi
t
ive_closure: try and com
p
u
te clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Ver
d
o
olaege
i
sl_map_coalesc
e
: all
o
w wrapping in sets
t
hat sti
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
m
a
p_coalesce:
allowing cu
t
t
ing
e
quali
t
ies in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Ver
d
oola
e
g
e
a
d
d some mo
r
e coalescing test ca
s
es
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_ba
s
ic_map_gist: be more ag
g
res
s
ive in re
m
o
v
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_str
e
am: accep
t
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aeg
e
isl_tab_rollbac
k
: re
s
tore rows that
are no longer m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
laege
doc: document
s
imple
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aeg
e
doc: emphasize that we a
r
e de
a
ling with integer s
e
ts
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
isl_tran
s
iti
v
e_clos
u
re
.
c: p
a
th_along
_
delta: only avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
l
_map_trans
i
tive_closu
r
e:
c
ompute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
er
d
o
olaege
isl_m
a
p_
c
ompute_divs:
m
ake
sure
r
e
sul
t
is gau
s
s
e
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
isl
_
prin
t
e
r
_print
_
pw_qpolynomial:
p
roperly print
constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olae
g
e
isl_pip and
i
sl_cat: te
r
minate isl_arg arr
a
y with ISL_ARG_E
N
D
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
Verdo
o
l
a
ege
do
c
:
docum
e
nt setting
a
nd get
t
ing of d
i
mens
i
on
names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
o
c
:
do
c
ument *
_
g
e
t_dim func
t
ion
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
ool
a
ege
isl
_
ma
p
_
c
onvex_hull: han
d
le non full-dimension
a
l
p
airs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaeg
e
isl_convex_
h
ull
.
c
: mo
d
ulo_affine_hull: drop
redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_conve
x
_hull
.
c:
conv
e
x
_
hull_pair: skip di
r
ecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
e
n
Verd
o
olae
g
e
isl_printer_print_basic_set: fi
x
u
p printing
t
o
string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add
isl_set_n
e
g
a
n
d
isl_s
e
t_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_tra
n
sitive_closure
.
c:
fix
documentation o
f
construct_
c
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_ma
p
_coales
c
e: make su
r
e resu
l
t still contains s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
i
sl_map_transiti
v
e_closure
:
Floy
d
-
W
arsh
a
ll: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rdoolaege
isl_map_transitive_clo
s
ure: use Floyd-
W
ars
h
all on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
isl_transitive_closure
.
c: extract out isl_set_overl
a
ps
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoo
l
ae
g
e
i
sl_map_transit
i
ve_closure: project out lengt
h
on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verd
o
ol
a
eg
e
is
l
_transitive_closure
.
c: c
o
n
s
truct
_
compon
e
nt: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl_map_transitive_c
l
o
sure: don't ad
d
length parame
t
er
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
o
l
aege
doc: fix typo
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
o
olaege
isl_set_gist: m
a
ke context a
r
g
u
ment
an isl
_
s
e
t
for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
isl_map_tr
a
nsitive_closure
:
c
o
alesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
isl_tr
a
nsitive_cl
o
sure
.
c: construct_compon
e
n
t
: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
doc: ci
t
e Ome
g
a library documentation on computa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
add isl_stream
_
read_map
commit
|
commitdiff
|
tree
next