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 0.12.1
2013-07-24
Sven Ver
d
oolaege
isl
0
.
12
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoo
l
aege
doc/implementation
.
tex
:
up
d
a
t
e to algorithm2
e
.
sty version 4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verd
o
olaege
con
f
igure
.
ac: link in
l
l
vm option
c
omponent in
e
xtract_
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
Sven Verdoolaege
isl_
a
st_build_ast_from_schedu
l
e: impr
o
ve handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
Sven Verdoolaege
isl_
a
st_
b
u
i
ld_co
m
pu
t
e_gist_pw_a
f
f: handl
e
p
a
r
a
metric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl
_
vertices
.
c: isl_cell_a
l
loc: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoo
l
a
e
g
e
isl_verti
c
es
.
c
:
comp
u
te_chambers:
a
ccept NULL poin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Ve
r
doolae
g
e
isl_verti
c
es
.
c
: add_chamber: acce
p
t
N
ULL poin
t
er on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdool
a
e
g
e
isl_basic_set_compute_vertice
s
: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_ve
r
t
ices
.
c: v
e
rtices_
f
rom_list: acc
e
pt NUL
L
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_transitive_closu
r
e
.
c: union
_
component
s
: avoid zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_
tran
s
itive_closure
.
c: path_al
o
ng
_
delta: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tarjan_
g
raph_
a
lloc: accept
N
ULL pointe
r
on zer
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_tab_b
a
s
ic_
s
et_n
o
n_
t
rivial_lexmi
n
: accept NULL po
i
nt
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
i
sl_tab_pip
.
c: basic_m
a
p
_part
i
al_lexopt_symm
:
ac
c
ept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Ver
d
oo
l
aege
isl
_
tab_p
i
p
.
c
: tab_for_
l
ex
m
in: accep
t
NULL poi
n
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_
t
ab
.
c
: rest
o
re_basis
:
accep
t
NULL pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_tab_push_basis: acce
p
t
NULL po
i
nter on ze
r
o
-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
ola
e
ge
isl
_
tab_produ
c
t: accept NULL
pointer on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rd
o
olaege
i
sl_tab_dup: accept NUL
L
poin
t
e
r on zero-size all
o
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tab_alloc:
accep
t
NULL pointer on zero-
s
i
ze all
o
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdool
a
ege
isl_space_reverse:
accept
N
ULL
pointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
s
l
_
s
c
hedu
l
e
.
c: construct_fore
s
t: with_merged
_
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_schedul
e
.
c: c
o
ns
t
ru
c
t_
b
a
nd
_
list: with_
m
erged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
isl_sc
h
e
d
ule
.
c: cons
t
ruct_band: with_merged_div
s
: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_sched
u
l
e
.
c: extract_n
o
de: accept NULL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n V
e
r
doolaege
isl_schedule
.
c
:
graph_alloc:
a
cce
p
t
NULL poin
t
er on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_qpoly
n
omia
l
_
m
orph_d
o
main: accept N
U
L
L pointer
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_qpolynomial
_
move_dims:
avoid zero-size allo
c
a
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_
p
olynomial
.
c
:
with_
m
erge
d
_divs: ac
c
ept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
er
d
o
o
laege
isl_mat_
s
ub_alloc6: acce
p
t NULL pointer on zero-
s
ize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_mat_
e
x
t
end: accept NULL pointer
o
n zero-size a
l
location
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl
_
mat
_
allo
c
:
ac
c
ept NULL
p
ointer o
n
zero-size
allocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
V
e
rd
o
olaege
isl_map_subtract
.
c: n_non_redundant: avoid zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
isl
_
basic_map_dr
o
p_redundant_divs
:
av
o
id zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoola
e
ge
isl
_
bas
i
c_map_sort_co
n
straints: avoi
d
zero
-
size allo
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl
_
map
.
c:
basic_map_init
:
a
ccep
t
NULL po
i
nte
r
on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdo
o
lae
g
e
i
s
l_bas
i
c
_
set_opt_lp_val_aligned:
accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaeg
e
isl_local_space_
g
et_act
i
ve: accept NU
L
L pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
isl_basic_set_
o
pt:
a
ccept
NULL
pointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
oo
l
aege
isl_f
l
ow
.
c: co
m
pute_flow: accept NULL
p
ointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
er
d
o
o
l
aege
isl_flow
.
c: s
c
hed_inf
o
_alloc: accept NULL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
l
a
ege
isl_
f
l
o
w_a
l
loc: ac
c
ept NULL po
i
nter on ze
r
o
-
s
ize al
l
oca
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
c
oalesce
.
c:
c
oal
e
sce_subset:
a
ccept
N
ULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
la
e
ge
i
s
l_c
o
alesce
.
c: co
a
lesce_loca
l
_p
a
ir: a
c
cept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olae
g
e
bern
s
tein_coefficients_full_recursive: ac
c
e
pt
NUL
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
i
sl_band_
d
up
:
ac
c
ept NUL
L
pointer on zero-si
z
e allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
isl_ast_gr
a
ft
.
c
:
insert_pending_gu
a
r
d
_nodes: av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoola
e
g
e
i
s
l_a
s
t
_expr_all
o
c_op
:
a
c
cept NULL p
o
inter on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_aff_align_di
v
s
: accept NULL p
o
inter
o
n
z
e
ro-
s
ize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolae
g
e
isl
_
a
f
f_add: ac
c
e
pt
NULL poi
n
ter on zero-size al
l
o
c
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
isl_pw_m
u
lti_
a
ff_produc
t
: fix typo that broke
handling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
r
doolaege
isl_ast_codegen
.
c: ge
n
e
r
ate_
c
o
m
ponent: handle non-
o
b
v
iously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoola
e
ge
i
s
l_a
s
t_exp
r
_from_
a
f
f:
c
lear denominator
befo
r
e callin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven
V
erdo
o
l
aege
is
l
_qpol
y
nomial_val_on
_
doma
i
n: plu
g
memory leak
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
S
ven V
e
rdoo
l
aeg
e
isl
_
basic_map_apply_
r
ange: a
v
oid in
v
alid accesses on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
v
en Ve
r
doolaege
i
s
l 0
.
1
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
v
en Ve
r
doo
l
aege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sv
e
n
Ver
d
ool
a
ege
try and av
o
id depending on mpz_gcde
x
t internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
i
sl_printer_pri
n
t_map: ma
k
e pri
n
ting order of d
i
sjuncts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
V
e
rdoolaege
isl_cons
t
raint_private
.
h: perfor
m
proper
inclu
d
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoola
e
ge
Mak
e
file
.
am: add isl_v
a
l_private
.
h to libisl
.
la sou
r
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdo
o
laege
doc:
e
x
p
lain
that isl_ints will be removed in
f
uture
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdoolaege
remove *_scale_vec functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ve
n
Verdool
a
e
ge
i
sl_band_til
e
: use isl_union_pw_multi_aff_scale_multi
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Ver
d
ool
a
ege
add isl_union_pw
_
multi_aff_scale
_
m
ulti_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdoolaege
add isl_pw_mult
i
_af
f
_scale_mu
l
ti_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdool
a
ege
add isl_multi_*_scale_
m
ulti_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sv
e
n Verd
o
ola
e
ge
me
r
ge shar
e
d
isl_multi_*_ali
g
n_pa
r
ams declar
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
Sven Verdoolaege
add
i
s
l
_val_int_from_chunks
a
nd isl
_
val_get
_
abs_nu
m
_c
h
unks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sve
n
Verdoolaege
Me
r
ge b
r
an
c
h 'maint
'
commit
|
commitdiff
|
tree
2013-06-14
Sven V
e
rdoola
e
ge
i
sl_{in
,
}equal
i
ty_from_aff: skip construction of isl_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaeg
e
isl_map_gist_bas
i
c_map: remove al
i
g
n
ment
of cont
e
xt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoola
e
g
e
i
sl_m
u
lti_*_gist: ad
d
missing isl_multi_*_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
S
ven
Verd
o
ol
a
ege
isl_local_space_substi
t
ut
e
_
e
qualities:
i
mpro
v
e error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sven Verdoo
l
aege
isl_l
o
cal_space_substitute_equ
a
lities
:
avoid writi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verd
o
olaege
M
erge bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2013-06-10
S
ven
V
e
rdoolaeg
e
i
sl_coa
l
esce
.
c:
fix typo
in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n Ve
r
dool
a
e
ge
i
s
l_ou
t
put
.
c: prin
t
_qpolyno
m
ial_c
:
imp
r
o
v
e error h
a
ndling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven Ve
r
doolaege
i
s
l
_m
a
p_ali
g
n_divs
:
fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
i
s
l_hma
p
_map_basic_set_se
t
: avoid memory le
a
k on er
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ve
r
doolaege
i
s
l
_union_map_alloc:
a
void double free on error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaeg
e
isl_vertice
s
.
c: c
o
mpute_c
h
ambers: avoid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdool
a
ege
isl_basic_
m
ap_gist: avoid invalid ac
c
ess on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n
V
erdoolaege
isl_bas
i
c_map_align_divs: av
o
id invalid access
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_b
a
sic_ma
p
_c
o
n
t
ains: avoid invalid access on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en
Verdoo
l
aege
isl_
b
asic_set_
o
pt: avoid inva
l
id access
o
n erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven
V
e
r
doolaeg
e
isl_tab_pip
.
c: conte
x
t_gb
r
_
s
ave: av
o
id invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoo
l
a
e
ge
isl_tab_pi
p
.
c: use_
s
hifted: avoid
invali
d
a
cces
s
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
S
ven Ve
r
doolaege
i
s
l_a
s
t
_codegen
.
c: generate_compon
e
nt: avoid
inv
a
lid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sv
e
n Verdoolaege
isl_
s
tream_read_map:
h
a
ndle "implies" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sve
n
V
erdoolaege
rem
o
ve referenc
e
to piplib from
.
gitmodul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sve
n
Ver
d
oolae
g
e
isl_in
p
ut
.
c
:
a
c
cept_div: accept
f
loor/
c
eil of rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
v
e
n
Verdool
a
eg
e
isl_i
n
put
.
c: extract
out common
i
s_star
t
_of_
d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_pw_*_fix_val
:
also plug in
v
alue
in associated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven V
e
r
d
o
o
laege
isl_pw_templ
.
c: extract
o
ut isl_pw_*_expl
o
it_equaliti
e
s_
a
nd
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdool
a
eg
e
a
d
d test ca
s
e
for
i
sl_pw_
q
polyn
o
mial_intersect
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sven Verdoolaege
isl_polynomial
.
c: f
i
x
t
ypo in
comm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdo
o
l
aege
i
sl_ast_codegen
.
c
:
c
o
nt
r
u
c
t
_shifted_executed: use
i
s
l_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Ve
r
doolaege
is
l
_
ast
_
codegen
.
c: e
l
iminate_non_fixed: u
s
e i
s
l_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next