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/implementation.tex: update to algorithm2e.sty version 4.0
2013-07-24
Sven Ve
r
doo
l
a
ege
d
oc/implementat
i
on
.
tex: update to algorithm2e
.
sty vers
i
o
n
4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
conf
i
g
ure
.
ac: link i
n
l
l
vm opt
i
on compone
n
t in extract_
i
nt
e
rface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
Sv
e
n Verdool
a
ege
isl_a
s
t_build_ast
_
from_
s
ch
e
dule: imp
r
ove handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
Sven
V
erdoolaege
isl_as
t
_
build_
c
omp
u
te_gist_
p
w_aff: h
a
nd
l
e
parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdool
a
ege
isl_
v
ertice
s
.
c: isl_
c
ell_allo
c
: accep
t
NU
L
L
poi
n
te
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_v
e
rt
i
ces
.
c: compute_ch
a
m
b
er
s
:
acc
e
pt NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaeg
e
isl_vertices
.
c: add_c
h
amber: a
c
cept NULL
p
o
inter
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
i
s
l_b
a
sic
_
set_compute_vertices:
a
c
cept NUL
L
p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
Verdoolaege
isl_vertic
e
s
.
c: vertices_from_l
i
st: acce
p
t NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_
t
ransitive_closure
.
c: union_com
p
onents:
avoid
zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_transi
t
i
ve_clo
s
ur
e
.
c: path_along_delt
a
:
accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Ve
r
doolaege
isl_ta
r
j
an_graph_a
l
loc:
accept N
U
LL poin
t
er on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdo
o
lae
g
e
isl_ta
b
_basic_set_non_trivial_lexmin: acce
p
t
NULL pointe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_tab_
p
i
p
.
c:
ba
s
ic_map_partial_le
x
opt_symm: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolae
g
e
isl_tab_p
i
p
.
c: tab_for_lexmin:
accept NU
L
L pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ta
b
.
c:
r
e
store_basi
s
: accept NUL
L
pointer o
n
zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaege
isl_tab_push_ba
s
is:
accep
t
NULL pointer on
z
ero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
i
sl_tab_p
r
o
d
u
ct: ac
c
e
p
t NULL p
o
inter
o
n ze
r
o-siz
e
alloc
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaege
isl_
t
ab_dup
:
accept NULL pointer
o
n
zero-s
i
z
e allo
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdool
a
ege
isl_t
a
b
_
allo
c
:
a
c
cept NULL
pointer
o
n zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_sp
a
ce_revers
e
: a
c
cept NULL pointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Ver
d
oola
e
ge
isl_schedule
.
c: constr
u
ct_fo
r
est: with_m
e
rged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en V
e
rdoola
e
g
e
isl_
s
ched
u
le
.
c: co
n
s
t
r
u
ct_band_list:
w
i
t
h
_merged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_sc
h
edule
.
c:
construct_
b
and: with_merged_divs: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
o
l
aeg
e
isl_s
c
he
d
ule
.
c: e
x
tra
c
t_
n
o
d
e: ac
c
ept NULL
pointer
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en V
e
rd
o
o
laeg
e
isl_
s
chedule
.
c: graph_alloc
:
a
ccept NU
L
L
pointer
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_qpolynomial_mor
p
h_domain
:
acce
p
t
N
U
L
L poi
n
ter on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
r
d
o
o
la
e
ge
isl_qpoly
n
om
i
al_m
o
ve_dims: avoid zero-size alloc
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
V
erdoola
e
ge
isl_p
o
lyno
m
i
a
l
.
c: with_m
e
rg
e
d_di
v
s: accept NULL po
i
n
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
e
ge
isl_mat_sub_all
o
c6
:
accept NULL
p
ointer on
z
ero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
isl_mat_extend:
a
ccept NULL pointer on ze
r
o-size allocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdo
o
laege
i
s
l_mat_alloc: accept NULL po
i
nter on
z
ero-size allocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_map_sub
t
ract
.
c: n_
n
o
n_redundan
t
:
av
o
id
z
e
ro-siz
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
V
erd
o
olaege
isl_basic_
m
ap_dr
o
p
_redundant_divs:
avoi
d
zero-siz
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_bas
i
c_map_sort_constraints: avoid
z
e
ro-size
all
o
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
Verdoolaege
isl_map
.
c: ba
s
ic_map_init:
a
ccept
NU
L
L pointer
o
n ze
r
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verd
o
olaege
isl_b
a
s
i
c_set_opt_l
p
_
val_
a
lign
e
d: ac
c
ept NULL pointe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_l
o
cal_space_ge
t
_activ
e
:
accept NU
L
L
p
o
int
e
r on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdo
o
laege
isl_basic_set_opt:
a
ccept NULL p
o
inter
o
n zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolae
g
e
isl_flow
.
c: comput
e
_
f
low: accept NULL poi
n
te
r
on
z
ero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Ver
d
o
olaege
i
s
l_flow
.
c: sched_info_alloc: acce
p
t NU
L
L pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
f
low
_
alloc:
a
ccept N
U
LL poi
n
ter o
n
ze
r
o-si
z
e allocatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_coal
e
sc
e
.
c: coalesce_
s
ubset: accept NULL point
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl
_
coalesce
.
c: coalesc
e
_lo
c
al_pair: accep
t
NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
bernste
i
n_coeff
i
cients_full_recursive: acce
p
t
N
ULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
isl_ban
d
_dup: accept NULL po
i
n
te
r
o
n
zer
o
-size allo
c
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olaege
isl_ast
_
graft
.
c: insert_pe
n
ding_
g
uar
d
_nodes: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl
_
a
s
t_
e
xpr_alloc_op: accep
t
NULL pointer on
zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_a
f
f_
a
l
i
gn_d
i
vs: accep
t
NULL
p
ointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_
a
ff
_
add: accept NULL pointer on z
e
r
o-size all
o
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_pw_mul
t
i_aff_pro
d
uct: fix typo that
broke
handling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolae
g
e
isl_
a
st_codeg
e
n
.
c: generate_compone
n
t
:
h
andl
e
non-obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven V
e
rdoolaege
isl_ast_expr_
f
r
o
m
_
aff: c
l
e
ar d
e
nomin
a
tor before calling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoolaege
isl_qpolyno
m
ial_val_
o
n
_
domain: pl
u
g
m
e
mory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
Sve
n
Verd
o
olaege
isl_
b
asic_map_apply_ra
n
ge:
avoi
d
i
nvalid a
c
ces
s
es o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven
V
erdoolaege
isl
0
.
1
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ve
r
do
o
laege
doc:
f
ix
t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven
V
e
rdoolaege
try and
avoid dependi
n
g
o
n
mpz_gcd
e
xt in
t
ernal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
isl_printer_print_m
a
p
: make printing order of disjuncts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
isl_constraint_priva
t
e
.
h: perform proper includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Ve
r
doolaege
M
a
k
e
file
.
am: add isl_va
l
_priva
t
e
.
h to libisl
.
la sou
r
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoo
l
a
e
ge
doc:
expl
a
in that
isl_ints wil
l
b
e
remo
v
ed in futu
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Verdoola
e
ge
remove *_scale_vec functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
Verdoolaege
isl_ba
n
d_tile: u
s
e isl
_
union_pw_multi_
a
f
f
_
scale
_
multi_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdool
a
ege
add isl_u
n
ion_pw_multi
_
a
f
f_sc
a
le_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en
V
erdoolaege
add i
s
l_pw_mul
t
i_
a
ff_sc
a
le_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdo
o
laege
add isl_multi_*_scale_mult
i
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
merge
s
h
ared isl
_
multi_*_alig
n
_
p
a
rams declarati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
S
v
e
n Verdool
a
ege
ad
d
isl_val_int_from_chunks and isl_val_
g
et_abs_num_chunks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sve
n
Verd
o
olae
g
e
M
e
r
ge
bran
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2013-06-14
Sv
e
n Verdo
o
l
aege
i
sl_{in,}e
q
uality_from_aff: skip
c
onstruc
t
ion
of isl_b
a
sic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
v
en V
e
r
d
oola
e
ge
i
sl_map_gist_basic_map
:
remove
align
m
en
t
of context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaege
is
l
_multi_*_gist: add mis
s
i
n
g
isl_multi_*_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sv
e
n Verdoolaege
is
l
_local_s
p
ace_substitute_equaliti
e
s: impro
v
e e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sven Ve
r
doolae
g
e
isl_loca
l
_space_subst
i
tute_equali
t
i
e
s:
avo
i
d
writing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoolaeg
e
Merg
e
b
r
anc
h
'maint'
commit
|
commitdiff
|
tree
2013-06-10
Sven Ver
d
oo
l
aege
isl_coalesce
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven
Verdoolae
g
e
isl_output
.
c
:
print_qpolynomial_c: improve error handl
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
S
v
en Verdoolaege
isl_map_align
_
divs: fix err
o
r ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n Verdo
o
l
a
ege
isl_hmap_m
a
p_basic_
s
et_se
t
:
a
v
o
id memo
r
y leak
o
n erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdoo
l
a
ege
is
l
_union_map_alloc
:
avoid
d
ou
b
le fr
e
e
o
n error pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoolae
g
e
i
sl_vertices
.
c: compute_chambers: avoid invalid acce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
e
rdoolaege
isl_bas
i
c_map_gi
s
t
:
av
o
id i
n
v
alid acce
s
s
on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
Verdo
o
laege
isl_
b
asic_ma
p
_ali
g
n_divs: avoid invalid access
o
n
e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoolaege
i
s
l_basic_map_contains: avoid invalid
a
c
ce
s
s on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoola
e
ge
isl_basic_set_opt: avoid inva
l
id access on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven V
e
rdoolaege
isl_ta
b
_pi
p
.
c
:
context_gbr_sa
v
e: avoid inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_tab_pip
.
c: use_shifte
d
: avoid invalid access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sve
n
Verdoolaege
isl_ast_co
d
egen
.
c: generate_compon
e
nt: av
o
id
invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sv
e
n Verdool
a
e
g
e
isl
_
stream_r
e
ad
_
m
a
p: h
a
ndle "implies" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sve
n
Ver
d
oolaege
r
e
m
o
ve ref
e
r
ence to pi
p
lib fr
o
m
.
g
i
tmodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verd
o
olaege
is
l
_
inp
u
t
.
c:
accept_div: accep
t
floor/ceil of rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
ven Verdoolaege
isl_inpu
t
.
c: extract out common is_star
t
_of_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_pw_
*
_fix_val: als
o
plug in val
u
e
i
n
associat
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sve
n
Verdoolaege
isl_pw_tem
p
l
.
c: e
x
tract out isl_pw_*_exp
l
oit_equa
l
ities_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
ad
d
test case for isl_pw
_
q
pol
y
nomial_inter
s
ect_do
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
S
v
en
Verdoolaeg
e
isl_p
o
ly
n
om
i
a
l
.
c: f
i
x
t
y
po in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
isl_ast_codege
n
.
c: contru
c
t
_
sh
i
fte
d
_execut
e
d
: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
isl_ast_co
d
e
g
en
.
c: eli
m
inate_
n
on_fixed: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
i
s
l
_
ast_code
g
en
.
c: at_most_one_non_f
i
x
ed: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next