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
privately export isl_basic_map_add_div_constraints_var
2011-02-17
Sven V
e
rdoolaege
privately export is
l
_basic_map_add_div_co
n
s
t
r
aints_
v
ar
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
lae
g
e
isl_mo
r
ph_ba
s
ic_
s
et
:
preserve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdo
o
laege
add isl_
b
asic_set_
i
s_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_print_bas
i
c_
m
ap: exp
l
icitly
mark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ver
d
oolaege
isl_s
t
ream_read_ma
p
: read rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
isl_basic
_
m
ap_
i
nsert:
p
reserve ration
a
lity
o
f
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
add
isl_bas
i
c_map_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
isl_basic_map_fast_cmp: differentia
t
e between
rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_output
.
c: remove
some c
o
de duplica
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
isl_
p
rinter_print_basic_
{
set,map}:
d
o
n't start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ve
r
dool
a
ege
i
s
l
_
stream_
r
ead_map:
a
ccept '|' at start o
f
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rdoolaege
isl
_
stream: keep
track
of textual
r
e
p
r
esentation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
i
sl
_
input
.
c: c
l
ean up rea
d
_
d
isjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_stre
a
m_read_ma
p
: accept dis
j
u
n
c
t
ions wit
h
in a conjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en V
e
rdool
a
ege
isl
_
convex_hull
.
c: explicitly mark wr
a
pping lp p
r
oblem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ve
r
doolae
g
e
isl
_
tab_min: micro-op
t
i
mi
z
ation
:
p
o
s
tpone
t
a
k
ing int
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
l
ae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoola
e
ge
is
l
_tab_add_
r
ow: add further e
x
pl
a
na
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
t
ab
.
c
:
fix
t
ypos in
c
omm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl_tab
_
pi
p
.
c: c
o
rrec
t
ly detect
no
n
-n
e
gat
i
vity
o
f divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verd
o
o
la
e
g
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoo
l
aege
test bot
h
cont
e
xt handling m
e
chanisms of
isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl_tab_i
s
_equality: properly support "big param
e
ter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verd
o
olaege
isl_ta
b
_pip
.
c: fix
t
ypo in
c
o
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
rdoo
l
aege
is
l
_affine_hull
.
c: fix typos in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_map_compute_flow: re
t
urn access
e
s with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ver
d
oo
l
aege
isl_union_
m
ap
.
c: inpla
c
e: pass d
a
ta pointer
t
o
isl_h
a
s
h
_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
o
olaeg
e
isl_dim_move: update p
a
rameters of
n
est
e
d sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
Verdool
a
ege
a
d
d
i
sl_map_nat_u
n
ivers
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
e
n
Verdoolaeg
e
c
l
e
a
n up isl_set_from_basic_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
m
erge isl_ba
s
ic_set
/
isl_bas
i
c_map and
isl_set
/
isl_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven
Ve
r
doo
l
a
ege
rename "omega" transitive closu
r
e
to "box" t
r
ansitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
exp
o
rt is
l
_int_obj_f
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
i
s
l_vertices
.
c:
fix ty
p
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl
_
union_te
m
pl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
er
d
oolaege
i
s
l
_map_
s
ubtra
c
t
.
c:
n_n
o
n_redundant: propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoolaege
i
sl_be
r
ns
t
ein
.
c:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doola
e
ge
a
d
d isl_u
n
ion_pw_qpolynomial_m
u
l_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
i
sl_
s
tr
e
am_read_obj: read int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
add
i
nt objects for use in i
s
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaege
isl_basic_ma
p
_remove_div
s
:
finalize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Ve
r
doolaege
add isl_basic_set_
g
et
_
tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaeg
e
Merge b
r
anch '
m
a
i
nt'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_union_map_s
a
mple:
d
o
n't return
NU
L
L
on
e
m
pty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl
_
basic
_
m
ap_s
e
t_tup
l
e_name
:
finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolaege
isl_transitiv
e
_closure
.
c: more
a
non
y
m
i
ze input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoola
e
ge
i
sl_
b
a
s
ic_s
e
t_fa
c
torizer:
make sure
gr
o
u
p
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
e
r
d
oolaege
add isl_union_map_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
Verdo
o
laege
doc: document p
r
oduct functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
oola
e
ge
ren
a
m
e
isl_basic_
s
e
t
_product to isl_basic_set_list_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sve
n
Verdoola
e
ge
isl_s
e
t_co
n
ve
x
_hull: op
t
ionally use Fou
r
ier-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
isl_basic_set
_
sa
m
ple_poin
t
: exploit
f
ac
t
orization
i
f
any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
add isl
_
mo
r
ph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
oolaeg
e
c
h
ange prototype of isl_vec_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
add isl_printer
_
print_v
e
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
add isl_u
n
ion_set_apply
_
u
n
i
o
n
_pw_
q
polynomia
l
_fol
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
aege
export
isl_unio
n
_map_from_domain and isl_unio
n
_map
_
from_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
isl_bas
i
c
_map_intersect_dom
a
in
:
replac
e
open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Ve
r
doolae
g
e
isl_
s
tream_read
_
ma
p
: accept modulo
exp
r
essi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
isl_basic_map_insert: don't simplify t
h
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdoolaege
Merg
e
branch 'm
a
int
'
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n V
e
rdoolaege
isl_basic_map_
f
rom
_
constraint_ma
t
rices: cl
e
ar newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
sl_token_f
r
ee: free string representation of keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
is
l
_input
.
c
:
read_factor: drop un
e
xp
e
ct
e
d identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Ver
d
oolaege
i
sl_input
.
c: accept_
a
ffine
_
factor: a
v
oid dou
b
l
e
free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Grosse
r
A
d
d
i
sl_u
n
ion_(
s
et/map
)
_
detect_
e
qualities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verd
o
o
l
a
e
g
e
isl_str
e
am
_
read_ma
p
: allo
w
s
p
ace nam
e
s that happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
isl
_
stre
a
m_next_token: keep track of string represen
t
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
add
i
sl_basi
c
_set_flatt
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoolaege
add
i
sl
_
union_map_simp
l
e_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
Merge branch '
m
aint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_set_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdool
a
ege
isl_map_is_subset: don't compu
t
e divs of minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
r
e
name
isl_map_is_s
i
ngleton to isl_map_
f
ast_
i
s_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaeg
e
a
dd
is
l
_
m
ap_
f
as
t
_
is_sing
l
e_valu
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
a
d
d isl_qpoly
n
omial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdool
a
ege
export
isl_
u
nion
_
s
e
t_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
i
sl_qpolynomial_add_on_domai
n
: compute
g
i
st with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl
_
u
n
i
on_map_c
o
ale
s
ce
a
n
d isl_uni
o
n_map_compute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_basic_m
a
p_solv
e
_lp: use denominato
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge c
o
mmi
t
'isl-0
.
05
.
1
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoo
l
aege
isl
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolaege
i
s
l_tab_basi
c
_map_partial_lexopt: fix
u
p
symmetry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoo
l
aege
isl_basic_ma
p
_universe: fi
n
ali
z
e res
u
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
i
s
l_se
q
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias
G
ro
s
ser
Ad
d
GDB module tha
t
d
e
f
ines
a
n islprint c
o
mmand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoola
e
ge
reimplement isl_map_partial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
isl_m
a
p: fix typos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Ve
r
dool
a
ege
add
some m
o
re
i
sl_m
a
p_lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
a
d
d is
l
_qpolynomial_add_
i
sl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
ad
d
isl_pw
_
qpolyn
o
mial_fold
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaeg
e
a
d
d
isl_pw_q
p
olynom
i
al_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
add isl_qpolynomial_f
o
ld_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
r
doolae
g
e
add isl
_
qpolyn
o
m
ial_fold_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oola
e
ge
isl_prin
t
er_
p
rint_qpolynomial_fold:
s
u
pport C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doo
l
aege
export isl_printer_p
r
int_qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
export isl_u
n
ion_map_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
V
e
rdoolaege
a
d
d
i
s
l_{set,ma
p
}_d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoolaege
add isl_basic_{s
e
t,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next