repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
reduce_domain.c: include barvinok/barvinok.h for barvinok_count_with_options
2011-10-12
S
ve
n
Verdoolae
g
e
reduce_doma
i
n
.
c: inclu
d
e
barvinok/barvinok
.
h for b
a
rvinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verdoo
l
a
eg
e
e
v
alue_isl
.
c
:
r
e
lation2p
w
qp
:
pro
p
erly
handle p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Verdoolaege
barvinok_enu
m
era
t
e
.
cc: verif
y
_isl: properly han
d
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolaeg
e
add isl
.
py t
a
rget
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdo
o
laege
exp
o
rt some
f
unction
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoola
e
ge
configure
.
ac: set ISL_B
U
I
LDDIR also i
n
case
o
f bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Ver
d
oolaege
upd
a
te i
s
l for e
x
tract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
T
obias Grosser
isc
c
:
use clo
o
g_union_doma
i
n_from_isl
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
u
pdate isl
for change in isl
_
pw_aff
_
set_t
u
ple_
i
d prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
include pet i
n
d
ist
r
ibutio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verd
o
ol
a
ege
update p
e
t for fix i
n
dist
r
ibution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n
Verdoolaege
u
pdate isl for isl_set_from
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Ver
d
oolaege
drop omeg
a
s
u
b
module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
configure
.
ac: take into account prefix of system
o
m
e
ga
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
update
i
sl
for f
i
x in factorization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ver
d
oolaege
ad
d
some iscc tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n
V
e
rdoolaege
i
s
cc: only print new line if something was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoolaege
iscc:
a
dd "as
s
e
r
t
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verdoolaege
i
s
c
c
:
add == operatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n
V
erdoola
e
ge
iscc:
c
all_bin_op: handle binary tes
t
ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verdoolaege
iscc: ex
t
r
a
ct out cal
l
_bi
n
_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verdoolaege
update
isl for
"==" t
o
kens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
upda
t
e isl for change in isl_basic_
s
et_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdool
a
ege
update cloog for include fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
u
pdat
e
isl for removal of
i
s
l_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdool
a
ege
u
p
da
t
e
isl
f
or cha
n
g
e in isl_{in,}eq
u
a
lity_
a
lloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update
p
e
t fo
r
compatib
i
lity with r
e
cent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
u
p
d
a
te is
l
-pol
y
lib for include path ordering iss
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verd
o
o
l
aege
update isl for c
h
ange in spa
c
e of isl_pw_
*
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdo
o
laege
upda
t
e
is
l
for explicit parame
t
er spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
v
e
n
Ver
d
oolae
g
e
i
scc: proper
l
y
handle
a
p
plications of funct
i
ons on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
ge
isl_union_set_appl
y
_
union_pw_qp
o
ly
n
omial: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ver
d
oolae
g
e
isl_pw_qpolynomial_su
m
: simp
l
ify construction of targ
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_set_card: explic
i
tly p
r
o
j
ect
r
esult onto param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
ba
r
vinok_summate
.
c: veri
f
y_point: expli
c
i
tly pr
o
ject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
t
est_bo
u
nd
.
c
:
avoid use
o
f undocu
m
ented isl_set_re
m
ove_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_basic
_
set_lattic
e
_width
:
compute cor
r
e
ct sp
a
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoo
l
aege
update
isl for isl_pw_
q
p
o
lynomial_p
r
oject_doma
i
n_on_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ve
r
d
oolaege
update
c
l
oog for not using undocumented
isl_set_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
upd
a
te isl-pol
y
l
i
b for rename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oola
e
ge
up
d
a
t
e is
l
for renam
e
of isl_dim to isl_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaeg
e
u
p
date
i
sl-polylib for some fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
upd
a
te pet for use
o
f isl_map_has_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n V
e
rdoolaeg
e
update isl for isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olae
g
e
u
p
date
isl for r
e
name of isl_map_i
n
sert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdo
o
l
aege
update isl for change
in isl_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
u
pdate pet f
o
r
compa
t
ibili
t
y
with
l
atest cla
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ve
n
Verdoolaege
update
isl
f
or fix in isl_map_inters
e
c
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Ver
d
oolaege
is
c
c: add
parse_file
o
pera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
ven Verdoolaege
add pet submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
Verd
o
olaege
upd
a
te isl for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
ven Verdool
a
ege
p
r
ivate
l
y export isl_str_fre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ver
d
oola
e
ge
iscc: only prin
t
valid results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
S
v
e
n Ver
d
oolae
g
e
barvinok
0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven
V
er
d
oolaege
update cloog
to version 0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaege
up
d
ate isl to ver
s
i
on
0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sv
e
n Verdool
a
ege
a
u
togen
.
s
h
: replace s
u
p
e
r
project
part b
y
call to autoreconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
e
n
V
erd
o
olaege
configure
.
ac:
u
se non-deprecated form of AM_INIT_AUTOMA
K
E
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
re
n
a
m
e co
n
figure
.
in to configure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sv
e
n Verdool
a
e
g
e
update
c
l
o
o
g
for n
o
t depending on internal represenat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
er
d
o
o
laege
test:
u
s
e isl in
t
erfa
c
e for testi
n
g lattice wi
d
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaeg
e
iscc: add lattice_
w
idth
op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
iscc: rep
l
ace s
c
hed
u
le_ba
n
ds by schedule
_
f
o
rest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
g
e
upd
a
te isl f
o
r
fix in isl_schedule interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
updat
e
cl
o
og for ad
d
ition o
f
missi
n
g include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Ver
d
oolae
g
e
iscc: accept empty lis
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoola
e
ge
remove eval
u
e_split_peri
o
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdo
o
laege
drop evalue_conve
r
t applica
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
lexmin
.
cc: add miss
i
ng re
t
urn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdo
o
laege
verify
.
c: a
d
d missing retur
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
ev
a
lue_r
e
a
d
.
c: stream_push_token: fi
x
r
eturn
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdo
o
laege
evalue_read
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
eva
l
ue_read
.
c: fix
ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_obj_list_p
r
int:
properly return isl_printe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_obj_list
.
h: use flex
a
r
ra
y
member to avoid a
r
ray
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
updat
e
isl for r
e
n
a
ming
of isl_qpolynom
i
al_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
b
arvinok_sum
m
ate: b
e
more care
f
ul about spaces i
n
which
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdo
o
laege
summa
t
e
.
c:
a
dd m
i
ssing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdo
o
laeg
e
barvinok
.
cc:
a
dd missin
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
Cha
n
ge license f
r
om GPL 2
.
0 to GPL 2
.
0+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdool
a
ege
evalue_isl
.
c
:
add missing incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolae
g
e
add
c
l
oog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven
Verdo
o
laege
u
pdate isl for
c
l
o
o
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
en
V
erdoolaege
isl_
o
b
j_list
.
c
:
fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
S
v
e
n Verdoolaeg
e
isc
c
: turn on sh option when calling CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
ev
a
lue_isl
.
c
:
avoid
u
se of is
l
_div int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
upd
a
te isl for isl
_
div_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
configure
.
ac: don't depend on
a
utomake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verd
o
ola
e
g
e
i
s
cc: a
d
d schedule and sche
d
u
l
e
_band
s
operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
erdoolaege
iscc: add solutio
n
s op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
iscc
:
ad
d
coeffici
e
nt
s
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
iscc: add lift operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
er
d
oolaege
i
scc:
p
e
rform a
s
s
i
gnments even on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc:
p
l
ug memory leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoolaege
u
s
e
silent make rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
barv
i
nok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
iscc
.
c
: f
i
x typo which
w
oul
d
prevent compilation in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
update
isl to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_pw_qpolynomial_sum: handle
ex
i
st
e
n
t
ials in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolae
g
e
drop
piplib
s
u
b
m
o
d
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next