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_token_get_type
2013-05-28
S
ven Ve
r
do
o
laege
add
i
s
l_token_get_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aeg
e
add isl_token_get_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verdoolaege
add isl_to
k
en_get_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaeg
e
add isl_
o
bj_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n V
e
rdoolaege
add isl_un
i
on_ma
p
_fi
x
ed_po
w
er_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
ad
d
isl_
s
et_count_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaeg
e
add isl_set_di
m
_residue_class_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_map_
f
loordiv_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
doolaeg
e
a
d
d
isl_set_plain_get_va
l
_
if_fi
x
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoo
l
aege
add
i
s
l
_bas
i
c_m
a
p_plain
_
g
e
t_val_if
_
fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdo
o
l
a
ege
add is
l
_map
_
plain_get_v
a
l_if_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
ad
d
isl_set_lower_bound_val and
isl_set_uppe
r
_bo
u
nd_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add
i
sl_
m
a
p
_
f
ix_v
a
l and isl_set_fix_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_set_min_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
ad
d
i
s
l_set_max_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add
isl_basic_set_max_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
r
d
oo
l
aege
add isl_b
a
sic_
s
e
t_*_
l
p_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaeg
e
add privat
e
isl_ba
s
ic_set_ge
t
_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl_pw_qpolynomial_fix
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdoolaege
ad
d
isl_
p
w_af
f
_
mod
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_p
w
_aff_sca
l
e_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Ver
d
o
o
laege
add is
l
_union
_
p
w_*_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_mul
t
i_*_scale_val and isl_pw_*_scale_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
a
d
d isl_qpolynomial_fold_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
ad
d
isl_qp
o
l
ynomi
a
l
_
scale_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
a
ege
add isl_qpolynomial
_
val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_qpolyno
m
ial_get_
c
onst
a
n
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoo
l
a
e
ge
ad
d
isl_term_get_coefficien
t
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Verdoo
l
ae
g
e
a
dd isl_aff_mo
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolae
g
e
add isl_
a
ff
_
sca
l
e_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_aff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add
isl_aff_get_de
n
ominator_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
a
d
d
i
s
l
_aff_get_coefficient
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oo
l
aege
add
isl_aff_get_con
s
t
ant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add isl_af
f
_ad
d
_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add is
l
_aff_ad
d
_
c
o
n
st
a
nt
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
a
e
ge
add isl_aff_set_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdo
o
laege
add isl_af
f
_se
t
_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add isl_co
n
straint
_
get_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
dd isl_co
n
strain
t
_get_co
n
stan
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add i
s
l_constraint_set
_
co
e
f
ficient_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
la
e
ge
a
d
d isl_constraint_set_cons
t
ant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_point_ge
t
_coordinate_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
ad
d
i
sl_point_set_coordi
n
ate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ve
r
do
o
laege
add isl_mat_get_element_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
add is
l
_mat_set_element
_
va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add isl_vec_se
t
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaege
add isl
_
v
ec_get_
e
lemen
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_v
e
c_set_elem
e
nt_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
ad
d
GMP specific isl_
v
al fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
r
doolaege
add
i
sl_multi_val_
m
o
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
add isl_multi_va
l
_add_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
e
r
do
o
laege
add is
l
_mul
t
i
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
o
l
aege
i
s
l_m
u
lti_templ
.
c:
i
s
l
_multi_*_se
t
_*: extract out check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoola
e
ge
add isl_val_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
add isl_val abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoola
e
ge
a
d
d isl_int_subm
u
l
_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
V
e
rdoolaege
add
isl_in
t
_addmul_u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolaege
add isl_
i
nt_mul
_
si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n
Ve
r
do
o
laeg
e
add isl_int_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl
_
int_fits
_
slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Verd
o
olaege
remove is
l
_int_gcdext from public
i
sl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n Verdoolaege
create
p
r
ivate copy of isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en Ve
r
d
o
olaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2013-05-24
Sven Verdoolaege
isl_un
i
on_set
_
com
p
ute_s
c
hedule: fix check for pr
o
gre
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
S
v
e
n
V
erdoolaege
is
l
_
v
ert
e
x_get_domain:
r
eturn parameter
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
isl_ast
_
expr
_
fro
m
_cons
t
r
aint
:
split
off c
o
nstant term
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sven Verd
o
olaege
M
erge
branch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaege
isl_b
a
sic_map_
f
oreac
h
_lexopt: pro
p
erly merge partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
S
v
e
n V
e
rdoolaege
merge sha
r
ed isl_mu
l
t
i
_* decl
a
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sv
e
n Ver
d
oola
e
ge
declar
e
isl_multi_*
t
ogether with
i
sl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sv
e
n Verdoolaege
make is
l
_mu
l
ti_* files more se
l
f-containe
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
S
ven Verdoolaege
isl
_
space
_
private
.
h: prot
e
ct ag
a
ins
t
mult
i
ple in
c
lusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdo
o
laeg
e
d
etect m
i
s
s
ing
g
mp
.
h
o
r
m
issing/o
l
d gmp
library
duri
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven
Verdoola
e
g
e
is
l
_ast_
c
odegen
.
c
:
add_nod
e
s
:
use more tran
s
parent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
add
isl_basic_map_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
S
v
en Verdoolaege
bound
.
c: verify_
p
oint: use is
l
_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
S
v
e
n Ver
d
oo
l
aege
isl_input
.
c: read_f
a
ctor: declare variables at start
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
S
ven Ver
d
oolaege
Merg
e
branch 'main
t
'
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
isl_*alloc*: return NULL if c
t
x argument is N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdo
o
laege
isl
_
space
.
c: a
d
d missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
d
eclare i
s
l_ta
b
_g
e
t_c
t
x in isl_tab
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
d
e
clare isl
_
*
_
li
s
t to
g
ether w
i
t
h
is
l
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
isl
_
ast_graft
.
c
:
remove spurious
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oolae
g
e
i
sl_
a
st_codegen
.
c:
r
emove
d
epe
n
de
n
ce on internals of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoo
l
aege
e
x
t
r
a
c
t generi
c
isl_*_list_foreach
_
scc
f
r
om isl_a
s
t_codegen
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verd
o
olaege
isl_map_affine_hull: make st
r
ide informa
t
i
o
n exp
l
icit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
eg
e
isl_
m
orph
.
c: ex
t
ract out isl_mat_par
a
meter_compr
e
ssion_ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoo
l
aege
isl_ast_build_get_str
i
de_
c
o
nstraint:
combine multiple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoo
l
ae
g
e
isl_ast_build
.
c
:
use
i
s
l
_int_gcd
e
xt inst
e
ad of open
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
r
d
oolaege
a
d
d isl_int
_
gcdext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ast_build
_
ast_from_schedule: a
l
s
o add st
r
ide guar
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
l
aege
isl_ast_
b
uild_s
e
t_loop_bou
n
ds:
c
om
p
ute
divs
a
f
t
er elimi
n
atin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
o
l
a
ege
isl_ma
p
_
s
implify
.
c: nor
m
al
i
z
e_di
v
s
_
in_cont
e
xt: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
is
l
_as
t
_
b
uild
_
e
xpr
.
c: r
e
move left-over from
r
efact
o
ri
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaege
is
l
_ast_co
d
eg
e
n
.
c: create_node_
s
c
a
led
:
reflect
c
urren
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoolaege
a
dd isl_u
n
io
n
_m
a
p_prei
m
age_domain_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add isl_map_p
r
e
i
m
a
g
e
_
d
o
main_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolae
g
e
isl
_
basic_ma
p
_preimage_mult
i
_aff: micro-refac
t
oring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoolaeg
e
i
sl
_
map_simplify
.
c: div_is_redund
a
nt: igno
r
e
coefficient
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
