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_printer_print_basic_map: explicitly mark rational maps
2011-02-13
Sven
V
erdoolaege
isl_prin
t
e
r
_print_bas
i
c_ma
p
: exp
l
i
c
itly mark
r
ationa
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoola
e
ge
isl_str
e
am_rea
d
_map: read ratio
n
al
m
aps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
isl_basic_m
a
p_
i
nsert: prese
r
ve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add
i
s
l_
b
asic_map_set_rationa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ve
r
doolaege
is
l
_basi
c
_map_fast_cmp: differe
n
t
i
at
e
between rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
la
e
ge
isl_output
.
c:
r
e
mov
e
some cod
e
duplicati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
printer_print_basic_{set,map}:
don't st
a
r
t ne
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoo
l
aege
i
sl_stream_r
e
ad_map: accept '|' at start
of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
v
e
n Verdo
o
laege
isl_stream: keep t
r
a
ck of textua
l
r
e
presentat
i
on of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_
i
np
u
t
.
c:
cle
a
n up read_dis
j
uncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolae
g
e
isl_strea
m
_read
_
map: accept disjun
c
t
i
ons with
i
n a c
o
njunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoo
l
aege
is
l
_c
o
nvex_
h
ull
.
c: explicitly mark wra
p
ping lp prob
l
e
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n
Verdoolaege
isl
_
tab_mi
n
: mic
r
o-optimization: postpone ta
k
in
g
into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_add_r
o
w: add further explanati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_tab
.
c: fix typos in comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
e
rdoo
l
aege
isl_
t
a
b_
p
ip
.
c: co
r
rectly
d
etect non-n
e
gativit
y
of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
erdoolaeg
e
add test
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoola
e
ge
test both context
h
andli
n
g mechan
i
sms of
isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
is
l
_
tab_is_equality: properly
s
uppor
t
"big parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
e
rdoo
l
aege
isl_tab_pip
.
c
: fix
typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl_a
f
f
i
n
e
_hull
.
c: fix
typos
i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ver
d
oola
e
ge
isl_uni
o
n_map_compu
t
e_flow: return acce
s
s
es
with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
dool
a
ege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
i
sl_union_
m
ap
.
c:
inplace: pass
d
ata po
i
n
t
e
r
t
o
isl_hash_ta
b
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven
Verdoolaege
isl_d
i
m_move: upda
t
e paramete
r
s of nest
e
d spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
add isl_map_nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdoolaege
clean u
p
i
sl_set
_
from_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
olaege
me
r
g
e
isl_basic_set/i
s
l_
b
asic_m
a
p
and isl_
s
et/isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rena
m
e "omega" t
r
a
n
sitive clos
u
re to "box" transit
i
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
e
x
port isl_int
_
obj_f
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
isl_vertices
.
c
: fix t
y
pos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdool
a
ege
isl_u
n
ion_t
e
m
pl
.
c:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
isl_map_subtract
.
c:
n_no
n
_redundant: propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
i
s
l_bernstein
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erdoola
e
ge
add isl_
u
nion_pw_q
p
olyn
o
mial
_
mu
l
_isl_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
sl_strea
m
_read
_
obj: read int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolae
g
e
add in
t
ob
j
ects for use in
i
scc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolae
g
e
isl_ba
s
ic_
m
ap
_
remove_divs
:
f
inali
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n Verdoolaege
a
dd isl_bas
i
c_set_g
e
t
_
tuple_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
Merge bra
n
ch 'maint
'
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
dool
a
ege
isl_union
_
m
a
p_sample: don
'
t return NULL on empty inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_
b
asic_map_set_tup
l
e_nam
e
: finalize resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdool
a
ege
isl
_
transitive_closur
e
.
c: more anonymize in
p
u
t map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdool
a
e
g
e
isl_basic_s
e
t_fac
t
orizer: make su
r
e group info
r
mation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
add isl_union_map_range_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rdoolaege
doc: document prod
u
ct functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaeg
e
rename isl_bas
i
c_set_pr
o
duct to isl_basic_set_li
s
t_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven
V
erdoolaege
is
l
_se
t
_convex_hull
:
optionally use
F
ourier-Motzk
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
isl_b
a
sic_set_sa
m
ple_point: exploit factori
z
ation if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
add
i
sl_
m
orph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
c
h
a
nge
prototype of isl_vec_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
add isl_printe
r
_pr
i
nt_
v
ec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl
_
uni
o
n_set_apply_un
i
on
_
pw_qp
o
lynomi
a
l_fold
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_union_map_fr
o
m_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
isl_ba
s
ic_map_inters
e
ct_domain: r
e
p
lace op
e
n
-
cod
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ve
r
d
oolaege
isl
_
st
r
eam_rea
d
_map: accept modulo expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
isl_basic_map_
i
ns
e
rt: don'
t
simpli
f
y the result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ver
d
oolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Ve
r
doolaege
i
s
l_basic_map_
f
rom_constraint_matrices
:
clear newl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_t
o
ken_free
:
free
s
t
rin
g
rep
r
esentation of
keyword
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
r
doolaege
i
s
l
_
input
.
c
:
read_f
a
ctor: drop unexpected identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n V
e
rdoola
e
ge
isl_i
n
put
.
c: accept_
a
f
f
i
n
e
_f
a
c
t
o
r: avoid doub
l
e
fre
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
T
ob
i
as Grosser
Add is
l
_union_(set/map)_detect_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verd
o
olaege
isl
_
stream_read
_
map
:
allow spac
e
n
a
mes that happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rd
o
olaege
isl_stre
a
m
_
next_token: keep track of stri
n
g representation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaege
add
i
s
l
_
b
a
sic_set
_
flat
t
en
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
a
dd
i
sl_union
_
map_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
M
e
rge branch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
ool
a
eg
e
add isl_se
t
_r
e
move_unknown_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verd
o
olaege
isl_m
a
p_is_subset: d
o
n
'
t
c
o
m
p
u
te divs o
f
minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
rename isl_map_is_single
t
on to isl_m
a
p
_fast_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaege
add isl_map_fast_
i
s_s
i
ng
l
e
_
valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaege
a
dd i
s
l_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
export isl_union_s
e
t
_
du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoolae
g
e
i
s
l_qpolynomial_add_on_dom
a
in: c
o
mpute g
i
st wit
h
re
s
p
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
S
v
en
V
e
rdoolaege
isl_union_map_coale
s
ce and isl_union
_
ma
p
_
c
ompute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
Ve
r
do
o
laege
isl_basi
c
_map_sol
v
e_lp:
use denom
i
nato
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge com
m
i
t
'isl-0
.
0
5
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Ver
d
o
olaeg
e
isl
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
isl_tab_basic_map_partial_lexopt:
f
i
x
up symmetry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_basic_map_universe: finalize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoolaege
isl_seq
.
h: allow inclu
s
io
n
from
C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias Grosser
Add GDB module tha
t
defines an islprint
c
o
mman
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
reimplemen
t
isl_map_partial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
doolaege
isl_map: fix typos in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erd
o
o
laege
add so
m
e more isl_map_
l
exmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
e
g
e
a
d
d
i
sl_qpo
l
y
n
o
m
i
al_ad
d
_is
l
_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
do
o
laege
ad
d
is
l
_pw_qpolyn
o
mia
l
_
fold_
d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
a
d
d
i
sl
_
pw_qpolynomial_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
e
g
e
add isl
_
qpolynomial_fold_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en
V
erdo
o
lae
g
e
add isl_qpolynomial_
f
o
l
d_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoola
e
ge
isl
_
p
r
i
nt
e
r_prin
t
_qpolynomia
l
_f
o
ld
:
suppor
t
C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
expo
r
t isl_
p
ri
n
ter_
p
r
int_qpolynomial_fol
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdo
o
laege
exp
o
rt isl_union_ma
p
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n
Verd
o
olaege
add isl_{set,
m
a
p}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n Verdo
o
l
aege
add isl
_
b
a
sic_
{
set,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Ve
r
doolae
g
e
i
sl_printer_print_
b
a
s
ic_{set,m
a
p}: don't prin
t
newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven V
e
rdoolaege
rename isl_*_
d
u
mp
t
o
i
sl_*
_
p
rint_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven V
e
rdoolaege
m
a
ke isl/poi
n
t
.
h
s
e
l
f-c
o
ntained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next