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_tab_basic_map_partial_lexopt: improve detection of equal partial solutions
2017-01-06
Sven Verdoo
l
aege
isl_tab_basic_map_partial_lexopt: improve detection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_p
i
p
.
c: so
l
_
p
op: extract out combine_init
i
al_if_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
ven
V
erdo
o
laege
isl_tab_pip
.
c: so
l
_
p
o
p: extract out combine_initial
_
into_se
c
ond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaeg
e
i
sl_tab_pip
.
c: isl_pa
r
t
i
al_
s
ol: use
isl_multi_aff i
n
st
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verd
o
olaege
isl_tab_pip
.
c
:
isl_sol: keep track of space of output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_t
a
b_pip
.
c:
s
ol_p
u
s
h
_
sol:
cl
a
rify meani
n
g of "M
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven V
e
r
d
ool
a
ege
i
s
l_tab_pip
.
c: remove wrappers for s
o
l_*_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl
_
tab_pip
.
c
:
move common p
a
rts of
isl_*_fr
e
e
fu
n
ction
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
ven
V
erdoolaege
i
sl_tab_pip
.
c
:
set fr
e
e callba
c
k befo
r
e a
n
y
other fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
laege
i
s
l
_tab_pip
.
c
: extract out sh
a
red sol_init
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oolaege
isl_
t
ab_pi
p
.
c
: isl_so
l
: update documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verd
o
olaege
isl_tab_pip
.
c: move up
s
et_from_affine_matri
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
v
en Ver
d
oolaege
i
s
l
_
tab_pip
.
c
: same_sol
u
tion: re
t
urn i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
v
en Verdoola
e
ge
i
s
l_tab_pip
.
c: so
l
_*add: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verdoolaege
isl_tab_pip
.
c: sol_push_s
o
l
:
add mem
o
ry managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoolaege
isl_tab_pip
.
c: sol_*_init: add m
e
mory manageme
n
t
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
Verdoolaege
add i
s
l
_pw_multi_a
f
f_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdool
a
ege
doc: documen
t
i
s
l_pw_
a
f
f_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoolaege
i
sl_pw_aff_is_equal:
c
han
g
e return t
y
pe to isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoolae
g
e
isl_pw_*_plain_is
_
equal: fix han
d
ling of Na
N
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
e
rdoolaege
gene
r
alize isl_pw
_
a
ff_involv
e
s_nan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
v
e
n V
e
rdoolae
g
e
do
c
:
d
o
cument i
s
l_
q
p
o
lynomial_is_nan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
ool
a
ege
isl_str
e
am
_
read_pw_mul
t
i_aff: rea
d
i
s
l_pw
_
multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_stream
_
r
e
ad_multi_
p
w_aff: extract
o
ut extr
a
c
t_mpa_f
r
om_tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoola
e
ge
isl_
b
asic_map_range_
m
ap: use isl_
b
a
sic_map_equate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdoola
e
ge
isl
_
bas
i
c_map_dom
a
in_ma
p
: use isl_basic_map_equate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
e
n
Verdoolaege
isl_tab_detect_implicit_eq
u
alities: r
e
use s
e
lec
t
_
m
arked
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
i
s
l_
t
a
b
.
c:
move
u
p select_marked
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verd
o
olaege
isl_m
a
p_coalesce: check status of inequali
t
y co
n
straints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoolaege
isl_ma
p
_co
a
l
e
s
c
e: allow
separating equal
i
ty
c
onst
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdool
a
ege
isl_map_coalesce
:
only h
a
rmonize divs if equality
c
on
s
trai
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Ve
r
d
o
olaege
isl_basic_m
a
p_simpl
i
fy: reduce coefficien
t
s o
f
intege
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_basic_map_gaus
s
: do not extract partial explic
i
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
oolae
g
e
isl_basi
c
_map_gauss: ext
r
a
ct
out set_div_from_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoo
l
aeg
e
isl_
m
ap_coalesce: ha
r
monize integer
d
ivisio
n
s
in str
i
de
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
add isl_ba
s
ic_map_set_div_e
x
pr_con
s
tant_num_si_inplace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
a
d
d isl_basic_map_equal_di
v
_expr
_
except_
c
onstant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Ver
d
oolaege
isl_coalesce
.
c: set_
u
p_substitutions: extract
i
sl_b
a
sic
_
m
ap_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolae
g
e
i
sl_ma
p
.
c:
e
xtract ou
t
sh
a
r
e
d is
l
_basic_map_check_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_affin
e
_hull
.
c: move isl_*_drop_constraints_* to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
oolaege
p
rivately expo
r
t isl_constraint
_
get
_
cons
t
ant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoolaege
isl_b
a
sic_ma
p
_shift_div: spec
i
al ca
s
e zero sh
i
ft
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_map_
c
oalesce: take i
n
t
o
account
equality constraint
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verdoolaeg
e
isl_coalesc
e
.
c: harmonize_
d
ivs: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
oolaege
isl
_
coal
e
sce
.
c: shif
t
_div: return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
e
n Verdoolae
g
e
privat
e
l
y expo
r
t
isl_val_get_num_isl_i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdool
a
eg
e
isl_
l
o
c
a
l_space_
g
et_
d
iv: handle presence of
unkn
o
wn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Ve
r
doolaege
add
isl_local_space_di
v
_is_
m
arked_unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Verdoolaege
add is
l
_
local_div
_
is_marked
_
unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
i
sl_map_c
o
alesce: dete
c
t consta
n
ts in
p
o
t
entia
l
exten
s
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoola
e
ge
add
isl_tab_detect_constants
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Verdoolaege
isl_map
_
c
o
a
l
esce: dete
c
t c
o
nstant
s
among
expanded divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
a
d
d isl_tab_i
s
_constant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verdoolaege
i
sl
_
tab
.
c: isl_t
a
b_min: extract o
u
t
get_rounded_sample
_
value
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdoolae
g
e
isl_tab
.
c: ex
t
rac
t
out shared
r
ow
_
is_b
i
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
ol
a
ege
i
sl_coale
s
c
e
.
c: ta
b
_inser
t
_divs: extract out c
o
py_ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en V
e
rdoolae
g
e
i
sl
_
coale
s
ce
.
c: expand_tab
:
fi
r
st extr
a
ct out list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
isl_coalesce
.
c: exp
a
nd_ta
b
:
c
o
n
s
um
e
updated
ba
s
ic
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_
c
oalesce
.
c: expand_tab
:
pass
in exp
a
n
d
ed b
m
ap i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
isl_coal
e
sce
.
c: expa
n
d_tab: do
not check div c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_map_co
a
l
e
s
ce: add a note about a
p
ossible impro
v
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoolaege
i
sl_
m
ap_
c
oal
e
sce: allow exte
n
si
o
ns to stick out b
y
one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
V
e
rdoolaege
isl_
c
oalesce
.
c: is_adj_eq_extension: check extension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verdoolaege
i
s
l_coale
s
ce
.
c
:
e
x
t
end: allow mult
i
ple relaxed
c
onstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_coalesce
.
c
:
ti
g
h
ten_on_relaxed_facet: allow
m
ultiple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ve
r
doolaege
isl
_
coales
c
e
.
c: is_a
d
j_eq_extension: ex
t
ract out extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
i
sl
_
coalesce
.
c: check_adj
_
eq: extract out check_single_adj_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
ven
V
erdoolaege
isl_coalesce
.
c: extract ou
t
shared find functio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
r
do
o
laege
isl_c
o
alesce
.
c: coalesce_with_expanded_d
i
vs: mark expanded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
i
sl_
p
rinter_print
_
constrai
n
t: print the cons
t
raint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolae
g
e
is
l
_output
.
c
:
p
rint_disj
u
nct: extract out open_ex
i
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n V
e
rdoolaege
isl_ou
t
put
.
c: need_exists
:
tak
e
i
nto
account dump mode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verdoolaege
i
sl_outpu
t
.
c: ne
e
d_exists: drop "bma
p
"
ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_o
u
tput
.
c: extract out shared pr
i
nt_param
_
tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_output
.
c: print_union_pw_qpolyno
m
ial_fo
l
d_isl:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
e
r
d
o
o
laege
isl_output
.
c:
print_unio
n
_pw
_
qpolynomial_isl: ren
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoo
l
aege
isl_o
u
tput
.
c: isl_uni
o
n_map_print_isl: r
e
name
"
di
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-18
S
v
e
n
Verdoolaege
isl 0
.
18
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-14
Sven
V
erdoolaege
update AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-14
S
v
e
n Verdoolaege
isl_test
.
c
:
d
rop
d
e
b
ugging ou
t
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-13
Sven Verdoolaege
i
sl_affine_hull
.
c
:
hide in
t
erna
l
dr
o
p_constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-12
Sv
e
n Ver
d
o
ola
e
ge
Me
r
ge
b
ranch 'm
a
int'
commit
|
commitdiff
|
tree
2016-12-12
Sven Verdoolaege
i
sl_
b
asic
_
map_remove_redu
n
danc
i
es: consider constrain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-12
Sven V
e
rd
o
olaege
add isl_tab_restor
e
_
re
d
undant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-12
S
ven Verdoolaege
i
s
l_tab
.
c: perfo
r
m_undo
_
var: ex
t
ract out r
e
s
t
ore_la
s
t_
r
edunda
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-12
Sven
Ve
r
dool
a
ege
isl_c
o
nvex_hull
.
c: fix typo in
c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-07
S
v
en Ve
r
do
o
laege
i
s
l_
s
chedule_tree
.
c: ad
d
missi
n
g cop
y
rig
h
t statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-07
Sve
n
Verdoolae
g
e
transf
e
r
copyright
o
f
i
sl_map_coalesce improvements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-07
S
v
e
n Verdo
o
l
aeg
e
tran
s
fer copy
r
ight of loop coalescing h
a
ndling
in scheduler
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-02
Sven V
e
r
doolaege
Merge branch '
m
a
int'
commit
|
commitdiff
|
tree
2016-11-29
Sven Verdoolaege
interfa
c
e/python
.
cc: document order o
f
s
u
perclasses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-29
Sv
e
n
V
erdoolaege
i
s
l_class::print_method_o
v
erload: dr
o
p redundant "super
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-29
Sven Verdoolae
g
e
e
x
tr
a
ct_
i
nterface:
r
emove d
u
p
l
icate __i
s
l_
s
ubclass
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-29
Sve
n
V
e
rdo
o
laege
isl
_
qpo
l
ynomial_ev
a
l:
h
andl
e
void input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-28
Sve
n
V
erdo
o
lae
g
e
isl_vertices
.
c
:
t
a
b_for_s
h
ift
e
d_cone: a
l
locate roo
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-24
Sven Verdoolaege
Merge
branch 'maint
'
commit
|
commitdiff
|
tree
2016-11-24
S
ven
V
erdoo
l
aege
isl_qpoly
n
omi
a
l_set_d
i
m_nam
e
: a
d
just to change of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdo
o
l
aege
isl_polyn
o
mial
.
c: r
e
du
c
e_di
v
s: d
o
not assume in
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven Ver
d
oolaege
isl_polynomial
.
c: reduce_
d
ivs: use is
l
_qpolynomi
a
l_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolaege
i
s
l
_
polynomial
.
c: re
d
uce_divs: use is
l
_qpolynomial_domain_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next