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_map.c: drop unused error label
2011-03-15
Sv
e
n Verdoolae
g
e
isl_map
.
c
:
drop
unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolae
g
e
isl_inp
u
t
.
c
: drop unuse
d
error
la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
r
e
sp
e
ct DE
S
T
DIR when ins
t
alling isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaege
is
l
_stream:
a
ccept "$"
token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_union_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdoolaege
c
hange i
s
l_map_power
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_
u
nio
n
_ma
p
_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add
pri
v
ate isl_basic_map_swap_va
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolae
g
e
add
i
sl_uni
o
n_map_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoolaege
Me
r
ge branc
h
'm
a
int
'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verd
o
olaeg
e
i
s
l_map_de
l
tas: do
n
't copy flags f
r
om
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdoolaege
i
s
l_stream_read_map: acc
e
pt constan
t
expressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en
V
er
d
oolaege
i
sl_stream: accept "/\" and "\/" as
alternati
v
e
s
fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
d
oolaege
isl_strea
m
: only quote
n
ewline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
l
a
ege
isl_stream:
maintai
n
priva
t
e
u
ngetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdo
o
la
e
ge
isl_set_l
i
fti
n
g: s
i
m
p
l
ify
a
nd finalize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verd
o
o
l
aege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoolaege
doc: d
r
op l
o
n
g
o
utdated
note
on transitive closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdool
a
ege
add
i
sl_basic_set_g
e
t_di
m
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoola
e
ge
isl_map_identity: t
a
ke di
m
ens
i
o
n specification of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
rename isl_di
m
_m
a
p to isl_di
m
_map
_
from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
trans
i
tive closure:
p
ro
j
ect
o
ut p
a
ramete
r
s when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven
V
erdoolae
g
e
p
r
i
vately
e
xport isl
_
basic_se
t
_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Ver
d
oolaege
isl_se
t
_lift: pr
e
serve structure
o
f space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoola
e
ge
isl_p
w
_q
p
olynomial_bound: handle co
m
bination o
f
wr
a
ppi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
o
o
l
a
e
g
e
isl_tab_pip
.
c
: fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdoolaege
isl_tab: check
for obvi
o
usly empty ta
b
leaus aft
e
r discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolaege
isl_basi
c
_
ma
p
_g
i
st: p
r
efer contraints with
o
ut exis
t
entially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolaege
isl_basic_map_s
o
rt_constrai
n
ts: change comparison routin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
i
sl_
t
a
b
_ineq_type: classify
more co
n
strain
t
s
as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ver
d
oolae
g
e
isl_map_coal
e
sce
:
be
m
ore relaxed about multiple equalitie
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdool
a
ege
add isl
_
b
asic_map_f
r
o
m_domain_an
d
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
e
r
dool
a
ege
add isl_
b
asic_set_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
ven
V
erdoolaeg
e
ad
d
isl_b
a
s
i
c_set_flat_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
e
x
port isl_basic_map_
f
la
t
ten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rd
o
olaege
a
dd isl_basic_map_from_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
isl_st
r
eam
:
support \<newline> line
co
n
tinuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoo
l
aege
add
i
sl
_
union_ma
p
_r
e
ad_fr
o
m_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolae
g
e
isl_stre
a
m_read_map: accept 'tru
e
' and 'fa
l
se
'
const
r
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
isl_s
t
r
eam_
r
ead_ma
p
: allow extra ';
'
at
e
nd
of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
is
l
_
s
tream_read_map: al
l
ow negat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
i
sl_stream_read_map: allow e
x
istential q
u
an
t
i
f
icat
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
pri
v
at
e
ly e
x
port is
l
_
basi
c
_map_ad
d
_div_constraints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Ve
r
doolaege
i
s
l_morph_bas
i
c_set: pre
s
erve rat
i
onali
t
y of inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add
isl_basic_se
t
_
is_r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l_
p
rinter_prin
t
_basic_map: ex
p
licitly ma
r
k rat
i
onal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_s
t
rea
m
_read_map: read ration
a
l maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
doolaege
isl_basic
_
m
a
p_insert: pres
e
rve
r
at
i
onality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en V
e
rdo
o
l
a
ege
ad
d
isl_basic_map_se
t
_rationa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en V
e
rdoolaege
i
sl_basic_map_fast_cmp: differentiate between ra
t
iona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
is
l
_out
p
ut
.
c: remove some code dupli
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_print_bas
i
c_{s
e
t,map}: don't s
t
art new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n
V
erdoolae
g
e
isl_stream_read_map: ac
c
ept '|' at star
t
o
f
const
r
aints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven
Verdoolaege
isl_stream:
k
e
e
p t
r
ack of textual r
e
presentation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n
Verd
o
o
l
aege
isl
_
input
.
c: clean up r
e
ad_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolae
g
e
isl
_
str
e
am_
r
ead_
m
ap: ac
c
ept disjunctions wit
h
i
n
a
conj
u
nct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven
V
erd
o
olaeg
e
isl_c
o
nv
e
x_hull
.
c: explici
t
ly m
a
r
k wrapping lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_t
a
b_min:
micro-op
t
imization: postpone t
a
k
i
ng into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
M
e
rge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdo
o
l
a
e
g
e
isl_tab_
a
dd_row:
add further explan
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
is
l
_tab
.
c: fix
t
y
pos
i
n co
m
men
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_pip
.
c: corr
e
ctly det
e
ct non-negativity
of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
aege
add test
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdool
a
ege
tes
t
both contex
t
handli
n
g mech
a
nisms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
i
s
l
_tab_is_equ
a
lity: properly suppo
r
t
"bi
g
parameter
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolae
g
e
isl_tab_pip
.
c: fix typo
in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_h
u
ll
.
c:
fix ty
p
os in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
is
l
_
u
nion_map_com
p
ute_fl
o
w:
r
eturn accesses
w
ith
no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_map
.
c: inplace:
p
ass data poi
n
ter to is
l
_hash
_
tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_d
i
m_m
o
ve: updat
e
paramet
e
r
s of nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
ool
a
ege
add i
s
l_m
a
p
_
n
at
_
univer
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven
Verdoolaege
clean up isl_set_
f
rom_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verd
o
o
l
ae
g
e
merge isl_basic_set/isl_basi
c
_
m
ap and
i
sl_set/isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Ve
r
doolaege
rename "o
m
e
g
a" transitive closure to "box" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
ex
p
o
r
t i
s
l_int_obj_
f
ree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
i
sl_vertices
.
c: fix
typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
doo
l
aege
isl
_
u
n
io
n
_
t
empl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
is
l
_map_subtrac
t
.
c
:
n_non_redu
n
d
ant: propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erd
o
olaege
isl_bernstein
.
c
: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add is
l
_
u
nion_
p
w_
q
polynomi
a
l
_
mul_isl
_
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
l
_
stream_read_obj: read int
o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add
i
nt obj
e
cts f
o
r use
in isc
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
is
l
_basic_map_re
m
ov
e
_di
v
s
:
finalize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
a
dd i
s
l
_
ba
s
ic_set
_
get_tuple_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge
bra
n
ch '
m
aint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
isl_union_map_sample: don't return NULL on em
p
t
y
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n
Verdoolaeg
e
isl_basic_map_set_tuple_name: fin
a
lize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Ve
r
doola
e
ge
isl_tr
a
n
s
it
i
ve_closure
.
c:
m
o
re
a
nonym
i
ze input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doolaege
isl_basic_
s
et_factorizer: make sure g
r
oup info
r
mation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
v
e
n Verdoolaege
ad
d
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 prod
u
ct
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verdoolaege
rename isl_b
a
sic
_
set_prod
u
c
t t
o
is
l
_b
a
s
i
c
_set_lis
t
_
p
r
o
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sve
n
Ver
d
ool
a
ege
i
s
l_
s
et_conve
x
_hull:
optio
n
ally use Fourier-M
o
tzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
ae
g
e
isl_
b
asic_set_sampl
e
_
poi
n
t: exploi
t
factorization if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
aege
a
dd isl
_
mor
p
h_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change prototype of isl
_
vec_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
ol
a
ege
add isl_p
r
i
n
ter_print_v
e
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_union_set_apply_
u
nion_pw_qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
r
doolaege
e
x
port isl_uni
o
n_map
_
from_domain and isl_union_map_from_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next