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
add isl_union_map_read_from_file
2011-02-17
Sven
Verdoolae
g
e
add is
l
_union
_
map_read_fr
o
m_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoola
e
ge
isl_str
e
am_read_map: accept 'true'
and 'false' constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
ege
isl_stre
a
m_read_map
:
allow extra '
;
'
at en
d
of m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
i
sl_stream_read
_
map: allow
negati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
isl_s
t
ream_re
a
d_m
a
p: al
l
o
w
existential
q
u
a
n
tifica
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
ege
priva
t
e
l
y ex
p
ort isl_basic
_
map_add_div_constrain
t
s_va
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_morph_
b
asic_set: preserve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
add
i
sl_basic_set_i
s
_ra
t
io
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdool
a
e
g
e
isl_printer_print_
b
a
s
ic_ma
p
: explicitly mar
k
ration
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoo
l
aege
isl
_
stream_read_map
:
rea
d
ratio
n
a
l maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_basic_map_ins
e
rt: p
r
e
ser
v
e rat
i
onality of
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Ver
d
o
o
lae
g
e
ad
d
i
s
l_basic
_
map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_basic_map_fast_cmp
:
differentiate between rat
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
i
s
l_output
.
c
:
remove so
m
e
code
dupli
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
i
s
l_
p
rinter_print_basic_{set,map}: d
o
n't sta
r
t new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
erdoola
e
ge
isl_stream_re
a
d_map: accept '|' at sta
r
t of con
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
e
n Verdoolae
g
e
isl_stream: keep track of textual rep
r
esentation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_input
.
c:
clean up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_stream_read_map:
a
cc
e
pt di
s
junctions within a c
o
nj
u
nct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdoolaege
isl_convex_hull
.
c:
e
xpl
i
citly mark wra
p
ping
l
p problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_ta
b
_min: m
i
cro-o
p
timiz
a
ti
o
n: post
p
one taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
Mer
g
e
branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_add_row:
add further explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ve
n
V
erdoolaege
isl_tab
.
c: fix
t
y
pos
i
n
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
Verdo
o
laege
isl_tab_pip
.
c: c
o
rre
c
tly de
t
e
c
t non-neg
a
t
i
vity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdo
o
laeg
e
a
d
d
t
est
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
e
g
e
test both
con
t
ext
handli
n
g mechanisms o
f
isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ver
d
oolaeg
e
isl_t
a
b_is_equa
l
i
t
y: properly suppor
t
"
big paramete
r
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl
_
t
ab
_
pip
.
c: fix
ty
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_hull
.
c: fix typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl_union_map_compute_flow: return a
c
c
esses with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdo
o
l
ae
g
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_union_map
.
c: inplace: pass da
t
a poi
n
ter
t
o
i
s
l
_
hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rd
o
olaege
isl_
d
i
m
_mov
e
: update parameters of nested space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verdo
o
laege
a
d
d isl_m
a
p_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
c
lean
u
p
isl_
s
e
t
_
from_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge isl_bas
i
c_set/isl_basic_map
a
nd
i
sl_s
e
t/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "omega" tr
a
nsitive closu
r
e t
o
"box
"
transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Ver
d
o
olaege
e
x
p
o
rt
i
s
l_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_vertices
.
c: fix t
y
p
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
e
g
e
i
sl_unio
n
_templ
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
isl
_
ma
p
_subt
r
act
.
c:
n_
n
on
_
redundant: propage i
s
l_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
V
e
rdoolaege
isl_bern
s
tein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add isl_union_p
w
_qp
o
lynomi
a
l_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
ae
g
e
isl_stream_re
a
d
_
obj: r
e
a
d i
n
t objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
add int objects
for use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
is
l
_basic_map_
r
emov
e
_
d
ivs:
fi
n
aliz
e
re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
o
l
a
e
ge
add i
s
l_b
a
s
i
c_s
e
t_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoo
l
a
e
ge
isl_union
_
ma
p
_samp
l
e
: don't return NULL on empt
y
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
r
d
oolae
g
e
isl_ba
s
ic_map_set
_
tuple_name: finalize res
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Verdoolaege
i
sl
_
tra
n
sitive_c
l
osure
.
c
: more anony
m
ize inpu
t
ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ver
d
oolaege
isl_basic_set_factor
i
ze
r
: mak
e
s
ure group infor
m
ati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verdoolaege
add
isl_union_map_range_prod
u
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rdoolaege
doc:
d
oc
u
men
t
product fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdoolaege
rename isl
_
basic_set_product to isl
_
basi
c
_set_list_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Ve
r
d
oolaege
isl_set_conve
x
_hull: o
p
tiona
l
ly use Fourier-Mo
t
z
k
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdoolae
g
e
isl_
b
a
s
i
c
_se
t
_
sample_poin
t
: exp
l
oit factoriz
a
t
io
n
if
any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
aeg
e
add isl_morph_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoola
e
ge
change
p
r
ototype of isl_vec_d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
add isl_printer_print_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
a
e
g
e
a
d
d isl_union_se
t
_apply_union_pw_
q
p
olynomial_f
o
ld
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
expo
r
t isl_u
n
ion_map_from_domain and isl_
u
nion_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
dool
a
ege
is
l
_basic_ma
p
_
i
ntersect_
d
o
ma
i
n: repla
c
e
open-c
o
ded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
isl_stream_read_map: accept
m
odulo
e
xpr
e
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaeg
e
i
s
l
_bas
i
c_map_insert:
d
on't simplify the
r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
rdoolaege
Mer
g
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_m
a
p_from
_
c
o
nstra
i
nt_matrices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoo
l
aege
i
s
l_t
o
k
en_free: free s
t
ring represent
a
tion of
ke
y
word
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
l_i
n
put
.
c:
r
ead_factor
:
drop unexpected identif
i
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verd
o
olaege
isl_in
p
ut
.
c: accept_affin
e
_facto
r
:
a
v
o
id double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
T
o
bi
a
s G
r
osse
r
A
d
d
i
sl_union
_
(set/map)_dete
c
t_equalitie
s
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
Sven
Ve
r
doolaeg
e
isl
_
stream_next_token
:
keep
t
r
a
ck of string repres
e
ntation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Ver
d
oolaege
ad
d
i
s
l_b
a
s
ic_s
e
t
_fla
t
ten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaeg
e
add is
l
_u
n
ion_map_simple_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verd
o
olaege
Merge branch 'mai
n
t'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
d
d isl_s
e
t
_
remove_unknown
_
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolae
g
e
isl_map_is_subset: d
o
n
't co
m
pute div
s
o
f
m
inuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdo
o
laege
r
en
a
me isl_map_is_singleton to isl_map_fast_is_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
d
d
i
sl_map_fast
_
is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
add isl_qpolynomi
a
l_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
export isl_
u
nion_set
_
d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
isl_qp
o
l
y
n
omial_add_on_dom
a
in:
c
omput
e
gist with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verd
o
olaege
isl_union_map_coale
s
ce a
n
d isl_unio
n
_map_c
o
m
p
u
te_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven
Verdoolaege
isl_basic_ma
p
_
s
olve
_
lp: use denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
e
g
e
Merge commit 'isl
-
0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
V
erd
o
olaege
i
s
l 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en
Verdoo
l
a
ege
isl_tab_b
a
sic_map_partial_le
x
opt:
f
ix up symmetry det
e
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
e
rdoola
e
ge
isl_ba
s
ic_map_univer
s
e: finaliz
e
re
s
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
sl_seq
.
h: allow in
c
lusio
n
from C++
commit
|
commitdiff
|
tree
2010-12-31
Tobi
a
s G
r
osser
Add GDB module that defines an is
l
print co
m
mand
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdoolaege
reimplement i
s
l_m
a
p_partial_l
e
xopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
e
g
e
isl_map: fix typos in
c
ommen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolaege
a
d
d some
m
ore isl_map_lexmin t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Ver
d
ool
a
ege
add isl
_
qpo
l
ynomia
l
_
add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_pw_qpolynomial_f
o
l
d
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdo
o
la
e
ge
add is
l
_
p
w_qpolyno
m
ial
_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoolaeg
e
add isl_q
p
ol
y
n
omial_fold_d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
add isl_qpolyno
m
ial_fold_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next