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
Ver
d
oolaege
doc/implement
a
tion
.
tex: update to a
l
gor
i
thm2e
.
sty version
4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en V
e
rdoolaege
co
n
f
i
g
u
re
.
ac: link in l
l
vm option com
p
o
nent in extra
c
t_
i
nt
e
rfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
Sven Verdoolae
g
e
isl_ast_build_ast_from_
s
chedule: im
p
rove handl
i
ng of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-08
Sven Verdoolaege
i
sl_a
s
t
_build_co
m
p
u
t
e_gist_pw_
a
ff: handle parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaeg
e
isl_vertices
.
c: isl_c
e
ll_alloc: accep
t
N
U
LL poi
n
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verd
o
o
laege
i
s
l_vertic
e
s
.
c: compute_chambers: accept
N
U
L
L
p
ointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
is
l
_vertices
.
c: add
_
chamber: acce
p
t NULL pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olaege
i
s
l
_basic_se
t
_
co
m
pute_verti
c
es: accept NUL
L
p
o
inter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
eg
e
isl_vert
i
ces
.
c: v
e
r
t
i
ces_from_list: accept NULL pointe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoo
l
aege
isl
_
t
r
a
n
sitive_closure
.
c: unio
n
_co
m
ponents: avoid zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_transiti
v
e_closure
.
c
:
p
a
th
_
al
o
ng
_
delta
:
accept
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_tarjan_gr
a
ph_al
l
oc: accept
N
U
LL
pointer on ze
r
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
is
l
_tab_basi
c
_set_non_tri
v
ial_lexmi
n
: accept NULL pointe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tab
_
pip
.
c: basic
_
ma
p
_partial
_
lexopt_
s
ymm: accep
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoola
e
ge
is
l
_tab_pip
.
c: t
a
b_f
o
r_lexmin:
a
c
c
e
pt
N
UL
L
poin
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_t
a
b
.
c: res
t
ore_basis
:
a
c
cep
t
NU
L
L
point
e
r
on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaeg
e
isl_tab_push_basis: acc
e
p
t
NULL pointer
o
n
zero-si
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_tab_produ
c
t:
accept NULL p
o
inter on zero-size allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Ve
r
doolae
g
e
isl_tab_dup: accept NULL pointer on zero-siz
e
allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
o
o
l
aege
isl_tab_alloc
:
accept NULL pointer on zero-size
allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaeg
e
isl_spa
c
e_
r
everse: acce
p
t NULL pointer on zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoo
l
aege
is
l
_s
c
hedule
.
c: constr
u
c
t_forest: with_
m
erged_
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
o
l
a
e
g
e
isl_schedule
.
c: construct_band_
l
ist
:
with_merged_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
er
d
oolaeg
e
isl_schedule
.
c: cons
t
ruct_band: with_merged_divs:
a
cc
e
pt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
eg
e
is
l
_schedule
.
c
:
e
xtrac
t
_
node: accept NULL
pointer
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
er
d
oolaege
isl_schedule
.
c: graph_alloc: accept NULL pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoola
e
ge
is
l
_qpolynomial_morph_domain: accept NULL pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
i
s
l_q
p
olynomial_move_dims: avoid z
e
ro-size
allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
e
g
e
i
s
l_
p
olynomial
.
c: with_merged_divs: accept NULL
p
ointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_sub_allo
c
6:
accept N
U
LL poin
t
er on zero-si
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven V
e
rdoo
l
aege
isl_ma
t
_extend: acc
e
pt N
U
LL pointer on
z
ero-
s
ize al
l
o
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_alloc: accept
NUL
L
p
o
inter on zero-size
a
lloc
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaeg
e
i
s
l_map_subtract
.
c
:
n_non_redundant:
a
vo
i
d zero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoolaege
isl
_
basic_ma
p
_dro
p
_red
u
ndant_divs:
avoi
d
zer
o
-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ba
s
ic_m
a
p_sort_constra
i
nt
s
: a
v
oid zero
-
s
i
ze allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_map
.
c
:
b
asic_map_i
n
it: a
c
cept NULL
p
ointer
on zer
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
i
s
l
_
basic_set_opt_lp_val_aligned: accept NUL
L
pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
isl_local_space_get_act
i
ve
:
a
c
cept NULL pointer on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
i
s
l
_basic_set_opt: accept NULL pointer o
n
zero-siz
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
i
s
l
_
flow
.
c:
comp
u
te_
f
low: acce
p
t NULL
p
oint
e
r on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolae
g
e
isl_flow
.
c
:
sched_info
_
alloc: accept NULL point
e
r
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
is
l
_flow_a
l
l
oc
:
accept N
U
LL pointe
r
on
zer
o
-
size allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl_coales
c
e
.
c: c
o
al
e
s
ce_subset
:
acce
p
t NULL
p
ointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
is
l
_coalesce
.
c: coal
e
sce_loc
a
l_pair: acce
p
t N
U
LL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
bernstein_coefficients_f
u
ll_re
c
ursive: accept NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ve
n
Verdool
a
e
g
e
i
sl_ba
n
d_dup: accept NULL poi
n
ter on zero
-
siz
e
allocation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_ast_graft
.
c:
i
nsert_pending_guard_
n
odes: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
isl_as
t
_expr_alloc_op: a
c
cep
t
N
U
LL pointer on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_aff_al
i
g
n
_divs
:
accept NU
L
L point
e
r on
z
ero-size
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl
_
aff_
a
d
d
: accept NULL pointer on z
e
ro-size allocati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_
p
w_multi_
a
ff_prod
u
c
t
: fix
ty
p
o that broke handling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl
_
ast_codeg
e
n
.
c: genera
t
e_component: hand
l
e
non-o
b
viously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ast_ex
p
r
_
f
r
o
m_af
f
: clear denominato
r
before
c
alling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sven
V
erdoo
l
a
e
ge
isl
_
qpolynomial_val_on_dom
a
in:
p
l
u
g
memory l
e
ak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-01
Sven Verdoolaege
isl_basi
c
_
m
ap_apply_range: avoid invalid accesses
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdoolae
g
e
isl 0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
S
ven Verdoola
e
ge
doc:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sve
n
Ver
d
oolaeg
e
try and avoid
dependi
n
g
on mpz_gcde
x
t
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verd
o
olae
g
e
isl_pr
i
nt
e
r_print_map: ma
k
e printing order of
d
i
sjuncts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
isl_co
n
s
t
raint_private
.
h:
perform proper incl
u
des
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoo
l
aege
Makefil
e
.
am: a
d
d isl_val_private
.
h to libisl
.
l
a
sources
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdoolaege
doc:
explain that
i
s
l
_ints
will
b
e r
e
m
o
v
e
d
in future
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdo
o
laege
remove *_scale_vec fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Ve
r
doolaege
isl
_
band
_
tile: use isl_u
n
ion_pw_m
u
lti_a
f
f_scale_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en V
e
rdoolae
g
e
add isl_union_p
w
_multi_aff_
s
c
a
l
e_mult
i
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolae
g
e
add isl_pw
_
multi_aff_scale_multi
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven V
e
rd
o
ol
a
eg
e
add isl_m
u
lti_*_scal
e
_mul
t
i_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
merge
s
har
e
d i
s
l_multi_*_al
i
gn_pa
r
a
ms decla
r
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-16
Sven Verd
o
ol
a
ege
a
dd isl_val_int_fro
m
_chunks and isl_val_
g
et_abs_num_chunks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
S
v
en Verdoola
e
g
e
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2013-06-14
Sven V
e
r
doolaege
isl_{in,}equality_f
r
o
m_a
f
f: skip
con
s
truction of isl_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
Sven Ve
r
doolaege
isl
_
map_gist_basic_map: remove
alignm
e
nt of
c
ontext
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-14
S
ven V
e
rdo
o
la
e
ge
i
s
l
_m
u
l
ti
_
*_gist:
a
d
d
missing isl_multi_*_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-11
Sv
e
n Ver
d
o
ol
a
ege
isl_local_spa
c
e_sub
s
titute_equalities: improve
er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-11
Sven Verdoolae
g
e
isl_l
o
c
a
l_space_substitute_equalities: avoid writing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sven
Ve
r
d
oolaege
Merge branc
h
'main
t
'
commit
|
commitdiff
|
tree
2013-06-10
Sven Verd
o
olaege
isl_coale
s
ce
.
c
:
fix
t
y
p
o
in
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
S
v
en Ver
d
o
o
l
aege
is
l
_o
u
tp
u
t
.
c: prin
t
_qpolynomial_c: i
m
p
r
ove
e
r
r
o
r hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-06
Sven
V
e
rd
o
o
l
aege
isl_map_align_div
s
: fix
error han
d
lin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven
Verd
o
olaege
isl_hmap_map_b
a
s
i
c_set
_
s
et: avoid memory leak
on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ver
d
oolaege
i
sl_union_map_al
l
oc: avoid double
f
ree on error p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
e
rdoo
l
aege
isl_vertices
.
c:
c
ompute_
c
hambe
r
s: av
o
id
inv
a
lid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ver
d
oolaege
isl
_
bas
i
c_map_gist:
avoid invalid
acce
s
s on e
r
ror pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n Verdoolaege
isl_basic_map_align_divs: avoid
invalid access on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdoolaege
isl
_
basic_map
_
contain
s
: a
v
oid invalid access on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven V
e
rdoolaege
is
l
_
b
asic_set_opt: a
v
oid invalid access on err
o
r
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
i
sl_tab_pip
.
c: context_gbr_s
a
ve: av
o
id invalid
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_tab_pi
p
.
c: use_shifted: av
o
id
i
n
valid access
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verd
o
o
l
a
ege
isl_ast_code
g
en
.
c: g
e
nerat
e
_com
p
one
n
t
:
avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven
Verdoolaeg
e
i
sl_stream_r
e
ad_map: handle "im
p
lies
"
token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-03
Sv
e
n Ve
r
d
oolaege
remove reference to
piplib
f
r
om
.
gitmodul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sve
n
V
erdoolaege
isl_input
.
c
: accept_di
v
: accept f
l
o
or/c
e
il of rat
i
ona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verd
o
olaege
is
l
_inp
u
t
.
c
:
extract out common is_s
t
art_of_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
S
ven Verdoo
l
aege
isl_
p
w_
*
_fix_val: a
l
so plu
g
in value in associated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Ve
r
doolaege
isl_pw_templ
.
c: e
x
tract out isl_p
w
_
*
_explo
i
t
_
equal
i
ties
_
and_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven
V
erdo
o
laege
add
t
est case f
o
r
isl_
p
w_qpolynom
i
al_i
n
ter
s
e
c
t
_
d
om
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-01
Sven V
e
r
doolaege
isl
_
p
o
lynomial
.
c: f
i
x
typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_ast
_
c
odegen
.
c
:
contr
u
ct_shif
t
ed_executed: use isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdo
o
laege
i
sl_ast_codeg
e
n
.
c: eli
m
inate_non_fixed: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
o
l
aege
isl_ast_codeg
e
n
.
c: at_most_one_no
n
_fixe
d
: u
s
e isl_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next