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: fix documentation of isl_basic_set_{in,}equalities_matrix
2014-09-11
Sven Verdoolae
g
e
doc:
fix docum
e
ntation of isl_
b
asic_set_{
i
n,}equalities_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
isl_convex_hull
.
c
: convex_hull_pair: a
d
d mis
s
ing return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-04
Sv
e
n Verdo
o
la
e
ge
i
sl_m
a
p
_
{domain,range}_product:
remov
e
possibl
e
ob
v
io
u
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_
m
ap
.
c: map_product: ren
a
me "d
i
m_product" a
r
g
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdo
o
l
a
ege
add i
s
l_map_remove_obv
i
ous_duplica
t
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoo
l
aege
isl_map_n
o
r
malize: extract out
s
ort_and_remove_du
p
licates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ve
r
doolaege
i
s
l_map_normaliz
e
: remove empty
parts before sorting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolae
g
e
i
sl_bas
i
c_m
a
p_sort_constraints: us
e
isl_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n Verdoolaege
isl_basic_m
a
p_sort_con
s
traint
s
:
s
k
ip sorting if c
o
nstraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
ve
n
Verdoolaege
isl_basic
_
map_align_divs: only extend d
s
t when
need
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
c
le
a
n
up isl
_
ba
s
ic_map_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdool
a
e
ge
isl_map_si
m
p
l
ify
.
c
:
r
emove
_
redundant
_
divs: u
p
date o
u
t
dated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
isl_reordering_
d
u
mp
:
als
o
dump target s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
ven Verdoolaege
update for
chang
e
in Ta
r
getO
p
tions refcoun
t
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verd
o
olae
g
e
u
pdate for
r
emoval of
l
l
vm/ADT/OwningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verd
o
olaege
i
n
terfac
e
/extract_interface
.
c
c
: avoid u
s
e of SourceManag
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-30
Sven V
e
rdo
o
laeg
e
upda
t
e
f
o
r
r
emoval of De
f
au
l
tImage
N
a
me Driver
c
on
s
truc
t
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
S
ven Ve
r
d
o
ola
e
ge
isl_p
r
inte
r
_
p
rint_pw_aff:
u
se i
s
l_a
s
t
_
bui
l
d
_
expr_from_pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sven Verdoolaege
a
dd f
a
ber test case from CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sven
Verdoo
l
aeg
e
AST generator: exploit all in
f
o
r
mation wh
i
le
l
o
ok
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven
V
e
rdoolaege
isl_ast_codegen
.
c
: generate_d
o
ma
i
n:
intersect
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoola
e
g
e
AST
generator: exploit implied guard to simplify
inner
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaege
drop isl_ast_build_s
e
t
_enforced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaeg
e
add a new AST
g
enerator test ca
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaege
AST genera
t
or: impro
v
e handling of pending con
s
tr
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoo
l
aege
add isl_ast_build_replace_pending_by_guard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Ve
r
doolaege
add isl_as
t
_
b
uild_get_
g
e
n
e
r
a
ted
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
r
doolaege
add isl_a
s
t_
b
uild_get_pendin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoolaeg
e
e
xpose isl_ast_graft_list_gist_guards
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
is
l
_
a
st_codeg
e
n
.
c: ref
i
ne
_
gener
i
c: hoist out gisting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ve
n
Verdoolaege
is
l
_ast
_
codegen
.
c
:
create_n
o
de_sc
a
led: post
p
o
ne adding
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdool
a
ege
isl_ast_codegen
.
c: cr
e
ate_node_scaled: hoist inc
l
u
s
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
drop
i
sl
_
a
st
_
g
r
a
ft_
a
lloc
_
level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verd
o
olaege
isl_as
t
_
codeg
e
n
.
c: creat
e
_node_sc
a
led: inl
i
ne cal
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaege
expose is
l
_ast_graft_l
i
st_extract_hoistable_guard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaeg
e
expose isl_
a
st_graft_lis
t
_
extr
a
ct
_
shared
_
enforced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
doolaege
e
xtract out is
l
_a
s
t
_
g
ra
f
t_a
l
l
oc_f
r
om_children
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n
Verdoolaege
isl_ast_
c
odegen
.
c
: re
f
ine_eli
m
inated: do not add s
t
ride
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
e
rdoolaege
isl_ast
_
codegen
.
c: move up a
d
d
_
stride
_
guard de
f
i
n
i
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n V
e
rdoolae
g
e
isl_ast_build_s
e
t_loop_bounds
:
do not add stride co
n
straint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
push
i
sl_ast_build_include_stri
d
e into
i
s
l
_ast_build_set_loo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verd
o
o
l
a
e
ge
isl_ast_
b
uild
.
c: update_values: explicitly
t
a
k
e in
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaege
isl_ast_c
o
deg
e
n
.
c
:
g
enerate_nex
t
_level:
use isl
_
as
t
_buil
d
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ver
d
oolaege
ad
d
i
s
l_ast_build_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdool
a
e
g
e
AST
generato
r
: take into ac
c
ou
n
t some
p
ar
a
mete
r
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
AST gener
a
tor:
p
erfo
r
m more aggressive guard
hoisting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolae
g
e
i
sl_ast_
g
raft
.
c:
e
xtr
a
ct_hois
t
able_guard: extra
c
t
o
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verdoolaege
add
isl_set_unshifted_si
m
ple_hull_
f
r
o
m
_
s
et_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoola
e
ge
add isl_set_g
e
t_basic_set_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
doolaege
add
i
sl_basic_set_list_a
l
ign_divs_
t
o_bas
i
c_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
a
d
d isl
_
set_a
l
ign_
d
ivs
_
to_ba
s
ic_set_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
a
d
d
isl_basic_set_
l
ist_underlyin
g
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaeg
e
add
isl_basic_set_list_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoo
l
a
e
ge
isl_ast_codeg
e
n
.
c: add_
n
ode: r
e
plac
e
gist by pure spe
c
ializa
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
i
sl_ast_build_expr_fro
m
_pw_a
f
f: expl
o
i
t
domain constra
i
nt
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven V
e
rdoo
l
a
e
ge
isl
_
ast_build_expr_from_ba
s
ic_
s
e
t
:
ex
p
lo
i
t earlie
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Ve
r
doolaege
is
l
_
a
s
t_build_ex
p
r
_
f
rom_basic_set: s
o
rt
c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sv
e
n Verdoolaege
add i
s
l_constrain
t
_cm
p
_last_non_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoo
l
aege
add isl_int_abs_cm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaeg
e
a
dd isl_constraint_
p
l
ain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verd
o
o
l
aege
isl
_
ast_b
u
ild_ex
p
r_from_basic_set: op
e
rate on
l
i
st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sve
n
Verdoolaege
isl_ast_cod
e
gen
.
c: use isl_basic_set_get_constr
a
in
t
_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
add isl_bas
i
c_{
s
e
t,map}_get_const
r
aint_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
add isl_ba
s
ic_ma
p
_n_c
o
nstraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sv
e
n Verdool
a
ege
explicitly mark
d
eprecated functions
a
s
d
e
prec
a
t
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
v
en Verdoola
e
ge
isl_a
s
t_codegen
.
c: remove remnants of code remove
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
isl_
a
st_codegen
.
c: after_e
a
ch_for: fix memory m
a
nage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sve
n
Verdoolaege
isl_as
t
_codegen
.
c: fix
typo
s
in comm
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven V
e
r
d
o
o
l
aege
i
sl_ast_graft_p
r
ivate
.
h: fix typo
i
n comm
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
v
en V
e
rdoolaege
isl_ast_build_
e
xpr
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
v
en Verdoolaeg
e
isl_a
s
t_
b
uild
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
isl_union_
t
empl
.
c:
fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sv
e
n Verdoo
l
aege
i
sl_map_simplify
.
c: fix
t
y
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
v
en Ver
d
o
o
laeg
e
isl_schedule
.
c: fix typos in
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verd
o
olaeg
e
isl_fa
r
kas
.
c: fix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sv
e
n Verdoola
e
ge
isl_input
.
c
: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
isl_schedul
e
.
c
: fi
x
whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sv
e
n Verdoola
e
ge
isl_map
.
c: fi
x
w
h
itespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
S
v
en Verdo
o
laeg
e
README
:
urge bu
g
reporters
t
o
a
lways mention the isl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sve
n
Verdoolaege
Merge br
a
nch 'main
t
'
commit
|
commitdiff
|
tree
2014-08-05
Sven V
e
rdoolae
g
e
isl_ast_codege
n
.
c: gen
e
r
ate_components: fix error handl
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-04
Sv
e
n Verdool
a
ege
isl_basi
c
_map_drop_c
o
nstraints{_not,
}
_involving
:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-04
Sven Verdoolaege
i
s
l_basic_map_o
v
erly
i
ng_set: extract out isl_basic_map_add_k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-04
Sven Verdo
o
laege
privately
ex
p
ort isl_ba
s
ic_
m
ap
_
remove_duplica
t
e_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-29
S
ven V
e
r
d
oolae
g
e
i
sl_conv
e
x_
h
ull
.
c: add_bound: f
i
x error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-29
S
ven
V
erdoolaege
isl_a
s
t_build_detect
_
stri
d
es: store result of isl_val_g
c
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-29
Sven
Verdoolaege
isl_b
a
sic_ma
p
_drop_
c
o
n
s
t
raints_
n
o
t_inv
o
lving_dims:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Ve
r
d
o
ol
a
e
ge
isl_ast_node_use
r
_get_expr: check that in
p
u
t
is in
d
e
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdoolae
g
e
isl_as
t
_
codegen
.
c: generate_
d
omain: compute
e
xp
l
i
cit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdoolaege
isl_schedule
.
c: copy_nodes: improve e
r
ror han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven
Verdoolaege
isl_sch
e
dule
.
c: ext
r
act_node: improve error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
S
ven Verdoolaege
i
sl_sc
h
edu
l
e
.
c: extract_node: ren
a
m
e "dim" var
i
a
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Ver
d
o
olaege
isl_p
w
_
*_gist: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdoo
l
aeg
e
do not print
c
olon
if t
h
ere ar
e
n
o
con
s
tra
i
n
ts in omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven
V
e
r
do
o
l
aege
isl_printer_
p
rint_p
w
_
a
ff: keep t
r
ack
o
f whether we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdoolaege
isl_basic_m
a
p
_preimage_multi_aff: check if paramet
e
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
S
ven
Verdool
a
ege
isl_basic
_
s
et_{
c
oeffici
e
nts,solutions
}
: handl
e
obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdoolaege
isl_
f
arkas
.
c: extract out sh
a
r
e
d rational_univ
e
r
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-14
Sven Verdoolaege
isl_f
a
rkas
.
c: farkas: r
e
name "di
m
" variable t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next