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: accept 'true' and 'false' constraints
2011-02-17
Sven Ve
r
do
o
laege
isl_stream_
r
ea
d
_map: accept
'
true' a
n
d 'false' constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
rdo
o
laege
isl_stream_read_
m
ap: allow extra ';' at end of ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaege
is
l
_stream_read_
m
ap: allow
n
egatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
s
l_s
t
r
e
am_read_map: allow exist
e
ntial qua
n
ti
f
i
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privately exp
o
rt
i
sl_
b
a
sic_map_add_div_constr
a
i
n
ts_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_morph_basi
c
_set: pres
e
rve rati
o
nality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add isl_basic_set_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
i
sl_p
r
inter_print_basic_
m
ap: ex
p
licitly mark r
a
tional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rd
o
olae
g
e
isl_stre
a
m_read_map: rea
d
ratio
n
al
m
a
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolae
g
e
isl_
b
a
s
ic
_
map_in
s
ert:
preserve rationality of inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
a
d
d
i
sl_basic_ma
p
_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Ver
d
oolaege
isl
_
b
asi
c
_map_fast_cmp: differe
n
t
i
ate
b
etwee
n
r
a
tional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaeg
e
isl_ou
t
pu
t
.
c
: remove so
m
e code duplicati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_printer_pri
n
t_basic_{set,map}
:
do
n
't sta
r
t
n
ew
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
s
l_stre
a
m
_
read_map:
ac
c
ept '
|
'
at start of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en Verdoolaege
isl
_
strea
m
:
k
eep track of t
e
xt
u
a
l
representation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoo
l
aege
isl_input
.
c:
c
lean up re
a
d_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
i
s
l_stream
_
read_map: accept disjunctions wit
h
in a
co
n
junct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdool
a
e
g
e
isl_c
o
nvex_hul
l
.
c: explicitly m
a
rk wra
p
pin
g
lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ver
d
oolaege
is
l
_
t
ab_
m
i
n
: m
i
cro
-
optimiz
a
tion:
postpone taki
n
g into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
o
olaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_t
a
b_add_r
o
w: ad
d
f
u
rthe
r
e
x
planation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
o
l
aege
i
sl_ta
b
.
c: fix ty
p
o
s
in co
m
ment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rd
o
o
l
a
e
ge
isl_tab_p
i
p
.
c
: cor
r
ectly detect n
o
n-negativity
o
f div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdo
o
laege
test
b
oth con
t
ext handling mechani
s
ms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
erd
o
olaege
isl_tab_is_equality: pro
p
erly
support
"
bi
g
par
a
met
e
r"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
isl_
t
ab_pip
.
c
:
fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_affine_hull
.
c: fix
typos
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ver
d
oolaege
i
s
l_union_map_
c
o
mpute
_
flow: return accesses with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolae
g
e
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaege
i
sl_union_
m
a
p
.
c: in
p
lace: pass
d
a
ta po
i
n
t
er to is
l
_hash_tab
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
isl_di
m
_move: update par
a
m
e
ters
of n
e
sted
s
p
a
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoola
e
ge
add
isl
_
map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
clean up
isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
m
erge i
s
l
_
bas
i
c_set/isl_basi
c
_map
a
n
d isl_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven
Verdoolaege
rename "
o
m
eg
a
" transitive clo
s
ure t
o
"box" t
r
ansitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
e
x
p
ort i
s
l_int
_
obj_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_vert
i
ces
.
c
: fix
typ
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
isl_union_templ
.
c: fix
t
yp
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoolaege
is
l
_map_subtract
.
c: n_n
o
n_redundant
:
p
r
opage
i
sl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_bernstein
.
c: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
ad
d
i
s
l_
u
nion_pw_qpolynomia
l
_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_s
t
r
e
am_read_obj: re
a
d int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verd
o
ola
e
ge
add int objects for
u
se in
i
scc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
ege
isl_basic_map_remove
_
d
ivs:
finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
r
doolaege
add isl_basic
_
set_get
_
t
u
p
le_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Ve
r
do
o
laege
Merge bran
c
h 'main
t
'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
is
l
_union_
m
a
p_sample: don't retu
r
n
N
U
LL on em
p
ty i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
isl_
b
a
s
ic_map_
s
et_tuple_name: fi
n
al
i
ze
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ver
d
oo
l
ae
g
e
is
l
_transitive_cl
o
s
u
re
.
c: more anonymize inpu
t
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
isl_basic
_
set_factorizer:
m
ake sure group infor
m
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
add is
l
_union_map
_
r
ange_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en Verdoolaege
doc: do
c
u
m
ent product
fu
n
ctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
e
n Verdool
a
e
g
e
rename
isl_
b
asic_set_product t
o
isl_basic_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoo
l
aege
isl_set_convex_hull
:
optionally use Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
dool
a
ege
isl_basic_set_sample_point
:
exploit
f
actori
z
a
t
io
n
if an
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
add isl_morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oola
e
ge
c
h
ang
e
p
r
ototype of isl_vec_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
a
d
d isl_prin
t
er_print
_
vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
add i
s
l_un
i
on_s
e
t_app
l
y_union_pw_qpolynomial
_
fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
expo
r
t isl_uni
o
n_map_
f
r
o
m
_
domain an
d
isl_u
n
ion_map_from_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_map_i
n
tersect_do
m
ain
:
replace open-code
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
V
e
rdoolaege
i
s
l
_s
t
ream_read_map: accept m
o
du
l
o
expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
isl_bas
i
c_
m
ap_insert: don't simplify the r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaeg
e
M
e
r
g
e
b
ranch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
isl_basic_map_from_constraint_
m
a
tric
e
s: clear
n
ewly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolae
g
e
isl_token_
f
ree: free string repr
e
sentation o
f
keyword
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoola
e
ge
isl_input
.
c: read_f
a
ct
o
r: drop unexpe
c
ted identifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
isl_i
n
p
ut
.
c
: accept_affine_f
a
ctor: avoid doub
l
e
f
re
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
T
o
bias Grosser
Add
i
sl_union_(
s
et
/
map)_detect_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Verdool
a
e
ge
i
sl_stream_read_map: al
l
ow
s
pace names that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n V
e
rdoolaege
i
sl_stream_next_token: ke
e
p tr
a
c
k of str
i
ng representa
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdo
o
laege
add isl
_
basic
_
s
et
_
flatte
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verd
o
o
l
aege
a
dd isl_union_map_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
Merge branch 'mai
n
t'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaege
add isl_set_remove_u
n
known_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
i
sl_map_is_
s
ubset: don
'
t
comp
u
te div
s
of
minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
rename isl_map
_
is_singleton to isl_map_fas
t
_is_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
lae
g
e
add isl_map_fast_is
_
single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
add isl_qpolyn
o
mial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven
V
erdoolaege
export isl_union_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
isl_qpolynomial_add_
o
n_dom
a
in: c
o
mpu
t
e
gist
wi
t
h res
p
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven
Verdoolae
g
e
isl_un
i
on_map_
c
oalesce and isl_uni
o
n_map_com
p
ute_
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
Verd
o
o
l
aege
is
l
_
basic
_
map_solve_lp: use denominat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
M
erge commit
'
isl-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doo
l
aege
isl
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoola
e
g
e
isl_tab_bas
i
c
_map_partial_lexopt: f
i
x up symmetry detecti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
isl_ba
s
ic_map_universe: f
i
naliz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
er
d
oolaege
i
sl_seq
.
h: allow inclu
s
ion fro
m
C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias G
r
osser
A
d
d GD
B
module that de
f
ines an is
l
print comma
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
doola
e
ge
reimplement isl_map_
p
artial_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdoolaeg
e
isl_map: fix
typos in
commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erdool
a
eg
e
add some
more isl_m
a
p_lexmin
t
ests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdool
a
ege
add isl_qpo
l
ynomial_add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
a
ege
add i
s
l_pw_q
p
olynomial_fo
l
d_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
ad
d
isl_pw_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoolaeg
e
add isl
_
qpolynomi
a
l_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
add isl_qpolynomial_fold_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
isl_pr
i
nter_print_qpolynomial_fold: support C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next