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
S
v
en Verd
o
o
laege
isl 0
.
12
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
d
oc/implementation
.
t
e
x: update to
algorithm2e
.
sty
v
ersion 4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
c
onfigure
.
ac: link in llvm op
t
io
n
component in extr
a
ct_inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
S
ven Verdoolaege
isl_ast_build
_
ast_
f
rom_sc
h
edule: impro
v
e
h
andling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
Sven Verdo
o
laeg
e
i
s
l_as
t
_buil
d
_compute_gist
_
pw_aff: h
a
ndl
e
para
m
etric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_vertic
e
s
.
c
:
isl
_
cell_alloc: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
i
s
l_ve
r
tices
.
c: compute_
c
hambers: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaeg
e
isl_v
e
rtices
.
c
: add_chamber:
acc
e
pt N
U
LL p
o
inter o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_basic
_
set_com
p
ute_vertices: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_ver
t
ices
.
c:
vertices_from_list: acc
e
p
t
NULL
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Ve
r
dool
a
e
g
e
i
sl_transitive_closure
.
c: union_components: avoid
z
e
r
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_trans
i
tive_closure
.
c: path_along_de
l
ta: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
t
a
r
jan_graph_all
o
c: a
c
c
ept NULL point
e
r on z
e
ro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
s
l_tab_basic_set_non_t
r
ivial_lexmi
n
: acce
p
t NULL p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaege
i
s
l_tab_pip
.
c: basic_ma
p
_
partia
l
_lexopt_symm: acc
e
pt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_
t
a
b_pip
.
c
:
tab_for_lexmi
n
: accept NULL
p
oin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoo
l
a
e
g
e
isl_tab
.
c
:
r
estore_bas
i
s: accep
t
NULL
p
oin
t
er
on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdool
a
ege
isl_tab_push_basis: accept
N
U
LL point
e
r
o
n zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verd
o
olaeg
e
i
sl_tab_product: accept NU
L
L poin
t
er on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
r
d
o
olaege
i
s
l_
t
ab_dup: accept NU
L
L poi
n
ter o
n
z
ero
-
size a
l
lo
c
at
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verd
o
ola
e
g
e
is
l
_t
a
b
_alloc: accep
t
NUL
L
p
ointer o
n
zero-size all
o
c
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_sp
a
c
e_reverse
:
a
cc
e
pt NULL p
o
inte
r
on
z
ero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
ol
a
ege
i
s
l
_sch
e
dul
e
.
c: c
o
n
struct_forest: with_merged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_s
c
hedule
.
c
: cons
t
ruct_b
a
n
d_list:
with_merged_d
i
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_sched
u
le
.
c: construct_band: with_merge
d
_divs: ac
c
ept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_schedule
.
c: extra
c
t_node: accept NULL poi
n
t
e
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_
s
chedule
.
c: graph_alloc: accept NULL pointe
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n Verdoolaege
isl_qpolynomial_morph_d
o
main:
accept NULL
p
ointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_qpolynomial
_
move_dims: avoid zero-size alloca
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_pol
y
nomial
.
c: with_merged
_
div
s
: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
r
d
o
olaege
isl_mat_sub_al
l
oc6
:
ac
c
ep
t
NULL pointe
r
on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolae
g
e
isl_mat_extend:
a
c
cept
N
U
LL po
i
nter on zero-s
i
ze allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoola
e
g
e
is
l
_mat_alloc: accept
NUL
L
pointer on zero-siz
e
a
llocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_map_subtract
.
c: n_non_
r
edundant: av
o
id zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
Ve
r
dool
a
ege
isl_b
a
sic_map_drop_
r
edundant_divs:
a
v
o
id zer
o
-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_basic
_
map_
s
ort_constraints: a
v
oi
d
zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
isl_m
a
p
.
c
: basi
c
_map_
i
ni
t
:
acc
e
pt NULL pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_ba
s
ic
_
set_opt_lp_val_ali
g
n
e
d: accept NULL p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_local_space_
g
et_active: accept NU
L
L pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
r
doolaege
isl_basic_set_
o
pt:
ac
c
ept NULL pointe
r
o
n z
e
ro-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven
Verdoolaege
isl_
f
low
.
c
:
c
ompute_fl
o
w: a
c
cept
NULL pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
i
sl
_
fl
o
w
.
c:
sc
h
ed_in
f
o_alloc: acce
p
t
N
ULL
po
i
nte
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_flow_all
o
c: accept NUL
L
po
i
nter
o
n zer
o
-
size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verd
o
olaege
i
sl
_
coalesce
.
c: coalesce
_
subset:
accep
t
NULL
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erd
o
olaege
isl_coalesce
.
c: co
a
lesce_local
_
pair: accept N
U
LL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
be
r
nstein_coefficie
n
ts_full_rec
u
r
sive: accept NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_b
a
n
d_du
p
: accept NULL pointer o
n
z
e
ro-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ast
_
graft
.
c: insert_pend
i
ng_gu
a
rd_no
d
e
s
: avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
i
s
l_a
s
t_e
x
pr_alloc_op:
accept NU
L
L pointe
r
on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_aff_al
i
gn_divs: accept NU
L
L pointe
r
on zero-si
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_
a
ff_add: accept N
U
LL po
i
nt
e
r
on zero-s
i
ze allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
ola
e
ge
isl_pw_multi_aff_product:
fix ty
p
o
that brok
e
h
a
n
dling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdool
a
ege
isl_ast_co
d
egen
.
c: genera
t
e
_component: handle non-obv
i
ously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdo
o
laege
is
l
_ast_ex
p
r
_
fr
o
m_aff: clear
d
enominator bef
o
re cal
l
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven V
e
rdool
a
ege
isl_qpol
y
n
o
mial
_
val_on_d
o
ma
i
n: plug memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
Sv
e
n Verdoolaege
isl
_
bas
i
c_
m
a
p
_a
p
ply
_
range: a
v
oid inv
a
lid a
c
cesses on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
v
e
n
Verdoola
e
g
e
isl
0
.
1
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ve
r
doolaege
do
c
: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven V
e
rdo
o
laege
t
ry and avoid
depending on mpz
_
gcdext internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
S
ve
n
Verdoo
l
aeg
e
isl_
p
rinte
r
_print_map: m
a
ke pri
n
tin
g
o
r
der
o
f d
i
sjuncts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
Verdoolaege
i
s
l_constraint_private
.
h: perform pro
p
er includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
Verdoolaege
Makefile
.
am:
a
d
d isl_val_priva
t
e
.
h
t
o libisl
.
la so
u
rce
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdo
o
laege
doc:
explain
t
hat
isl_ints will be removed i
n
future
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verd
o
olaege
re
m
ove *_sca
l
e_vec functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdo
o
laege
isl_ba
n
d_ti
l
e
:
use isl_u
n
io
n
_pw
_
multi_aff_sc
a
le_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdo
o
lae
g
e
add is
l
_union_pw_multi_af
f
_sca
l
e_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Verdoolaege
add isl
_
pw_multi_aff_scale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoo
l
aege
a
d
d is
l
_multi_*_scal
e
_m
u
lti_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
merge sh
a
red
isl_multi_*_
a
lign_par
a
ms declaratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
Sven
V
erdool
a
ege
add isl_
v
a
l_int_fro
m
_chunks and isl_val_get_a
b
s_num_chun
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-06-14
Sven Ver
d
o
o
la
e
ge
isl_{in,}e
q
uality_from_aff: sk
i
p c
o
nstruction of isl_basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaege
is
l
_ma
p
_gis
t
_b
a
sic_ma
p
: r
e
move a
l
ig
n
ment of context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
ven Verdoolaege
isl_multi_
*
_gist: add m
i
ssi
n
g isl_multi_
*
_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sven
V
e
r
doolaege
is
l
_lo
c
al_
s
pace_s
u
bstit
u
t
e
_
equali
t
i
es: impro
v
e e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sv
e
n Verdool
a
e
ge
isl
_
local_space_sub
s
titu
t
e_equalities:
avoid w
r
itin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven Ver
d
oolaege
M
erge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoolae
g
e
isl_coalesce
.
c: fi
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n Verdoolaege
is
l
_ou
t
p
u
t
.
c: print_qpo
l
ynomial_c:
improve er
r
o
r handl
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven
V
e
rd
o
olaege
isl_map_a
l
ign_di
v
s: fix erro
r
handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
Verdoolaege
isl_hm
a
p_
m
ap_basic_se
t
_set
:
avoi
d
memor
y
leak on e
r
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoolaege
isl_uni
o
n
_
m
ap_al
l
oc:
a
void dou
b
le free
on error
pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven V
e
rdoo
l
aege
isl_vertices
.
c:
compute_chamber
s
: av
o
i
d
invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoolaege
isl_basic_map_gis
t
: avoid inval
i
d acces
s
on
e
rr
o
r
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en Verdool
a
ege
isl_basi
c
_
m
ap_ali
g
n_d
i
vs: a
v
oid in
v
alid access on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdoola
e
g
e
isl_basi
c
_map_
c
ontains: avoid invalid access on err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoo
l
a
e
g
e
isl
_
bas
i
c_set_o
p
t: avoid invalid access
o
n
erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoo
l
ae
g
e
isl_tab_pip
.
c: conte
x
t_
g
b
r
_
sa
v
e: avoid inva
l
id
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
i
sl_tab_pip
.
c
:
use_shifted
:
avoid invalid
ac
c
ess on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sve
n
Verdool
a
e
g
e
isl_as
t
_co
d
egen
.
c: ge
n
erate_component: avoid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sve
n
Verdoola
e
g
e
i
sl_stream_read
_
map: handle "implies"
t
oken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sven Verdoolaege
remove reference to piplib from
.
gitmodul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolae
g
e
isl_input
.
c: accept_
d
iv
:
accept floor/ceil o
f
rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
v
e
n Verdoolaege
isl_input
.
c
:
extract
out c
o
mmon is_
s
tart_of_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
ven Ver
d
oola
e
ge
isl_pw_*_fix_val
:
also pl
u
g in
v
a
l
ue in as
s
ociated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
v
en Verdoolaeg
e
isl_pw_te
m
pl
.
c: extract out isl
_
pw
_
*_exploit_equalities_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sve
n
Verdoolaege
add tes
t
case for
isl_pw_qpolynomial
_
in
t
ersect_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sven
Verdoolaege
i
s
l_po
l
ynomial
.
c
:
fi
x
t
y
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
V
erdoolaege
i
s
l
_ast_code
g
en
.
c:
contruct_shifted_
e
xecuted: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rd
o
olaege
isl_a
s
t_c
o
d
e
g
en
.
c: elimin
a
te_non_fixed: u
s
e
i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next