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_ctx.c: find_nested_options: properly handle argument "groups"
2013-08-05
Sven Ver
d
oolaeg
e
i
sl
_
ctx
.
c:
f
i
nd_nested_option
s
: properly
h
andle argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolae
g
e
i
s
l
_
un
i
on_map_params:
p
l
ug m
e
mo
r
y leak
i
n
c
ase of empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
is
l
0
.
1
2
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
doc/implementation
.
t
e
x
:
update to al
g
or
i
thm2
e
.
sty
v
ersion 4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
configure
.
ac: link in
l
lvm option
c
omponent
in extra
c
t_interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
Sve
n
Verdo
o
laege
isl_ast_build
_
ast_from_sc
h
edu
l
e: impro
v
e handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
Sve
n
V
erdoolaege
isl_ast_build_compute_gist
_
pw_aff: handle parame
t
ri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolae
g
e
i
s
l_
v
e
r
tices
.
c: isl_cell_alloc:
a
ccept NULL p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_vertices
.
c: co
m
pute_chambers:
a
c
c
e
p
t
N
ULL
poi
n
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Verdoolaeg
e
isl_vertices
.
c: add_cha
m
b
e
r: accept NUL
L
pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
s
l_basic_se
t
_compute_
v
ertice
s
: accept
NULL p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
i
sl_
v
ertices
.
c: vertices_from_list: accept
NULL
p
ointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
isl_transitive_closure
.
c:
uni
o
n_c
o
m
po
n
e
nts:
a
void zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
a
ege
is
l
_transitive_c
l
osure
.
c:
path_along_delta: acc
e
pt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n Verdoolaeg
e
isl_tarjan_graph_alloc: accept NUL
L
pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_tab_basic_set_non_trivial_lexmin: accept NULL point
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
isl_
t
a
b_pip
.
c: basic_map_parti
a
l_lexopt_symm: ac
c
ept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Ver
d
oolaege
isl_tab_pip
.
c
:
tab_for_lexmin:
a
ccept
N
ULL po
i
nter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ta
b
.
c: restore_basis: a
c
c
e
pt NULL point
e
r on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
s
l_t
a
b_push_basis: acc
e
pt N
U
LL pointer on z
e
ro-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
o
o
l
a
e
g
e
is
l
_tab
_
product
:
accept NULL poi
n
ter on zer
o
-size allocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaege
isl_tab_dup: accept NU
L
L po
i
nter 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: acce
p
t NU
L
L po
i
nter o
n
zero-size alloc
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdo
o
laege
i
s
l_space_r
e
verse:
accept NULL poin
t
er on ze
r
o-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
r
doolaeg
e
isl_sched
u
le
.
c: construct_forest: with_merged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verd
o
ol
a
ege
isl_schedule
.
c
: constr
u
ct_band_
l
ist
:
with_merged_
d
iv
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_schedule
.
c: co
n
s
t
r
uct_
b
a
n
d:
wi
t
h_merged_divs:
a
ccept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
i
s
l_
s
chedule
.
c
: extract_node:
a
ccept
NULL
pointer o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
erdoolaege
isl_schedu
l
e
.
c: g
r
a
p
h_all
o
c: accept NULL p
o
inter on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_qpolynomial_morph_domain: a
c
cept
N
UL
L
pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_qp
o
lyn
o
mia
l
_move_
d
ims: a
v
oid
z
ero-si
z
e all
o
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaege
isl_polynomial
.
c:
w
i
th_merged_di
v
s
: accept NULL po
i
nte
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_sub_
a
lloc6: a
c
cept N
U
LL point
e
r on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl
_
mat_extend: accept
N
ULL
p
ointer
o
n
zero
-
s
i
z
e
al
l
oca
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_alloc: a
c
cept NU
L
L pointer on zero-size alloc
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
s
l_map_subtract
.
c
:
n_non_redundant: avoid zero-s
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
la
e
ge
i
s
l_basic_map_drop_redu
n
dant_divs:
avoi
d
z
e
r
o-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolae
g
e
isl_b
a
sic_map
_
sor
t
_constr
a
i
nts: a
v
oid zero-size allocatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ma
p
.
c
:
basic_map_ini
t
:
acc
e
pt NULL p
o
i
n
t
er on z
e
ro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
er
d
oolaege
isl_basic_s
e
t_opt
_
lp_val_
a
ligned: accept
NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoo
l
aege
isl_local
_
s
p
ace_get_active: accept NU
L
L pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_b
a
sic_set_opt:
a
cce
p
t NULL pointer on zero-s
i
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Verdo
o
laege
i
s
l_flow
.
c
:
co
m
pute_flow: accep
t
N
ULL
po
i
nter on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
i
s
l_f
l
ow
.
c
: sched_in
f
o
_
allo
c
:
a
ccept NULL pointer o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
isl_flow_alloc: accept NULL pointer on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oola
e
ge
i
s
l_coalesce
.
c: coalesce_subs
e
t:
a
c
cept NULL
p
ointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
Verdo
o
laege
isl
_
coalesce
.
c: coa
l
esce
_
lo
c
a
l
_pai
r
: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
r
d
oolaege
b
e
r
nstein_coefficients
_
ful
l
_recursive
:
accept N
U
LL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_band_dup: accept NULL poin
t
er
on zero-siz
e
alloca
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ast_graft
.
c: i
n
sert_pending_guard_nodes: av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl
_
ast_
e
xpr_all
o
c_op: accept
NULL po
i
nter on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
l
a
ege
isl
_
aff
_
a
l
ign
_
divs:
accept NULL pointer on zero-si
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_aff
_
add: a
c
cep
t
NULL pointer on zero-size
a
llocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
i
sl_pw_multi_aff_
p
roduct: fix typo that broke
h
andling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verd
o
ola
e
g
e
isl_ast_cod
e
g
en
.
c: generat
e
_co
m
ponent:
h
a
ndle non-obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ast_ex
p
r
_
from_aff:
clear denominat
o
r
before calli
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven
V
erdool
a
ege
isl
_
q
p
olynomia
l
_val_on_dom
a
in: plug
m
emory l
e
ak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
Sv
e
n Verdoolaege
is
l
_
basic_map_a
p
ply
_
range: avoid invalid accesses on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ve
r
doolaege
is
l
0
.
1
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdool
a
ege
d
oc: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
try and avoi
d
depen
d
ing on mp
z
_
g
cdext internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
S
v
e
n Verdoolaege
i
s
l_printer_print_map
:
make pri
n
ting or
d
er of di
s
ju
n
c
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verd
o
olaege
is
l
_co
n
st
r
aint_private
.
h: perfo
r
m
p
roper includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
M
a
kefile
.
am: add
i
sl_val_private
.
h
t
o
libisl
.
la sources
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdo
o
laeg
e
doc
:
ex
p
lain that
isl_ints will be remov
e
d in fu
t
ure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
e
n
Verd
o
ola
e
ge
r
e
move *_scale_vec f
u
nctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verd
o
ola
e
ge
is
l
_ban
d
_tile: use isl_union
_
pw_mul
t
i_aff_scale_mult
i
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verdoolaeg
e
ad
d
isl
_
u
n
i
o
n_pw
_
multi_af
f
_
scale_multi
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Ver
d
o
olaege
add isl_pw_
m
ulti_
a
ff_sca
l
e_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Ver
d
oola
e
g
e
add isl_multi_*_s
c
ale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Verd
o
olaege
merg
e
share
d
is
l
_multi_*_align_params declarati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
S
ven
V
erdoo
l
ae
g
e
a
dd isl_
v
al_int_from_
c
hunks
a
n
d i
s
l_val_get
_
abs_num_chunks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven
V
erdoolaege
Me
r
ge
bran
c
h
'main
t
'
commit
|
commitdiff
|
tree
2013-06-14
S
ven Verd
o
olaege
isl_{in
,
}equality_from_aff: skip construction of isl_basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verd
o
olaege
isl_map_gist_ba
s
ic_map: remove alignment of
context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
v
en Verdoo
l
aege
isl_m
u
l
ti_*
_
gist
:
add missin
g
isl_multi_*_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
S
v
en Verd
o
olaege
isl_l
o
cal_sp
a
ce
_
substi
t
ute_equali
t
ies:
i
mprove error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sven Verdoolaege
isl_local
_
space_s
u
bstitute_
e
qual
i
t
i
es: avoid writing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verd
o
olaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-06-10
Sven V
e
rdoolaege
isl_coale
s
ce
.
c:
f
ix t
y
po in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven
V
erdoo
l
aege
i
sl_output
.
c: print_qpolynom
i
al
_
c
:
impr
o
ve error h
a
n
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven Ve
r
doolaege
isl_map_align_divs: fix e
r
ror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven
V
erdoolaege
isl_h
m
ap_map_bas
i
c_set_set
:
avoid me
m
ory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verd
o
ol
a
ege
isl_union_map_al
l
oc: av
o
i
d
double free
o
n e
r
ror
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
i
s
l_vertices
.
c
:
compute
_
cha
m
bers: avoid invali
d
ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoola
e
ge
i
s
l
_basic
_
map_
g
ist: avoid invalid ac
c
ess on e
r
ror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaeg
e
isl_ba
s
i
c
_map_al
i
gn_divs: avoid inv
a
lid access on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaeg
e
isl
_
basic_map_contain
s
: avoid invalid ac
c
ess on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en Verdool
a
ege
isl
_
basic_
s
e
t_o
p
t
:
avoid invalid a
c
ces
s
on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven V
e
r
doolaege
isl_tab_pip
.
c:
context_gbr
_
sav
e
: avoid invali
d
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdo
o
l
a
ege
isl_tab
_
pip
.
c:
use_shi
f
t
e
d
: av
o
id
invalid
a
ccess on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven
Verdo
o
laege
isl_as
t
_
c
odeg
e
n
.
c: generate_co
m
ponent: avoid in
v
a
lid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_str
e
am_read_map
:
handle "
i
mplies" t
o
ken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sven V
e
rdo
o
lae
g
e
re
m
ove
reference
to piplib fro
m
.
gi
t
modules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoola
e
ge
isl_input
.
c: acc
e
pt
_
div: acc
e
pt
floo
r
/ceil
of rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdool
a
ege
isl_input
.
c: extra
c
t out c
o
mmo
n
is_start
_
of_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoo
l
ae
g
e
i
sl_pw_*_fix_va
l
: also plug in
v
alue
i
n
associated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
ven
Verdoolaege
isl_p
w
_
temp
l
.
c: extract ou
t
isl_pw_*_exploit_equalitie
s
_
and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
add test case for
i
s
l_pw_qpolyno
m
ia
l
_
interse
c
t_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sve
n
Verdool
a
ege
isl_polynomial
.
c
: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next