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
export isl_pw_qpolynomial_get_ctx
2010-06-12
Sven Verdoola
e
ge
export isl_pw_
q
polynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
isl_ctx_peek_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
isl_range
.
c:
f
i
x
typo in comment
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
export isl_set
_
is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_b
o
und: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
f
ix isl_qpolyn
o
mial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_p
w
_qpoly
n
omia
l
_bound_range: fix removal
of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
d
o
o
laege
add bound_test
.
sh to d
i
stribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
d
oc: docume
n
t gist opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doo
l
a
ege
doc: document
isl_constra
i
nt_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add
isl_map_is
_
single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
is
l
_
b
a
sic
_
map_foreach_constraint: m
a
ke su
r
e input
ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verd
o
olaege
i
sl_basic_map_copy:
ma
r
k duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
o
olaege
isl_basic_set_lift: fina
l
i
z
e
result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verd
o
olaege
isl_ba
s
ic
_
map_move_d
i
ms: always fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
r
d
oolaege
isl_basic_map_from_constraint: fin
a
lize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
isl_acc
e
ss_
i
nfo
_
c
ompute_flo
w
: handle
m
ay accesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Ver
d
oo
l
aege
i
s
l
_access_
i
nfo_compute_flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoo
l
aege
r
e
m
ove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ver
d
oolaege
rename isl_pw_qpolynomial_mo
v
e an
d
add is
l
_
p
w
_
qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: keep tra
c
k of u
s
er
o
ptio
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n
Verdoolaege
improve
d
a
rgum
e
n
t
pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
la
e
g
e
i
sl_options_parse:
p
r
int he
l
p me
s
sage
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Verdoolaege
add i
s
l_bound tes
t
app
l
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add
isl_pw_
q
po
l
ynomial_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
d
d
isl_pw_qpolynomial
_
fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
laege
add rud
i
m
e
ntary isl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add i
s
l_seq_
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Ver
d
oolaege
isl_equa
l
ities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
add
isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
doolaege
add isl_mat_
d
iagon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
isl_mat_lin_to_aff: fix er
r
or hand
l
i
ng
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
isl_qpolyno
m
ial_opt_on_domain:
h
a
ndle
e
m
p
ty in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
isl
_
nam
e
_all
o
c:
f
ix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_di
m
_o
f
f
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
e
qualities
.
c: fix t
y
pos in
c
o
mment
s
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
dd isl
_
pw_qpo
l
y
nomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
p
r
iv
a
tely exp
o
rt isl_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
ege
a
dd isl_se
t
_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_set_sca
n
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoola
e
ge
add i
s
l_st
r
e
a
m_re
a
d_pw_
q
polynomia
l
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
laege
add i
s
l_qpolynomial
_
f
r
om_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_q
p
olynom
i
al_from
_
c
o
nstraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_basic
_
set
_
fo
r
each_boun
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add
isl_qpolynomial_as_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolyno
m
ial_s
u
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_basic_s
e
t
_
dims_g
e
t_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl_ctx
:
add zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaeg
e
add isl_qpolyno
m
ial_neg
i
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ver
d
oolaege
add isl_b
a
si
c
_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
d
oolaeg
e
isl_qpolynomial_fold_opt_on_doma
i
n: f
i
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_pw_*_eval: fix handling of
e
mpty i
n
put
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoola
e
ge
add
isl_
b
asic_set_move_dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export
isl_qpo
l
ynomial_su
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
a
dd isl_qp
o
lynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaeg
e
isl_map_transiti
v
e_clos
u
re: coale
s
c
e
i
nput
b
efore checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
doolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoo
l
a
ege
isl_map
_
lex_le: use
one basic s
e
t les
s
in result
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rd
o
o
l
aege
i
s
l_
s
tream
:
accept lexico
g
raphic opera
t
ors
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaeg
e
isl_map_transitive_closure: check if input is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
V
erdo
o
laeg
e
add isl_prin
t
er_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
i
sl_map_rea
d
: pa
r
se parametric
O
m
e
g
a
input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_ma
p
_r
e
ad: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Verd
o
olaege
isl_co
n
v
e
x_hull
.
c: is_bound: any inequality i
s
a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_convex_hull
.
c: add_bo
u
nds: propaga
t
e errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
d
o
cument isl_map_
r
evers
e
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaeg
e
isl_str
e
am_next_tok
e
n
: t
e
r
m
inate string tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdo
o
laege
i
sl_map_transitive_closure:
t
reat eq
u
ality a
s
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_map_tr
a
n
s
iti
v
e_
c
l
o
sure, omega-like
:
o
nly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_tra
n
si
t
ive_closure: use simple hull
in o
m
ega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_m
a
p_transitive_closure: t
r
y a
n
d co
m
p
ute cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_ma
p
_coalesc
e
: all
o
w wrappi
n
g in s
e
ts that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
m
ap_
c
oal
e
s
c
e
: allo
w
ing cut
t
ing eq
u
alitie
s
in adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoola
e
ge
add so
m
e m
o
r
e
c
oalescing
t
e
s
t
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_bas
i
c_map_gist
:
be more aggressive in r
e
movi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_stream: acc
e
pt strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
i
sl_tab_
r
ollback
:
restor
e
r
ows
t
hat
are
n
o
l
on
g
er
m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaeg
e
doc: docume
n
t simple hull
commit
|
commitdiff
|
tree
2010-04-21
S
ven
Verdoolaege
do
c
: emphasize that we a
r
e deal
i
ng with integer set
s
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Verdoola
e
g
e
isl_tr
a
nsitive_closure
.
c: path_alo
n
g_d
e
l
t
a:
o
n
l
y avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_t
r
ansitive_closure: c
o
mpute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erdo
o
laege
isl_ma
p
_compute_di
v
s: ma
k
e sure r
e
sult is gau
s
sed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verd
o
olaege
isl_
p
r
int
e
r_print_pw_qpolynomial: prope
r
ly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
isl_p
i
p
and isl
_
cat: terminate
i
sl_ar
g
array w
i
th ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n Ve
r
doolaege
doc
:
d
o
cume
n
t setting
a
nd getting
of di
m
ension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
o
c: document *_get_dim f
u
nctions
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
isl_map_convex_hull:
h
a
n
dle non full-dimensiona
l
pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_convex_h
u
ll
.
c:
m
odulo_affine_hull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_
c
onvex_hull
.
c: convex_hu
l
l_pair: skip dire
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
i
s
l_printer_pr
i
nt_
b
asic_se
t
:
fix up
p
ri
n
ti
n
g
to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdo
o
laege
add isl_set_
n
eg an
d
isl_
s
et_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl
_
t
r
ansitive_clo
s
ur
e
.
c: fix document
a
ti
o
n of c
o
nst
r
u
ct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaeg
e
is
l
_
m
a
p
_
c
o
alesce: ma
k
e sure result still con
t
ains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
isl_map_transitive
_
cl
o
sure: Floyd-Warshall:
pr
o
perly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
V
erdoolaege
isl_map_tra
n
s
itive_closure:
u
se Floyd-Warshall on
disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_transit
i
ve_closure
.
c: extract
out i
s
l_se
t
_
overlaps
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
i
s
l_map_transitive_closure:
p
roje
c
t out length on each
.
.
.
commit
|
commitdiff
|
tree
next