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_stream_read_map: allow existential quantification over disjunctions
2011-02-17
Sven Verdo
o
laeg
e
isl_stream_read_map: allow exis
t
ential qua
n
tificati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
private
l
y export isl_
b
asic_map_add_div_constraints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
isl_morph_basic_
s
et:
p
reserve r
a
tionality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add isl_basi
c
_set_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_print_ba
s
ic_map:
expl
i
citly
m
ark rati
o
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verd
o
olaege
isl_stream_read_m
a
p: re
a
d
ration
a
l maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
isl_bas
i
c_ma
p
_in
s
er
t
: preserve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
ad
d
isl_
b
a
s
ic_map_
s
et_ratio
n
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
i
s
l
_basic_m
a
p_fas
t
_cmp: differen
t
iat
e
between rationa
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
isl
_
output
.
c
:
remove some code duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_print
e
r_print_basi
c
_{
s
e
t,m
a
p}: don't star
t
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
ven Verdool
a
e
g
e
isl_
s
t
ream_read_map: accept '|' at sta
r
t of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdool
a
eg
e
isl_st
r
eam: keep track of t
e
x
t
ual representation
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n Verdoolae
g
e
isl_i
n
put
.
c: clean up read_
d
isjunct
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ver
d
o
olaege
is
l
_stream_read_map
:
accept disjunctions w
i
thi
n
a conjun
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Ve
r
doolae
g
e
isl_convex_h
u
ll
.
c: ex
p
licitl
y
mark wrapping
lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
Verdoolaege
isl_
t
ab_min: m
i
cro-
o
ptimiza
t
ion
:
p
o
stp
o
ne taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoo
l
ae
g
e
Merg
e
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ver
d
oolaege
isl_t
a
b_add_ro
w
: add fur
t
her explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
i
s
l_tab
.
c: fix t
y
pos in com
m
en
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
Verdoola
e
ge
isl_tab_pip
.
c
:
cor
r
ectl
y
det
e
ct non-ne
g
ativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdo
o
laege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
te
s
t both contex
t
handli
n
g mecha
n
isms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
i
s
l_
t
ab_
i
s_equality:
properly support "big
par
a
me
t
er"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
i
sl_ta
b
_p
i
p
.
c
:
fix ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_af
f
ine_hull
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
isl_unio
n
_map_
c
o
m
pute_flo
w
: ret
u
rn
a
ccesses with n
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
isl_union_
m
ap
.
c: inplace: pass data p
o
inter
to isl
_
hash
_
tab
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
isl_dim_mo
v
e: update parame
t
ers of
nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Ver
d
oolaege
add isl_map_n
a
t_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verdoo
l
a
e
ge
c
lean up i
s
l_
s
et_from
_
basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge
i
sl_basic_
s
et/is
l
_b
a
sic_
m
ap and is
l
_set/i
s
l_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sv
e
n Verdo
o
laege
r
e
n
ame "omeg
a
" trans
i
tive closure to "box" tra
n
sitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
dool
a
ege
export isl_int
_
obj_fr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdo
o
laege
isl_vertices
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ver
d
ool
a
ege
is
l
_u
n
ion
_
templ
.
c:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
d
oolaege
is
l
_
map_subtract
.
c: n_non
_
r
ed
u
ndant: pr
o
p
a
g
e i
s
l
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
e
g
e
is
l
_bernstein
.
c: f
i
x typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
a
dd isl_uni
o
n
_
pw_qpolynomial_mul_isl_i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
isl
_
stream_read_ob
j
: r
e
a
d
int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add int
o
bjects for
use in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Ver
d
oolaege
isl_basic_m
a
p_remov
e
_divs
:
finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verd
o
olae
g
e
add isl_bas
i
c_set_get_tupl
e
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoolaeg
e
i
sl_uni
o
n_map_s
a
mple:
d
on't
r
eturn
NU
L
L on
empty inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_b
a
sic_map_set_tu
p
le_name: fin
a
lize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoola
e
ge
isl_tra
n
sitive_closure
.
c
:
mor
e
a
n
onym
i
ze i
n
put map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoolaeg
e
isl_ba
s
ic_set_factoriz
e
r
: make
s
ure group
i
n
formation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
add isl_union_
m
ap_range_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
e
rdool
a
ege
doc
:
d
ocume
n
t
product fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Ve
r
doolaege
r
ename isl_bas
i
c
_
set_product to isl_basic_se
t
_li
s
t
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven
Verdoolaege
isl_set_convex_hull:
optionally use Fourier-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
isl_basic_set_s
a
m
ple_point
:
e
x
ploit factorization if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
add isl_mo
r
ph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
change prototype of
isl_v
e
c
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_
p
rinter_print_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdool
a
e
g
e
add
i
sl_union_set_apply
_
u
nion_pw_qpo
l
ynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
o
laeg
e
export isl_unio
n
_map_f
r
om_domain and i
s
l_union_map_from_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
er
d
ool
a
ege
i
sl_
b
asic
_
m
a
p_i
n
te
r
sect
_
domain: replace open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_st
r
eam_read_ma
p
: accept modu
l
o expr
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
isl_bas
i
c
_
m
ap_in
s
ert: do
n
't simplify
the result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaeg
e
M
e
rge
branch 'maint
'
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
isl_basic_m
a
p_f
r
om_cons
t
rai
n
t_m
a
t
r
i
c
es:
c
l
ear newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
do
o
laege
isl_token_free: free st
r
ing
r
epresentation
of
ke
y
words
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_i
n
put
.
c:
r
ead_fac
t
o
r
: drop
unexp
e
c
t
e
d identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolaege
isl_
i
np
u
t
.
c:
a
ccep
t
_affine_fact
o
r: av
o
id double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
e
rdoolaege
isl_stream_read_map: allow space
names that
happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdo
o
laeg
e
isl_stream_next_t
o
ken: k
e
ep
t
r
ack of string representation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
dd i
s
l_basic_set_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
V
e
rdo
o
laege
a
d
d isl_union_map_simple_hu
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
Merge branc
h
'm
a
int'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven
V
erdoolaege
add
isl_set_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
isl_
m
ap_is_su
b
set
:
don
'
t
c
ompu
t
e
d
ivs of minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaeg
e
renam
e
isl_map_is_singleton to isl_map
_
fast_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoolaege
add
i
sl_map
_
f
a
st_is_single_value
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
add isl_qp
o
lynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
e
x
po
r
t
isl_union_set_
d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
isl_qp
o
lynomial_
a
d
d_on_
d
o
main: comput
e
gi
s
t with
re
s
pect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
S
v
e
n Verdoolaege
isl_uni
o
n_map_coalesce and is
l
_unio
n
_map_compute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
S
v
en
Verdoolaeg
e
is
l
_bas
i
c_map_solve_lp: use d
e
nominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erd
o
o
l
aege
M
e
rge commit
'isl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
sl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoola
e
ge
isl_
t
ab_basic_map
_
partia
l
_lex
o
pt: fix up symmetry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoolaege
isl_basi
c
_map_univer
s
e: f
i
nalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
isl_seq
.
h: all
o
w inclusion from C++
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolaege
rei
m
p
leme
n
t
isl_map_par
t
ial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
isl_map:
f
i
x
t
ypos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
add so
m
e mo
r
e isl_map_lexmin
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_qpolynomia
l
_
add
_
isl_in
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaeg
e
a
d
d isl_
p
w_qp
o
l
y
n
omial_fold_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n
V
erdoolaege
a
dd
i
s
l
_pw_qpoly
n
omial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laeg
e
add
isl_q
p
olyno
m
ial
_
fold_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoolaeg
e
a
dd i
s
l
_qpol
y
nomial_fold_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
isl_printe
r
_pr
i
nt_qpolynom
i
a
l
_fold: support
C f
o
rmat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verd
o
o
l
aege
export isl_printer_
p
r
i
n
t
_qp
o
lynomial
_
fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
a
e
ge
export isl_
u
nion_ma
p
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
add is
l
_{set,map}
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_basic_{set,ma
p
}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
isl
_
printer_print_basic_{
s
et,map}: don't prin
t
n
e
wlin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next