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
Sv
e
n Verdoolaege
isl_stream_read_map: all
o
w existential quant
i
fica
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erd
o
olaege
private
l
y export
isl_basic_map_add_div_c
o
nst
r
aints_va
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
e
g
e
isl_morph
_
bas
i
c_set: preser
v
e rationa
l
ity of in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
add isl_basi
c
_
set_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l_printer_print_basic_
m
ap: explicit
l
y
mark
r
ational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
v
en
V
erdoola
e
ge
isl_str
e
am_read_map: read rationa
l
maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_
b
a
s
ic
_
m
ap_insert: preserve r
a
tional
i
ty of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verd
o
olaege
add isl_bas
i
c_map_set_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
isl_basic_map_f
a
st_cmp: diffe
r
e
n
t
i
ate betw
e
en r
a
tional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoo
l
aege
isl_ou
t
put
.
c:
remove
s
om
e
code duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
isl_printer_print
_
b
a
sic_{set,map}: don't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
ve
n
V
erdoolaege
isl_stream_rea
d
_map: accept
'
|
'
a
t start o
f
c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
oolae
g
e
isl_
s
tream: keep track
o
f
t
e
xtual
r
epresentation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_in
p
u
t
.
c: clean
u
p
r
ead_disjun
c
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_stream_read_map
:
acce
p
t disjunctions wit
h
in a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoo
l
aege
isl_co
n
vex_hull
.
c
: explicitl
y
mark wrapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verd
o
olaege
i
sl_tab_
m
in:
m
i
c
ro-optimizatio
n
: po
s
t
pone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
i
s
l_tab_
a
dd_ro
w
: add further explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_t
a
b
.
c: f
i
x t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoola
e
g
e
isl_tab_pip
.
c: corre
c
t
l
y detect no
n
-n
e
gativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
test b
o
th c
o
nt
e
xt handling me
c
hani
s
m
s
of is
l
_pi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaeg
e
isl_tab_is_equality: properly su
p
port "big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
aeg
e
i
s
l_t
a
b_
p
ip
.
c
:
fix
typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdool
a
e
g
e
i
s
l_
a
ffine_hull
.
c: fix typos in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdoo
l
a
ege
isl_union_map_compu
t
e_flo
w
: return accesses wi
t
h no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdool
a
ege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
e
ge
i
sl_union_map
.
c:
inplace: pass data pointer to isl_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
isl_dim_move: u
p
da
t
e parame
t
ers of neste
d
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en V
e
rdool
a
ege
add
i
sl_map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
cle
a
n up is
l
_set_from_b
a
sic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
m
e
rge
isl_basic_set/isl_b
a
sic_map and is
l
_set/i
s
l_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
S
v
en Verdoo
l
aege
rename "omega" transitive closure to "
b
ox" transiti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
ex
p
ort isl_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doola
e
ge
is
l
_ver
t
i
ces
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_union_
t
emp
l
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoo
l
aege
isl_ma
p
_subt
r
act
.
c: n
_
n
o
n
_redunda
n
t: pr
o
p
a
ge isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
isl_bernstein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
ege
a
dd isl_u
n
ion_pw_qp
o
lyno
m
i
a
l
_
mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
ola
e
ge
isl_
s
tre
a
m_read
_
obj: read
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
add i
n
t objec
t
s for u
s
e in
i
sc
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdoo
l
a
ege
isl_basic_map_remove_divs:
finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doo
l
ae
g
e
add is
l
_basic_set_get_
t
u
ple_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
e
g
e
Merge
b
ran
c
h 'm
a
int'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
is
l
_
union_map_sample: don't return NULL on empt
y
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoolaege
i
sl_ba
s
i
c
_map_set_tup
l
e_n
a
m
e
: fin
a
l
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n
V
e
r
doolaege
isl_transitive_clos
u
re
.
c: m
o
re an
o
nymiz
e
input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Verdoolaege
i
s
l_basic_set_
f
ac
t
orizer: make sure group i
n
form
a
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en Verdoolaege
add isl_union
_
map_rang
e
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
l
a
e
ge
doc: d
o
cument pr
o
duc
t
f
u
nct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
o
olaege
rename
i
sl_basic_set
_
p
roduct to i
s
l_ba
s
ic_set_l
i
st_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
S
ve
n
V
e
rdoolaege
isl_set_convex_hull: o
p
tiona
l
ly use Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
isl
_
basi
c
_
s
et_sample_poi
n
t: exploit fa
c
toriz
a
tion if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
add isl_morph_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
cha
n
ge pr
o
totype
of isl_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
d
d isl
_
p
r
i
nter_p
r
i
n
t_
v
ec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
Verdoolaege
a
dd isl_union_set_apply_union_pw_qpolynomial_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
rdoolaege
export isl_union_map_from_domain and isl_unio
n
_
map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
ae
g
e
isl_basic_map
_
intersect_domain:
r
eplace op
e
n-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
aege
isl_stream_read_map: acce
p
t m
o
d
ulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven V
e
rdo
o
l
a
ege
isl
_
basic_map_insert: do
n
't simpli
f
y the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
isl_basic_map_from_constra
i
n
t_matrices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
olaege
i
sl_toke
n
_free: free
string repr
e
s
e
ntation of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_i
n
put
.
c: read
_
factor: drop unexpected id
e
ntifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdo
o
laeg
e
isl
_
input
.
c: ac
c
ept_
a
ffine
_
f
a
ctor: avoid double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
i
sl_strea
m
_read_
m
a
p
:
allo
w
space
names that
happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stream_next_token:
k
eep track of s
t
ring re
p
resentation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdo
o
l
a
ege
add isl_basic_set_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolae
g
e
ad
d
isl_u
n
ion_map_simpl
e
_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
Me
r
ge branch 'ma
i
nt'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_set_remove_u
n
kn
o
wn_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_map_is_subset:
d
on'
t
com
p
ute d
i
vs of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
rename isl_map_is_
s
inglet
o
n t
o
isl_
m
ap_fast_is
_
singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
add isl_m
a
p_f
a
st_i
s
_single_va
l
ue
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_qpolynomial_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdo
o
laege
e
xport isl_union_set
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
l
a
ege
isl
_
qpol
y
n
o
mial_add_
o
n_domai
n
: compute g
i
st with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verd
o
olaege
i
s
l
_
union_ma
p
_coalesc
e
and isl_union_map_co
m
pute_d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolae
g
e
isl_basic_
m
ap_so
l
ve
_
l
p
: use denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
Merg
e
c
o
mmit 'isl-0
.
0
5
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaeg
e
isl_tab_basic
_
map_partial_lexopt: fi
x
up symmet
r
y detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_basi
c
_map_u
n
ive
r
se: fina
l
ize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolae
g
e
is
l
_
seq
.
h: allow
inclusion from C++
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
reimplement isl_map_p
a
rtial_
l
exopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en V
e
r
doolaege
isl
_
map: fix
t
ypos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
e
g
e
add some more isl_map_lexmin
t
ests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n
Ve
r
do
o
lae
g
e
add
isl_qpol
y
nomial_ad
d
_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
e
rdoolaeg
e
add isl_pw
_
qp
o
l
y
nomial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n
V
erdo
o
laege
add isl_pw_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
ad
d
isl_qpolynom
i
a
l_fold
_
d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolae
g
e
add i
s
l_qpolyno
m
ial_fo
l
d_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdo
o
l
a
ege
isl
_
p
rinte
r
_prin
t
_qpolynomial_fold: su
p
p
o
rt
C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
a
ege
e
x
p
o
r
t
isl_prin
t
er_print_
q
polynom
i
a
l
_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaeg
e
export isl_union_map_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
add
isl_
{
s
e
t,ma
p
}_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoolaege
a
dd isl_basic_
{
set,map}
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_prin
t
er_p
r
int
_
basic_{set,map}: don't pr
i
nt
newline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next