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
extract out shared isl_basic_map_any_div_involves_vars
2024-02-25
Sve
n
Verdoolaege
extra
c
t
ou
t
sha
r
ed isl_b
a
sic_ma
p
_a
n
y_div_involves_va
r
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ve
r
doo
l
aege
isl_map
.
c: basi
c
_
ma
p
_d
i
m_is_bounde
d
: use isl_basic_map_var
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en
V
erdo
o
laege
basic_map_dim_is_bo
u
nded: us
e
isl_ba
s
i
c
_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
e
r
doolaege
isl_map_simpl
i
fy
.
c: div_find_co
a
lesce: retu
r
n
isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
e
n
Verd
o
olaege
isl_map_
s
implify
.
c
:
div_find_coal
e
sce: u
s
e isl_size
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Verdoolaege
extrac
t
o
ut shared isl_
b
as
i
c_m
a
p_div_e
x
p
r
_involves_va
r
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven V
e
rdoo
l
aege
isl_map
.
c: di
v
_in
v
ol
v
es_vars: use i
s
l_basic_map
_
va
r
_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoola
e
ge
isl_map
.
c: div_involves_vars:: u
s
e is
l
_basic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n V
e
rdoolaege
i
sl_map
.
c:
d
iv_involves_vars
:
use isl
_
bas
i
c_map_div_is_marke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolae
g
e
i
sl_basic_m
a
p_rem
o
ve_di
v
s_involving_dims:
e
x
tract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_m
a
p
.
c: extract out ge
n
eric ex
t
r
a
c
t
_
b
o
und_from_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
oolae
g
e
isl
_
basic_map_simp
l
i
f
y: el
i
min
a
te
in
t
egr
a
l in
t
eger
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sve
n
Verdoolae
g
e
is
l
_map_simpli
f
y
.
c: e
x
tract out shared mark_progress
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
isl_
b
a
sic
_
m
a
p
_rem
o
ve_
d
uplicate_
c
onstraints: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdool
a
ege
isl_ma
p
_simplify
.
c: elim
i
nat
e
_selected_unit_divs: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
S
v
en V
e
rdool
a
ege
i
sl_map_simplify
.
c:
e
limin
a
te_selec
t
ed_unit
_
divs: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
i
s
l
_
map_simplify
.
c:
e
limina
t
e_selecte
d
_
u
nit_divs:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdo
o
laege
elimination using
e
quality constrain
t
do
e
s not introduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ver
d
ool
a
e
ge
isl_basic
_
map_normalize
_
constraints: tak
e
into account
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdool
a
eg
e
extract out
i
s
l_basic_map_modify_inequality
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
isl_
m
ap_simplify
.
c: eliminate_
v
ar
_
usin
g
_e
q
uality:
r
eu
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ver
d
oolaege
isl_bas
i
c_map_normal
i
ze_constraints: extrac
t
out scale_down_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
keep
tr
a
c
k
of effec
t
o
f variable elimina
t
ion on implicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven V
e
r
doolaege
isl
_
m
a
p_simp
l
ify
.
c: eli
m
in
a
te
_
var_using_equ
a
lity
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n V
e
rdoo
l
aege
isl_map_coa
l
esce: reduce
c
oeff
i
cients of fus
e
d
in
t
ermediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verd
o
olae
g
e
isl
_
basic
_
map_red
u
ce_coeff
i
cien
t
s: reduce aga
i
n
after
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoola
e
ge
isl_basic_
m
ap
_
r
e
d
uce_coefficient
s
: move dropping variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n Verdoolaege
isl_basic_map_
r
educ
e
_c
o
efficien
t
s
:
perform
sanity
check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolae
g
e
isl_basic_map_reduce_c
o
efficients:
e
xtr
a
ct out reduce_
c
oeffi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven
Verdoola
e
ge
is
l
_
basic_map_redu
c
e_co
e
ff
i
cients: introduce isl_r
e
duce_coef
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n
Verdoolaege
clear
ISL_B
A
SIC_MAP_REDUC
E
D_
C
OEFFICIENTS when needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Verdoolaege
isl_aff_r
e
move_unused_div
s
:
remove al
l
unu
s
ed local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
e
n
Verdo
o
laege
i
s
l_
a
ff_remove_un
u
sed_divs:
r
eus
e
isl_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verdoolaege
isl_
a
ff_remove_unuse
d
_di
v
s: use isl_aff_
d
omain_v
a
r_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven V
e
rd
o
ola
e
g
e
isl_aff_
d
omain_offset
:
extract out
i
s
l_
a
ff_domain_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
i
s
l_aff
_
domain_of
f
set: use i
s
l_lo
c
al_sp
a
c
e_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
erdoolaege
properly d
o
c
u
m
e
nt isl_local_spac
e
_get_activ
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_ast_codegen
.
c: add
_
d
o
ma
i
n: only take single cop
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n Verdoolaege
isl_ast_codege
n
.
c: ad
d
_d
o
main: fix typo in
c
o
mm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdo
o
l
a
ege
i
s
l_ast_b
u
ild: s
t
op
k
eeping tr
a
ck of s
i
ng
l
e-v
a
l
uedness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
e
n
Verdoola
e
ge
isl_ast
_
codegen
.
c
:
g
e
n
erate_domain: co
n
struct call
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verdoolaege
add A
S
T ge
n
eration test
c
ase involving e
x
pansion no
d
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_as
t
_
build
_
expr
.
c: e
x
t
ract_modulo: consider simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdoolaege
i
s
l
_
as
t
_buil
d
_e
x
pr
.
c
: mod_constraint_is_simpler
:
extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sve
n
Verdoolaege
i
sl_ast_bu
i
l
d
_
e
xpr
.
c: r
e
place_if
_
simpler: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n
Verdoolaeg
e
i
s
l
_
as
t
_build_expr
.
c: is_p
a
rallel_
o
r
_opposite: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoola
e
g
e
i
sl_ast_build_expr
.
c: decompose check
_
parallel_o
r
_
o
ppo
s
i
t
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Ver
d
oolaeg
e
isl_ast_build_e
x
pr
.
c:
mod_constraint_is_si
m
pler: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verdoolaege
isl_ast_build_expr
.
c
: check_parallel_or_opposite: ex
t
ract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verd
o
olaege
i
s
l_a
s
t_build_expr
.
c: chec
k
_parallel_or_opposite: extra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ve
r
d
oo
l
aege
isl_ast_
b
uild_expr
.
c: check_p
a
rallel_or_opposite: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ve
n
Verdoolae
g
e
intr
o
duce isl_stat_non_error_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolae
g
e
isl_coa
l
esce
.
c: set_from_up
d
ated_bmap
:
take s
i
ngle
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
isl_coalesce
.
c
:
add_wra
p
:
return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven
V
erdo
o
la
e
ge
isl
_
s
a
mple
.
c: tab_s
h
i
f
t_cone: fix
t
ypo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sve
n
Verdoolaege
t
est_inputs/codegen/separa
t
e2
.
in
:
fix
t
ypo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Ver
d
oolaege
isl_
b
asic_
s
et_intersect_params
:
extract out i
s
l_basic_map_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven
Verd
o
olaege
cpp/cpp
.
h
.
top:
mark exception::what ove
r
ride
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdoolae
g
e
ext
r
act-interface: link in l
i
bclangSu
p
port w
h
e
n availab
l
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdoolaege
extract-interface: link in cla
n
gDriver before clan
g
Basic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_pw
_
q
p
olynomial_bound: s
p
ecia
l
case aff
i
ne polynomials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en
V
erdoolaege
isl_bound
.
c:
u
nw
r
ap: r
e
nam
e
"poly" parameter
to "qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdo
o
laege
i
sl_bound
.
c:
guarde
d
_poly_bound: extract out unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
ven Verdoolaege
isl_bound
.
c:
u
nwr
a
pped_gu
a
rded_po
l
y_bound: ta
k
e
s
t
ruct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ve
r
doo
l
aege
i
s
l
_
bound
.
c: compressed_guarded_poly_boun
d
:
t
a
k
e struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
Verdoo
l
aege
e
x
tract out s
h
ared
i
sl_qpolyno
m
ial_isa_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_basic_m
a
p_from_qpo
l
yno
m
ial: extract out isl_qpolynomial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
ven Verd
o
olaege
extract out shared isl_qpolynomial_peek_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdool
a
ege
p
e
r
f
orm
chec
k
ed
C
++
b
indings tests
a
s
so
o
n as C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven Ver
d
ool
a
ege
remove c
h
eck for presence of cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
olaege
al
w
ay
s
run Py
t
h
on tes
t
s
i
f
Python is
availab
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Verdoola
e
g
e
always build Python int
e
rfa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
add gener
a
ted interfaces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
erdoolaege
gene
r
ate inter
f
aces
i
n source tree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdo
o
laege
Makefile
.
am:
a
l
w
a
y
s define CPP_INTERFACES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
doola
e
ge
interface
/
isldlname
.
py:
create destination director
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n Verdool
a
ege
split o
f
f
m
achi
n
e dependent part of Python interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
ola
e
ge
always build Pytho
n
interface
if possib
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdoolaeg
e
Makef
i
le
.
am: avoid automatic variabl
e
$<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ver
d
oolaege
use single
s
pace indentation for
a
c
c
ess specifiers
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
V
e
rdoolaege
g
ener
a
te bindings into t
e
mp
o
rary
fi
l
es first
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Verdoolaege
b
e less
ve
r
bose when generat
i
ng bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sve
n
Verdoolaeg
e
isl_map_coalesc
e
: avoid ig
n
oring constraints r
e
dundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sve
n
Verdoolaege
isl_tab_make_equaliti
e
s_explicit: support undo
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven V
e
r
d
oolaeg
e
isl_
t
ab
.
c: renam
e
rotate_con
s
tr
a
ints to rotate_cons
t
r
a
i
n
ts_rig
h
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdoo
l
aege
isl_tab
.
c: rotate_constrain
t
s: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
isl 0
.
2
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Ve
r
doola
e
ge
do
c
: update supported versions of cl
a
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sve
n
Verdoolae
g
e
e
x
pli
c
itly cl
e
an up interface/__pycache__
/
*
.
pyc
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sve
n
Verdoolaege
extract-int
e
rfac
e
: w
h
en linking again
s
t
libclang-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sve
n
Ver
d
oolaege
m4/ax_d
e
t
e
ct_cla
n
g
.
m4: preserve clang specifi
c
CPPFLAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
isl_tab_pip
.
c: propagate add_ineq co
n
tex
t
err
o
r to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolae
g
e
i
sl_t
a
b_pip
.
c: find_solu
t
ions_main: propagate add_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sve
n
Ver
d
oolaege
isl_tab_pip
.
c: find_i
n
_
pos:
p
lu
g
mem
o
ry leak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sv
e
n Verdool
a
ege
i
s
l_tab_pip
.
c: no_sol_in_strict:
fix error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sven Verdoolaege
Merge br
a
nch 'ma
i
nt'
commit
|
commitdiff
|
tree
2023-03-21
Sven Verdoo
l
a
e
ge
fi
x
e
x
port
of isl_space_multi_u
n
i
on
_
pw_
a
ff
t
o te
m
plated
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
Sv
e
n Verdoolaege
interface/template_cpp
.
cc: move up from_list_{set,map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdo
o
l
a
ege
isl_bas
i
c
_map_find_out
p
ut
_
up
p
er_d
i
v_const
r
aint:
allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
isl_map
.
c: is_
p
o
tential_div_constraint:
return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next