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 an AST expression representing the &-operator
2014-09-15
Johannes Doerfert
A
dd an AST expression r
e
presenting t
h
e &-o
p
erator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Jo
h
a
n
nes Doerfert
A
dd AST express
i
o
n
builder fun
c
tions f
o
r comparisons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
erdo
o
laege
doc: fix documen
t
ation o
f
isl_basi
c
_set_{in,}equalitie
s
_mat
r
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sv
e
n Verdoolaege
Merge bra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2014-09-11
Sven Verd
o
ol
a
e
ge
isl_
c
onvex_hul
l
.
c:
convex_hull_
p
air
:
add mis
s
ing r
e
turn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-04
S
ven Verdo
o
la
e
ge
i
s
l_map_{domain,range}_produ
c
t: remove possibl
e
obvious
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven
V
erdoolaege
i
sl_
m
ap
.
c: map_p
r
odu
c
t:
rename
"dim_product" argum
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
add i
s
l_ma
p
_remove_o
b
vious_duplic
a
tes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_map
_
normalize: extract out
sort_and_remove_duplicates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_ma
p
_n
o
r
m
alize
:
remove empty parts before sorting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Verdo
o
lae
g
e
isl_basic_
m
ap_sort_constra
i
nts:
use
i
sl
_
sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoola
e
ge
isl_
b
a
sic_map
_
s
or
t
_cons
t
r
a
int
s
: skip sorting
if
c
onstrai
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven
V
erdoolaege
isl
_
basic_m
a
p_al
i
g
n
_
divs: o
n
ly extend dst w
h
en n
e
eded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoo
l
aege
clean up isl_basic_map_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ve
r
doolaege
isl_map_simplify
.
c: remove_redundant_divs: update o
u
tdat
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
erdoolae
g
e
isl
_
reordering
_
dum
p
: also d
u
mp target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Ve
r
d
oolae
g
e
upd
a
te for change in Target
O
ptions
ref
c
ou
n
ting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
ven Verdoolaege
update
for removal of llvm/ADT/Own
i
ng
P
tr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven V
e
rd
o
olaege
interface/extract_inte
r
face
.
cc
:
a
v
oid use of So
u
rceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-30
Sven Verd
o
ola
e
ge
upd
a
t
e for remova
l
of DefaultI
m
ageN
a
me Driver constr
u
cto
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
S
v
en Verdoolaege
isl_prin
t
er
_
p
rint_pw_aff
:
use isl_as
t
_build_ex
p
r_from_pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
S
v
en Verdoolaege
add
f
a
b
er
te
s
t case from CLo
o
G
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sven Verdoolaege
A
ST gener
a
tor: exp
l
oit all i
n
f
ormati
o
n
whi
l
e looking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven
V
erdoo
l
aeg
e
isl_ast_codegen
.
c: generate
_
domain: i
n
tersect with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven
Ve
r
doolaege
AST generator: exp
l
oit
impli
e
d guard to simplify i
n
n
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Ve
r
doo
l
a
e
g
e
drop isl_ast_build_set_enforced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Ve
r
d
o
o
laege
add a ne
w
AST generator
t
e
st case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
S
ven Verdo
o
lae
g
e
AST generator: improve handl
i
ng of pend
i
ng
c
onstra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verd
o
o
laege
add isl_ast_b
u
ild_repl
a
c
e
_pend
i
ng_b
y
_guar
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdoolaege
add isl_as
t
_build
_
get_generated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add isl_ast_build_get_pending
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdool
a
ege
expos
e
isl_ast_graft
_
list_gist_guards
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoolae
g
e
isl_ast_codegen
.
c: refine_generic:
h
oist out gi
s
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven
V
erdoola
e
ge
isl_ast
_
codegen
.
c: create
_
n
ode_scaled: postpone adding
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verdoola
e
ge
i
s
l_
a
st_
c
odegen
.
c: create_node_
s
caled
:
hoi
s
t inclusion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Verdoolaege
drop
isl_ast_gr
a
ft_al
l
oc_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verd
o
olaege
is
l
_ast_
c
o
degen
.
c
:
create_node_scaled: inline cal
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
expose i
s
l_ast_gr
a
ft_list_extrac
t
_
h
oist
a
ble_guard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
expose is
l
_ast_graft_l
i
st_extr
a
c
t
_
shared_enforced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoo
l
aege
extract out isl_a
s
t_graft_
a
llo
c
_
from_children
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
doolaege
isl
_
a
s
t_codeg
e
n
.
c: refine
_
eliminated: do not add s
t
ride
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven
Verdoola
e
ge
isl_ast_codegen
.
c: move up add_stride_guard defi
n
ition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoo
l
aege
isl_ast_build_set_loo
p
_bou
n
d
s
:
do not add
stride constr
a
int
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
r
doolae
g
e
p
ush isl_as
t
_
build_
i
n
clud
e
_s
t
r
ide into isl_ast_bui
l
d_
s
e
t
_loo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_ast_build
.
c: u
p
date_valu
e
s: explic
i
tly take into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verd
o
o
l
a
e
ge
isl_ast_codegen
.
c: ge
n
e
rate_next_level: use isl_ast_bui
l
d_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
a
dd isl
_
a
st_bu
i
ld_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
do
o
la
e
g
e
AST gen
e
rato
r
: take into a
c
co
u
nt some paramet
e
r constr
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ver
d
oolaege
AST generator: perf
o
rm more
a
ggressive guard hoisting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_ast_graft
.
c
: extract
_
hoistable_guard: extr
a
c
t
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoolaege
a
d
d isl
_
set_unsh
i
fted_sim
p
le_hull_from_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n
Verdoolae
g
e
a
d
d isl_set
_
get_basi
c
_se
t
_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven V
e
rdoolaege
add isl_b
a
sic_set_lis
t
_align_divs_to_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaeg
e
a
d
d
isl_set_a
l
ign_divs_to_bas
i
c_
s
et_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdool
a
ege
add isl_b
a
s
i
c_set_
l
ist_underlying_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erd
o
ola
e
g
e
add isl_basi
c
_se
t
_list_inte
r
s
ect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaeg
e
isl_ast_
c
ode
g
e
n
.
c: add_node: replace
g
is
t
b
y
pure specialization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Ve
r
dool
a
ege
isl_a
s
t_build_expr_from_pw_af
f
: exp
l
oit
d
omain con
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
is
l
_ast_build_expr_from_
b
as
i
c_s
e
t: exploit
earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven
V
erdoolaege
is
l
_ast_build_e
x
p
r_from_basic_set: sort con
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaeg
e
add isl_constra
i
nt_cm
p
_last_non_zer
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaeg
e
add
i
sl_int_abs_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sve
n
Verdoolaege
add isl_constraint_pl
a
in_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
i
s
l
_
ast_build_expr
_
fro
m
_basic
_
set: operate
o
n
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven V
e
rdo
o
lae
g
e
i
s
l_a
s
t_codegen
.
c
:
us
e
isl
_
basic_set_get_co
n
straint_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
add
i
sl_basi
c
_{s
e
t,map}_get_constraint_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sv
e
n Verdoolaege
a
dd isl_basic_map_n_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
explicitly mark deprecated functions
a
s deprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
v
en Verdoola
e
g
e
isl_
a
st_codegen
.
c: remove remnants of code removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sve
n
Verdoolae
g
e
isl_ast_c
o
degen
.
c:
af
t
er_e
a
ch_for: fix
memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven
Verdoolaege
isl_ast_codegen
.
c: fix typos
in
c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven V
e
rdoolaege
isl_ast_graf
t
_
private
.
h: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Ver
d
oolaege
is
l
_
a
st_bu
i
ld_expr
.
c: fix typo
i
n co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
isl_a
s
t_build
.
c: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
i
s
l_union_t
e
m
p
l
.
c: fi
x
ty
p
o in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoo
l
aege
isl_map_simplify
.
c: fix t
y
po i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolae
g
e
is
l
_schedule
.
c: fix typos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
ven Verdoolaege
isl_farkas
.
c: fix t
y
po in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
i
s
l_input
.
c: fix typo
i
n
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdo
o
laege
isl_sch
e
du
l
e
.
c:
f
i
x whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
ven Verdoo
l
aege
i
s
l_map
.
c: fix white
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
ven Ve
r
d
o
o
l
a
ege
README: urge
bug
reporters to
a
lways ment
i
on the is
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verd
o
olaege
Merge
branch
'
m
a
int
'
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
isl_ast_codegen
.
c: generate_co
m
ponents: fix
e
rror h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-04
Sve
n
Ver
d
oolaege
isl_basic_map_drop_con
s
traints{_not,}
_
involving: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-04
Sven Verdoolaege
isl_basic_ma
p
_
o
v
e
rlying_set:
e
x
t
ract out isl_basic_map
_
a
dd_k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-04
Sven Verdoolaege
privately
e
xpo
r
t
isl_
b
as
i
c_
m
ap_re
m
o
v
e_d
u
plicate_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-29
Sven Verdool
a
ege
isl_convex_hull
.
c: ad
d
_bound: fix err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-29
Sven Verdoolaege
isl_ast_b
u
ild_detect_
s
trides: store resul
t
of
i
sl_va
l
_
g
cd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-29
Sve
n
Verdoolaege
i
sl_basic_map_d
r
op_constraints_not
_
involv
i
n
g
_
dims:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
S
v
en Verdoolaege
isl_as
t
_
n
o
de_
u
ser
_
get_expr: c
h
eck that
i
nput i
s
i
ndeed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven
V
erdoolaeg
e
isl_ast_co
d
ege
n
.
c: gene
r
ate_domain: compu
t
e explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdool
a
ege
isl_schedu
l
e
.
c:
cop
y
_node
s
: improve erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Ve
r
doolaege
i
s
l_
s
che
d
u
le
.
c: extract
_
node: improve
error handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Ver
d
oolaege
isl_schedule
.
c: extract_nod
e
: rename "d
i
m" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdo
o
laege
isl_pw_*_gist: improve error
h
a
ndli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
S
v
en Verdool
a
ege
do
n
ot print c
o
lon if t
h
e
r
e are no
con
s
t
raints
i
n omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
S
ven Verdoolaege
isl_
p
rinter_print_pw_aff: keep track of
w
h
ether we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven
V
erd
o
olaege
is
l
_
b
asic_map_preimage_multi_
a
ff: ch
e
ck i
f
para
m
eters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdoolaege
isl_bas
i
c_set_{coefficients,
s
olutions}:
h
a
n
dle obvio
u
sl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next