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
add isl_basic_set_add_div_constraints
2024-04-07
S
v
en Verdoolaege
add isl_ba
s
ic_set_ad
d
_div_
c
onstraints
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sven Ve
r
do
o
laege
add isl_basic_set_insert_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sven Ve
r
doolaege
a
dd check for isl_map_lex
m
in_pw_multi_aff ret
u
r
ning
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sv
e
n Verdoolaeg
e
isl_test2
.
cc: has_si
n
gle_cel
l
_pma: extrac
t
out h
a
s_s
i
ngle_cell
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoo
l
aege
isl_tab_pip
.
c: fi
n
d_
c
ontext_div
:
reuse is_k
n
own_div
_
not_
i
nvo
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
S
ven V
e
rdoolaege
isl_tab_pip
.
c: find_cont
e
xt_div: extr
a
ct out is_kn
o
wn_div_no
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven V
e
rdo
o
laege
isl
_
tab_pip
.
c: f
i
nd_c
o
ntext_d
i
v: use
i
sl_basic_
m
ap
_
div_expr_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sve
n
V
erdoolaege
isl_tab_pip
.
c: find
_
context_div: use i
s
l_bas
i
c_map_div_is_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
S
v
en Verd
o
olaege
i
sl_tab_pip
.
c: find_context_
d
i
v
: use
i
sl_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verd
o
o
l
aege
isl
_
tab_pip
.
c
:
basic_ma
p
_partial_le
x
opt_base_s
o
l: r
e
move
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven
V
erdoolaege
isl_tab
_
pip
.
c
: al
i
gn_c
o
ntext_
d
ivs: use isl_basi
c
_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
S
ven Verdoolaege
isl
_
tab_pip
.
c: ali
g
n_conte
x
t_
d
ivs: imp
r
ove error han
d
lin
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl
_
ta
b
_pip
.
c: fi
n
d_con
t
ext_d
i
v
:
ret
u
rn isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-24
S
ven Verdoolaege
detect some modulo expre
s
sions whe
n
extrac
t
i
n
g a function
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven
V
erdoolaege
i
s
l_aff
.
c: pw_multi_aff_
f
r
o
m
_ma
p
_
c
heck
_
d
iv: move di
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven V
e
rdoolaege
i
s
l_aff
.
c:
p
w_multi_af
f
_f
r
om_map_di
v
:
return integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Verdool
a
ege
isl_a
f
f
.
c: e
x
tract
o
ut pw_
m
ulti_aff_from_
m
ap_plug
_
in
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Verdoolae
g
e
i
s
l_aff
.
c
: pw_multi_aff_
f
rom_map_div: o
n
l
y get space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Ver
d
oola
e
ge
private
l
y expose isl_basi
c
_map_is_se
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
e
rd
o
olaeg
e
det
e
ct
s
p
ecific in
s
tance of
m
odu
l
o
s
i
n
c
ons
t
raints
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ve
r
d
o
olaege
sort constr
a
i
n
ts while
l
ooking for pai
r
o
f opposi
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
oolaege
i
sl_map
.
c:
f
ind_later_const
r
ai
n
t_in_pair: sto
p
search
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
ven Verdoolaege
isl_basic_map_find_outpu
t
_uppe
r
_div_
c
o
n
straint:
extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
v
e
n Verd
o
olaege
isl_basic_map
_
find_
o
utput_up
p
e
r_div_co
n
straint:
extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_basic_map_find_output
_
upper_div_constraint: extr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Ver
d
ool
a
ege
extract
out shared isl_ba
s
i
c_map_any_d
i
v_in
v
olves_
v
ar
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
erdoolaege
isl_map
.
c: basic_m
a
p_dim_is_bounde
d
: use i
s
l
_basic_ma
p
_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
e
n Verdoolaege
basic
_
map_dim_is_bounded: use isl_basic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
e
n
Verdool
a
ege
isl_map_simplify
.
c: div
_
find
_
coalesce: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
i
s
l_map_s
i
mplify
.
c: div_
f
ind
_
coale
s
ce: use is
l
_s
i
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoola
e
ge
ex
t
r
a
c
t out s
h
are
d
isl_b
a
sic_map_di
v
_expr_involves_vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
er
d
o
o
laege
isl_map
.
c
: div_i
n
volves
_
vars: use isl_basic_map_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_map
.
c: div_involves_vars:
:
use
i
s
l_basic_map_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdo
o
laege
isl_map
.
c
:
div_involv
e
s
_var
s
:
u
s
e
isl_basic_
m
ap_div_is_marke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
ven Verdoolae
g
e
i
sl_b
a
si
c
_
m
ap_rem
o
ve_
d
ivs_in
v
olving_dims: extr
a
ct out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
i
s
l_map
.
c:
e
xtract out
g
eneric extract_bound_from_con
s
tr
a
int
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Ver
d
o
o
laege
isl_basic_map_s
i
mplify: eliminate integral int
e
ger
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
is
l
_map_sim
p
lif
y
.
c: e
x
trac
t
out shared mar
k
_p
r
og
r
ess
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sve
n
Verdo
o
laege
isl_bas
i
c_map_remove_duplicate_constrain
t
s:
do
n
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verd
o
o
l
aege
isl_map_simplify
.
c
:
e
l
iminate_se
l
ected_unit_di
v
s: e
x
tr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaeg
e
isl_
m
ap_simplify
.
c: eliminate_selected_unit_di
v
s: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
is
l
_
map_simplify
.
c: eliminate_selected_unit_divs
:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdo
o
laege
elimi
n
ation using equality const
r
aint does n
o
t
introdu
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
Verd
o
olaege
isl_
b
asic_map_normalize_con
s
trai
n
t
s: take into
a
ccount
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
extrac
t
out isl_basic_map_modify_inequalit
y
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sve
n
Verdo
o
laege
isl_m
a
p_simplify
.
c: elimi
n
ate_
v
ar_using_eq
u
a
l
i
ty
:
reus
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
v
e
n Verdoolae
g
e
isl_b
a
sic_map_normalize_constrain
t
s: ext
r
act
out s
c
ale_
d
own_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
doola
e
ge
k
eep track of effect of
v
ariable elimina
t
ion on implicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
doolaege
i
sl_ma
p
_simplif
y
.
c
:
eliminat
e
_var_using_equali
t
y: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sven V
e
rdoolaege
isl_
m
ap_c
o
alesce:
r
e
d
uce coefficients
o
f
f
used intermediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n Ve
r
d
o
olaege
isl_basic_map_reduce_c
o
efficients: reduce again after
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
i
s
l
_basi
c
_m
a
p_reduce_
c
oefficients: move dr
o
pping
v
ar
i
a
b
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven V
e
rdo
o
laege
isl_bas
i
c_ma
p
_reduce_coe
f
ficients: perform s
a
nity
c
heck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
i
s
l_basic_map_reduce_coe
f
ficients: extr
a
ct out
re
d
uc
e
_c
o
e
f
fi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
S
v
en Verdoolaege
isl_basic_ma
p
_reduce
_
coeff
i
cie
n
ts:
i
ntrod
u
c
e
isl_
r
edu
c
e_c
o
ef
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoola
e
ge
clear ISL_BASIC_MAP_REDUCED_COEFFICIENT
S
when needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
erdoo
l
aege
isl_aff
_
r
emove_unused_divs: remove all
unused lo
c
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_aff_remove_unu
s
e
d
_di
v
s: reuse isl_af
f
_drop_dim
s
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_aff_remove_un
u
sed_divs: use isl_aff_domain_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
i
s
l_aff_do
m
ain_offset: extr
a
c
t
out isl_aff_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_af
f
_domain_offset: u
s
e isl_local_space_v
a
r_of
f
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven V
e
rdoolae
g
e
properly document
isl_local
_
space_
g
et_active
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_ast_codegen
.
c:
add_doma
i
n: o
n
ly
take single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
is
l
_
a
s
t_code
g
en
.
c:
add_dom
a
in: fi
x
typo
in comment
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_ast_build: s
t
o
p
keeping
t
r
a
ck of
single-v
a
lue
d
ness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n Verdoo
l
aege
isl_ast_codegen
.
c: gen
e
rate_domain: con
s
truct call
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n Verdoolaege
add AST generation test case involving expansion n
o
de
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verd
o
o
l
aege
i
s
l_ast_b
u
il
d
_expr
.
c: extract_mod
u
lo: consider simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_ast_
b
uild_expr
.
c: mod_c
o
ns
t
raint_i
s
_s
i
mpl
e
r: extr
a
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verdo
o
lae
g
e
isl_ast_build_expr
.
c: replace_
i
f_
s
impler: e
x
trac
t
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
erdoola
e
ge
isl_ast
_
build_expr
.
c
:
i
s_p
a
ral
l
el_or_opp
o
site: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_
a
st_build_exp
r
.
c: decompose check_paral
l
e
l
_or_opposite
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verd
o
o
l
a
e
ge
isl
_
ast_build
_
ex
p
r
.
c: mod_constra
i
n
t
_is_simpl
e
r: retur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl
_
as
t
_bu
i
ld_expr
.
c:
c
h
e
ck_parall
e
l_o
r
_
o
ppos
i
te: extr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_ast_build_e
x
pr
.
c:
check_parallel
_
o
r_opp
o
s
i
t
e
: extra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_a
s
t_build_expr
.
c
: che
c
k_pa
r
alle
l
_or_opposite: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
erdoolaege
introduce isl_st
a
t_non_erro
r
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
S
ven Verdoolaege
isl_coales
c
e
.
c
: set_from_upd
a
ted_bmap: take
single
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
isl_coale
s
ce
.
c: ad
d
_wrap: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaeg
e
isl_sample
.
c: tab_shift_
c
o
n
e: fix
t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven
V
erdoolaege
test_
i
np
u
ts/codeg
e
n/separate2
.
in: fix
typo in co
m
m
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Ve
r
doolaeg
e
isl_basic_set_i
n
t
ersect_p
a
ram
s
:
extract out isl_ba
s
i
c
_
m
a
p
_i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sve
n
Ver
d
o
olaege
cpp
/
cpp
.
h
.
top: m
a
rk exce
p
t
i
o
n:
:
what over
r
ide
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
S
ven Verdoola
e
ge
ext
r
act-i
n
terf
a
ce: link in libcla
n
g
S
upport when
a
vailable
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verd
o
o
laege
extra
c
t-interface: link in clangDriver before clang
B
asic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdoolaege
isl_pw_q
p
olynomial
_
bo
u
nd: sp
e
cial case
affine p
o
lynomials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoo
l
aege
isl
_
bo
u
nd
.
c: un
w
rap: rename "poly" paramete
r
to "qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_bound
.
c: guarded_
p
o
ly_bound: extract out unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
Verdoolaege
is
l
_bo
u
nd
.
c
:
unwrapped_guarded_poly_boun
d
:
take s
t
ruct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ver
d
oo
l
ae
g
e
i
s
l_bound
.
c: compressed_guarded_
p
oly_bo
u
nd: take st
r
uct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdo
o
lae
g
e
extract out
shared
i
sl_qpolynom
i
al_isa_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verd
o
olaeg
e
isl_
b
asi
c
_map_from_qpolynomial: e
x
t
r
act ou
t
i
s
l_qpolynomial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
extra
c
t out share
d
is
l
_qp
o
lynomial_peek_
p
oly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
perform checked C++ bindings tes
t
s
as soon as C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
remov
e
c
h
eck fo
r
pre
s
ence of cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
always run
P
y
t
h
on
test
s
i
f
Pyt
h
on is availabl
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
do
o
laege
always build Py
t
ho
n
inte
r
f
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ver
d
o
olaeg
e
add generated interfaces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdoolaege
genera
t
e i
n
t
erf
a
ces in
sou
r
c
e
tree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
ol
a
e
g
e
Mak
e
file
.
am: always define CPP_INTERF
A
CES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next