repo.or.cz
/
cloog.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
cloog_domain_print_structure: print domain in isl format
2010-10-27
Sven V
e
rdoolaeg
e
cl
o
og_domain_print_
s
tru
c
ture: print do
m
a
in in isl
f
ormat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven
V
erdoo
l
aege
add
c
l
oog_vec_
d
u
mp f
o
r debu
g
ging
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoo
l
aege
source/loop
.
c: fix typo in
c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven V
e
rdoolae
g
e
cloog_d
o
main_from_i
s
l_
s
e
t: make
s
ure
d
i
vs are computed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verd
o
olaeg
e
cloog_loop_sp
e
cializ
e
:
o
n
ly specialize with conve
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
c
l
a
s
t
.
c: insert_modulo_guard_co
n
straint:
properly
h
andle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
cloog
_
doma
i
n_pro
j
ect: drop divs invo
l
ving level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Ver
d
ool
a
ege
cl
o
og_input_du
m
p_cl
o
og
:
use
e
xten
d
ed p
o
lyli
b
outpu
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven V
e
r
d
oo
l
a
e
ge
upd
a
te isl for renaming of isl_map_r
e
move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven
V
erdoolaege
update isl for impr
o
ved coa
l
e
scing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
cloog_loop_from_do
m
ain: call
c
loog_loop_malloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
cloog_l
o
op
_
rem
o
v
e_e
m
pty_domai
n
_loops: properl
y
terminate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-09-04
Sven V
e
r
doola
e
ge
d
o
c:
fix t
y
pos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven Verdoolaege
d
e
tect stri
d
e
s even if the remainder of the lower bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven Verdoolaege
move
all stride
informat
i
on in
t
o separate Clo
o
gStride
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sve
n
Verd
o
olaege
a
d
d
cloog_union_
d
om
a
in_from_
i
s
l
_u
n
ion_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-13
Sven Ve
r
d
o
olaege
isl/d
o
main
.
c: fix ty
p
o in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
c
l
ast
.
c: only
u
pdate
l
ower bo
u
nds
during the construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven
Verdo
o
laege
cloog_loop_block: fix
typo
that could result
in incor
r
ect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
mark
cloog_isl
_
state
_
m
a
lloc
as ha
v
ing C linkage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
S
v
en Verdo
o
la
e
ge
cloog_input_dump_cloog: fi
x
typo that brok
e
dum
p
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-08
Sven Ve
r
doo
l
aege
add cloog_union_domain
_
from_is
l
_union_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
provide a s
i
mplified and
doc
u
mented API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sv
e
n Verdoolaege
cloog_names_read_strings: do not generate names if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sven Ver
d
oolaege
clo
o
g_program_read: se
p
arate reading from input from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-25
Sv
e
n Verdoo
l
aege
allow libr
a
ry use
r
s to s
p
e
c
ify names
of stat
e
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
S
v
en
V
erdool
a
ege
detec
t
all one-time loops and convert them
t
o
a
n
assignment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
Sv
e
n Verdoolaege
source/cl
a
st
.
c: cle
a
n up insert
_
for
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
allow
s
t
r
ide de
t
ectio
n
on l
o
o
p
s
without co
n
st
a
nt lower
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
replace cloo
g
_domain_
i
ntegra
l
_l
o
werboun
d
by cloog_domain_can
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rd
o
o
laege
is
l
back
e
nd: cloo
g
_constraint_se
t
_foreac
h
_co
n
straint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
u
p
date isl for
isl_constraint_is_div
_
con
s
traint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdo
o
laege
isl backend: c
l
oog
_
do
m
a
i
n_proje
c
t:
m
ake sure all divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
update isl for isl_
m
ap_is_singl
e
_valued
commit
|
commitdiff
|
tree
2010-05-06
Sve
n
Verdoola
e
ge
Turn o
f
f
b
a
c
ktra
c
k by
defau
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Ve
r
doolaege
cloog_
l
oop_generate: op
t
imize th
e
loop domai
n
s
after
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Verdo
o
laege
c
l
oog_loop_generate: r
e
strict in
n
er loop domain
s
befo
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven
Verdoolaege
cl
o
og_loop_g
e
nerate_compone
n
ts: ext
r
act out
extract_
c
om
p
on
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
S
v
en Verdo
o
laege
para
m
et
e
r
i
z
e
c
l
o
og_loop
_
co
m
ponents_t
a
rjan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rd
o
olaeg
e
update
isl for impro
v
e
d
g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdool
a
ege
split pa
r
amet
e
r
domains when
c
onve
x
h
u
ll operation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
e
rdoolaege
i
sl backend: clean up reading fun
c
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
upda
t
e
i
sl f
o
r change in isl_set_
g
ist argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
simp
l
if
y
clo
o
g_loop_mer
g
e implementation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doolaege
c
loog_domain_un
i
on: free arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaeg
e
generate loops for all
d
imens
i
o
n
s if
-otl 0 is
s
pecifi
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-17
Sven Verdoolaege
clast
.
c:
insert_guard: make sure enough spac
e
is allocate
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-11
Sv
e
n Verd
o
ol
a
eg
e
u
p
da
t
e isl for various fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
update isl for isl_basic_set_foreach_constrain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
introd
u
c
e cloog_con
s
traint
_
se
t
_
foreach_const
r
aint abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
doo
l
aege
i
sl_backend: cloog_do
m
ain_
r
e
ad_scattering
:
r
ead scatt
e
ri
n
g
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l backend
:
scatt
e
rin
g
r
ela
t
i
o
n now maps
d
oma
i
n
d
imensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
isl bac
k
end: cl
o
og_dom
a
in_read_scattering: allow union
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
update isl fo
r
reading of
extended P
o
lyLi
b
for
m
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaeg
e
all
o
w build
i
ng with
o
ut
isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdo
o
laege
remove PolyLib backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaeg
e
create
p
kg-config file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
o
laege
m
ake installed header fil
e
s independent of configure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
mo
v
e
P
o
lyL
i
b inde
p
endent files o
u
t
of p
o
lylib subdirectory
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoola
e
ge
make constraintset
.
c Po
l
yLib
i
n
depe
n
den
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verd
o
olaeg
e
add more cloog_se
q
_* fun
c
t
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n
Verdo
o
laege
a
d
d
cloog_matrix_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
add cloog_i
n
t_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
Verd
o
o
l
aege
a
dd cloog_ma
t
rix_print_st
r
uct
u
re
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
V
e
r
d
oolaege
move lower-bounds fix-up from c
l
oog_l
o
op_stride
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add
c
loog_int_c
d
i
v
_
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolaege
drop special handling of
constant term while inse
r
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
Verdo
o
laege
add some more cloog
_
i
n
t_t comparison opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolae
g
e
cloo
g
_
m
atrix_p
r
int:
p
r
i
n
t number of rows and columns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
a
d
d c
l
oog
.
texi to distr
i
b
ution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
a
d
d
s
or1d files
t
o distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n
Verdoolaege
make C
L
ooG core completely backend-independ
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
r
d
oolaeg
e
update d
o
ma
i
n and scat
t
e
r
ing reading functions to ch
a
ng
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
cloog_loo
p
_
sim
p
lify:
si
m
plify un
i
ons before simp
l
ifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
e
n
Verdoola
e
ge
cloog
_
loop_generate: d
e
tect compone
n
ts and genera
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
update
i
sl for is
l
_set_follows_at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdo
o
laeg
e
cloog_loop_gen
e
rate: continue
r
e
cur
s
ing even if o
n
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Verdoo
l
aege
cloog_loop_generate
:
do
n
't pr
o
ject in
"
s
c
alar" ca
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
er
d
oolaege
cloog_l
o
op_generate: split off restriction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sv
e
n Ver
d
oolaege
cloog_loop
_
gen
e
rate: separa
t
e
res
t
r
icti
o
n and
p
ro
j
ecti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
s
our
c
e/loop
.
c: separate out level_is_c
o
nstant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
er
d
oo
l
aege
c
l
oog_loop_sor
t
:
separate
out cloog_lo
o
p_c
o
unt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdool
a
e
g
e
source/loop
.
c: drop redundant con
t
ext arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sv
e
n Verdoolaege
source/loop
.
c: drop redundant nb
_
par a
r
gument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
erd
o
olaege
i
m
plement cloog_loop_scalar_eq i
n
t
e
rms of c
l
oo
g
_loop_consta
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
fix implementation
of
c
l
oog_
l
oop_
s
calar_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
V
e
rdoolaege
sou
r
c
e
/isl/domain
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven
Verdool
a
ege
c
l
oog_lo
o
p
_
ne
s
t: also introdu
c
e a nesting for the deepest
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
erdo
o
laege
cloog_loo
p
_nes
t
: ma
k
e loop disjoint before
inserting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Ve
r
do
o
l
ae
g
e
cloog_loop_
d
isjoint: fix over-eager o
p
timiz
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
upd
a
te
i
sl
f
o
r
f
ix in
gist c
o
mputation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdool
a
ege
update isl for fix i
n
co
n
vex hull computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
u
pdate
isl for
i
mprove
d
set
d
ifferenc
e
imple
m
entation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
S
v
e
n Verdoolaege
isl backend: d
e
tect equalities on al
l
sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
d
oolaeg
e
onl
y
turn o
n
warnings in t
o
p level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
erdo
o
laege
don't construct
guar
d
s on
e
x
pressions
t
hat
t
urn out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oo
l
aege
k
eep
track
o
f offsets of
s
tride
d
lo
o
ps
a
nd
u
se the
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolae
g
e
PolyLib ba
c
k
e
nd: clean up sim
p
lificat
i
on of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdoolaege
add
z
ero to
C
loogStat
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
S
v
en V
e
rdo
o
laege
add cl
o
o
g
_int_le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next