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_pip.c: sol_map_init: avoid NULL pointer dereference
2010-06-12
Sve
n
V
e
rdoolaege
export i
s
l_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
i
s
l_bound
:
plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaeg
e
fix isl_qpolynomial_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_pw_
q
polynomial_bo
u
nd_range: fix
r
emoval of
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
add bound_
t
est
.
s
h
to distributi
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoolaege
doc: document g
i
s
t operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oo
l
aege
doc: docume
n
t isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_m
a
p_
i
s_single_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ve
r
doola
e
ge
isl_basic_map_foreach_constraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaeg
e
isl_basic
_
map_co
p
y
:
mark
d
uplicated copy as
f
inalized
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n
Ve
r
doolae
g
e
isl_basic_set_li
f
t: fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl_b
a
sic_map_move_dims: alwa
y
s finalize
re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaeg
e
is
l
_
b
asic_ma
p
_
f
rom_
c
onstraint:
f
inalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
isl_acce
s
s_info_compute_flow: handle may
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_info_comp
u
t
e_flow: handle multi-v
a
lued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
remove some u
n
used variables
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolae
g
e
fix some icc warn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl
_
pw_qpol
y
nomial_move and add isl_pw_q
p
olyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
e
rdoo
l
aege
isl_ctx: keep tra
c
k of u
s
er options
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
improved argumen
t
p
arsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rd
o
olaege
isl_op
t
ions_parse: print
h
e
l
p mes
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_bound te
s
t
a
pplication
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
doo
l
aege
a
d
d
isl_p
w
_q
p
olynomial_
b
ound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
o
laege
a
dd isl_pw_qp
o
lynomial_
f
o
l
d
_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
add
rudimentary isl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
a
e
ge
ad
d
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
is
l
_equal
i
t
ies
.
c: fix typ
o
in c
o
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_ma
t
_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaeg
e
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
aege
add isl_mat_dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
isl_mat_lin_to_aff:
fix erro
r
ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_qpolynomial_opt_
o
n_domain:
h
andle empty
input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_a
l
loc: f
i
x er
r
or h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_
d
im
_
o
f
fse
t
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
l
aege
isl
_
e
qualities
.
c: f
i
x
t
ypos in
c
o
mment
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpo
l
ynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
q
p
o
lyn
o
mial_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privat
e
ly
e
x
po
r
t isl_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
s
et_
c
ou
n
t_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
d
d isl_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
s
tream_read_pw_q
p
olyno
m
i
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
qpolynomial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
qpolyn
o
m
i
al_from_
c
onstr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic
_
s
e
t_for
e
ach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add
i
s
l
_qpoly
n
o
m
ial_a
s
_p
o
ly
n
omial_on_d
o
main
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoo
l
a
eg
e
add isl
_
qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
add isl
_
basic_set
_
di
m
s_get_sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
i
sl_ctx: add z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
erdoolaege
add isl
_
qpo
l
y
nomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verd
o
o
l
a
ege
a
dd
isl
_
basi
c
_s
e
t_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
i
s
l
_qp
o
lyno
m
ial_fol
d
_
opt_on_domain
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw
_
*_
e
val: fix han
d
ling of e
m
pty i
n
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
a
d
d isl_basic
_
set_
m
ove_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qpo
l
ynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ola
e
ge
add isl_qpolynomial_g
e
t_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_map_tra
n
sit
i
ve_closure:
c
oalesce inp
u
t
before c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
doo
l
a
e
ge
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verdoo
l
a
e
ge
i
s
l_map_lex
_
le: us
e
one basic set less in r
e
s
u
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_stream
:
acc
e
pt le
x
icograph
i
c operators
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
Verdoolaege
isl
_
map_transiti
v
e_
c
losu
r
e
:
c
heck if input
i
s closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoo
l
a
ege
isl_map_re
a
d
: parse para
m
e
t
r
i
c Omega
input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map
_
read: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
i
sl_co
n
vex
_
hul
l
.
c
:
is
_
boun
d
: any inequality is a boun
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_c
o
nvex
_
hull
.
c: add_bounds:
propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verd
o
o
l
aege
i
s
l
_stream_next_token: ter
m
i
n
ate str
i
ng tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_map_transitive_clos
u
re:
t
r
ea
t
equali
t
y as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitiv
e
_closur
e
, omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolae
g
e
isl_map_transitive_closur
e
: u
s
e si
m
ple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
rdoolaege
isl_map_t
r
a
nsitive_cl
o
sure:
try and c
o
mpu
t
e
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_
m
ap_coale
s
ce: allow
w
rappin
g
in sets that stic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_
m
ap_coalesce: allo
w
i
ng cutting equalities i
n
a
d
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
ol
a
e
g
e
add som
e
mo
r
e coalesci
n
g test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
dool
a
eg
e
i
sl_basic_
m
ap_gist: be mo
r
e
a
ggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erd
o
o
l
a
ege
isl_strea
m
:
accep
t
string
t
ok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
ge
isl_tab_ro
l
lback: re
s
t
o
re rows that are no l
o
n
g
er marke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: document simp
l
e
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
doc
:
emphasi
z
e tha
t
we ar
e
de
a
ling wi
t
h i
n
teg
e
r sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
o
l
aege
i
s
l
_t
r
ansitive_
c
losure
.
c:
path_a
l
ong_delta: o
n
ly avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
isl_map_
t
ransitiv
e
_c
l
o
s
ure:
c
ompute
d
ivs
o
f
input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoo
l
aege
i
sl_m
a
p_compute_divs: make
sure resu
l
t is gaussed
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoo
l
aeg
e
isl_print
e
r_print
_
pw_qpolynom
i
al: properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
e
ge
i
sl_p
i
p and isl_ca
t
: terminate i
s
l_arg array with ISL_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
doc: document setting and
g
e
tt
i
ng of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
d
oc:
document *
_
g
et_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map_conv
e
x_hull: hand
l
e
non full-d
i
mensional
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c: modulo_affine_hull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
s
l_conv
e
x_hull
.
c: conv
e
x_hull_pair:
skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
doolaege
isl_printer_pri
n
t_basic_set:
f
ix up
printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Ve
r
doolaege
add
isl_set_n
e
g and
isl_s
e
t_
s
um
commit
|
commitdiff
|
tree
2010-04-16
Sven Ver
d
ool
a
ege
isl_transitive_closure
.
c
: fi
x
documentation of construct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Verdo
o
lae
g
e
isl_map_coalesce: make s
u
re r
e
sult
s
t
i
ll contain
s
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rd
o
ol
a
e
ge
isl_map_transitive_closure: Floyd-Warshall: p
r
o
p
er
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
ol
a
ege
i
s
l
_map_transitive_cl
o
s
u
r
e
:
use Fl
o
yd-Wa
r
shall
on disjo
i
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl_tra
n
si
t
ive_closur
e
.
c: extract out is
l
_s
e
t_overla
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
d
oolaege
isl_map_t
r
ansitive
_
clos
u
re: pr
o
j
e
c
t
out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
isl_tra
n
s
i
tive_clo
s
ure
.
c: constr
u
ct_compon
e
nt: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oola
e
ge
isl_map_trans
i
tive_closure
:
d
on't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolae
g
e
doc: fix
ty
p
o
s
commit
|
commitdiff
|
tree
next