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
doc: reorder preimage functions
2014-02-24
Sve
n
Verdoolaege
do
c
: reor
d
er prei
m
age functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Ve
r
do
o
l
aege
i
s
l_map
.
c:
imp
r
o
ve documentatio
n
o
f isl_map_preim
a
ge_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sv
e
n Verdoolaege
isl_
m
ul
t
i_pw_aff_pullback_
m
ulti_pw_aff: use is
l
_
pw
_
aff_pullb
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
S
ven Verdoo
l
aege
add isl_pw_a
f
f
_p
u
llback_multi_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sve
n
Ver
d
oolaege
isl
_
map_pre
i
mage_multi_pw_aff: spe
c
ial case u
n
ive
r
se set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verd
o
olaege
add isl_multi_*_inv
o
lves_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
S
v
en Verdo
o
laege
add
isl_multi_aff_
f
latten
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sv
e
n Verdoolaege
add isl_local_space_f
l
a
tten_{do
m
ain
,
r
a
ng
e
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven Ver
d
oolae
g
e
doc: move
i
sl_loca
l
_s
p
a
ce operations to unary/binary
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verdoolaege
add
i
s
l_space_do
m
ain_factor_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verdoolaege
add i
s
l_map_domain
_
is_wra
p
pi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Verd
o
ola
e
ge
add isl_space_
d
omai
n
_is_wrapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
ven V
e
rdoolaege
doc: move isl_sp
a
ce
w
rapping operati
o
ns
to
unary/
b
inary
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
v
e
n Verdoo
l
aege
d
o
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
use
r
.
pod:
f
ix intern
a
l
links
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n V
e
rdool
a
ege
document isl_map_fr
o
m_{do
m
ai
n
,
r
ange}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
add isl_map_order_l
e
an
d
isl_m
a
p_or
d
er_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ve
r
doolaege
add isl_*_t
o
_*_drop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ver
d
ool
a
ege
add i
s
l_val_negone
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdool
a
e
ge
isl_multi_
t
empl
.
c:
fix
d
o
cumentat
i
on of isl_multi_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
update
for rename of getR
e
sult
T
ype to
g
e
tReturnTyp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
ven Verdo
o
laege
u
pda
t
e for re
n
ame o
f
FunctionProtoType ac
c
essors from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
V
erdoolaege
configure
.
ac:
a
dd
l
lvm-config --system
-
libs to CLANG_LIBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-11
Sven Verdoolaeg
e
doc: fix leftover from isl_
d
im to i
s
l_spac
e
rename
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-08
Sven Verdoolaeg
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2014-01-06
Andreas Kloeckner
A
dd i
s
l_schedule_
c
o
nst
r
a
i
nts_copy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Andreas
K
lo
e
ckner
Add __isl_take to
isl_constraint_set_coe
f
fic
i
ent_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-30
Sven Verdool
a
ege
isl
_
ba
s
ic_map_simpli
f
y: fix elimi
n
ation o
f
unit coeffic
i
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-23
Sve
n
Verdoolaege
isl_as
t
_
node
_
print: av
o
id dangling
else warnings on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-23
Sven Verdoolaege
.
gitignore
:
add
t
est-drive
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-23
Sven Ve
r
doolaeg
e
AX_DETECT_GI
T
_
H
E
AD: detect git version w
i
th newer vers
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-22
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-12-22
Sven Ver
d
oolaege
a
l
low
t
he u
s
er to impose a bound on the n
u
m
b
e
r of low
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-19
Sven Verdoolaeg
e
i
s
l_space_drop_dims:
take into account over
f
low when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-17
Sven Verdoolaege
Makefile
.
am: avoid u
s
e of INCLUDES varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sv
e
n
Verdoola
e
ge
isl_pw_*_pullback_pw_multi_aff
:
properly h
a
ndle empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sven
V
er
d
oolaege
i
s
l_unio
n
_*
_
align_
p
arams: hand
l
e inputs that are not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sv
e
n Verdoolaege
isl_basic_set_from_point:
h
andle
N
ULL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
T
obias Gr
o
sser
isl_union_*_mul_isl_int: pass add
r
es
s
of isl_int to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sven
Verdoolaege
isl_hash_table_find: don't use user specified comparison
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sven Ver
d
oola
e
ge
isl_
s
et_
m
in_val:
c
o
mpute
m
i
nimum of m
i
nim
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-20
Sven Verdoolaege
isl
_
map_is_di
s
joint:
maps
with non-matching tup
l
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verd
o
olaege
add
isl_aff_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
S
ven Verdoolaege
add
isl_local_space_set_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdo
o
laege
add is
l
_basic_s
e
t_set_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-10-18
Sv
e
n Ve
r
doola
e
ge
python i
n
terface: also con
v
ert first argument to c
o
r
rect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
S
v
en Verdoolaege
isl_*_list_add: do not modify l
i
sts in-pla
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
er
d
oolaege
isl_sc
h
edule_co
n
str
a
ints: split proximity co
n
stra
i
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verd
o
olaege
isl_s
c
h
edule_constraints: add support for conditional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
i
sl_sche
d
ule
.
c: extract_e
d
g
e
: loo
k
fo
r
matching ed
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
isl_schedule
.
c: extract out edge_multiplicity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl
_
sch
e
dule
.
c: extract out merge_edge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Ver
d
oolaege
isl
_
sche
d
ul
e
.
c: e
x
trac
t
o
ut r
e
set_band
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdool
a
ege
i
s
l_schedule
.
c: extract ou
t
extr
a
ct_schedul
e
_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoola
e
ge
introduce n
e
w schedu
l
e
A
PI
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ve
n
Verdoolaege
isl_ast
_
bui
l
d_access_from_multi_pw
_
aff: treat
ne
s
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_as
t
_build_expr
.
c: extract out isl_
a
st_build_with_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
oolaege
add isl_
a
st
_
op_member type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
isl_sch
e
dule
.
c: fix typo
i
n
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Ve
r
doolae
g
e
isl_mat
.
c
: fix typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Tob
i
a
s
G
ross
e
r
Fix t
y
po in header guar
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
isl
_
a
s
t_build_ex
p
r
.
c: extract_modulo: consider
additional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven V
e
rdoo
l
aege
isl_as
t
_build_
e
xp
r
.
c
:
extract_modulo: extr
a
c
t
construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
is
l
_a
s
t_
b
u
i
l
d_expr
.
c: extract_modulos: pos
t
pone mod
i
fication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
isl_a
s
t_build_
e
xpr
.
c
:
e
xtract
_
modulos:
s
t
ore interme
d
iate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
isl_ast_build_expr
.
c
:
extract_modulo: assume input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2013-08-26
Sven Verdoolaege
isl_unio
n
_set_compute_sc
h
edule: fix
c
heck for progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verdoolaege
export i
s
l_as
t
_
e
xpr_set
_
op_arg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdool
a
ege
add
i
sl_multi_*_r
a
n
ge_factor_
{
d
o
m
a
in
,
range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
ol
a
ege
add isl_map_range_factor_{domain,range
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n
Verdoolaege
add
is
l
_space
_
r
ange_factor_{d
o
ma
i
n,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
olaege
add isl_multi_*_range_i
s
_wr
a
pping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdo
o
la
e
g
e
add isl
_
map_ran
g
e_is_wra
p
ping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolaege
a
d
d isl_space_is
_
wrapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Verdoolaege
doc
:
docum
e
nt
i
sl_spac
e
*produc
t
fun
c
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
olaege
add isl_multi_*_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
doc: list isl_m
u
lt
i
_
*
_
r
eset_tuple_id as fun
c
t
i
o
n
modifying
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
erdoolaege
add isl
_
set_
r
es
e
t_
u
ser an
d
i
sl_
m
ap_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add
isl_space
_
reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
I
SL_ARG
_
GROUP
:
allo
w
specification o
f
long name/prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Verdo
o
laege
isl_args_parse: allow
m
ul
t
iple pr
e
fix
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Ver
d
oo
l
aege
isl_arg
.
c: pr
i
nt_arg_help: print "no-" on default-set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
Sven V
e
rdo
o
laege
Merge
b
ranch
'm
a
i
nt'
commit
|
commitdiff
|
tree
2013-08-06
Ray Donnel
l
y
MinGW-w
6
4 build fix (lacks ffs declara
t
i
o
n
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoo
l
a
e
ge
is
l
_ast_buil
d
_ast_fr
o
m
_
s
ched
u
le: improve handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verdoola
e
g
e
is
l
_ctx
.
c: find_nes
t
e
d_op
t
i
ons: p
r
o
p
erl
y
handle argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
S
ven V
e
rdoolaege
isl_union_map_params
:
plug
m
emory leak in ca
s
e of
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
add isl_id_to_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdool
a
eg
e
add i
s
l_as
t
_ex
p
r_
s
ubstitute_i
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdool
a
ege
ext
r
ac
t
out isl
/
ast_type
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verd
o
olaege
a
dd isl_ast_
e
xp
r
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
d
o
olaege
add isl_ast_build
_
{a
c
c
ess,call}_from_m
u
lti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
a
dd isl_a
s
t_buil
d
_acces
s
_from_
p
w_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoo
l
a
ege
a
d
d isl_id_to
_
as
t
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
a
d
d
i
s
l_ast_expr_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verd
o
o
laege
ad
d
isl_id_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaeg
e
gene
r
alize
a
nd export isl
_
map_
t
o_basic
_
se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaeg
e
a
d
d is
l
_map_to_basic
_
set_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next