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
update isl for "==" tokens
2011-09-18
Sven V
e
rd
o
o
l
aeg
e
update isl for "
=
=" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Ver
d
oola
e
ge
u
pda
t
e
isl
f
or ch
a
nge in is
l
_basic_set_read_fro
m
_
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
upd
a
te cloog for include
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaege
update
isl for remo
v
al of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
updat
e
i
sl for cha
n
ge in
i
sl_{in,}equality_
a
llo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolae
g
e
update pet
f
o
r compatibil
i
t
y w
i
th recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ve
r
doolaeg
e
u
pdat
e
is
l
-polyli
b
for
in
c
l
ude path orderi
n
g iss
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verdoolaege
upd
a
te isl for c
h
a
n
ge in s
p
ace of isl_pw_*
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verd
o
o
l
aege
u
pdate isl for
e
x
p
l
icit
p
arame
t
er sp
a
ce
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
V
e
rdo
o
laege
iscc:
p
roperly ha
n
dle app
l
ications
o
f func
t
ions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Ve
r
d
o
ol
a
eg
e
isl_uni
o
n_set_appl
y
_unio
n
_
pw_qpolynomi
a
l: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
i
s
l_
p
w
_q
p
olynomial_s
u
m: simplify constructio
n
of targ
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
r
do
o
laege
isl_set_c
a
rd: explicitly proj
e
ct result onto parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
e
g
e
barvinok_summate
.
c: verify_point: ex
p
licitl
y
project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
test_
b
o
u
nd
.
c: avoid
us
e
of undocumen
t
ed isl_set_re
m
ove
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verd
o
o
laege
isl_basi
c
_set_lattice_width
:
co
m
pu
t
e co
r
rect space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdool
a
ege
up
d
a
t
e isl for isl_
p
w_qpolynomial_project
_
domain_on_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven
V
e
r
do
o
laege
upda
t
e cloog
for not using und
o
cume
n
ted isl_set_e
x
ten
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Ve
r
dool
a
ege
update isl-
p
oly
l
ib for ren
a
me of
i
s
l
_
dim to isl_s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
r
doolaege
update
i
sl for ren
a
me of
isl_dim to
isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Ver
d
o
olaege
update isl-polylib for
s
ome fixe
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaege
update pet for use of i
s
l
_map_has_tupl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
upd
a
t
e is
l
for isl_
m
ap_h
a
s_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdool
a
ege
upda
t
e isl for
rename
o
f is
l
_
m
ap
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
upd
a
te i
s
l for cha
n
ge
i
n
isl_af
f
_f
l
o
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erd
o
ol
a
eg
e
update pet for compatibility with
latest clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
update isl for fix in i
s
l_map_intersec
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
ven Verdoolaeg
e
is
c
c: add parse_file
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Ver
d
oolaege
add
p
et
submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
erdoolaege
update isl for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verd
o
olaege
pri
v
ately
export isl
_
str_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdo
o
la
e
ge
iscc:
only pri
n
t valid
resul
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verd
o
o
l
a
eg
e
barvinok 0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven
V
erdoolaege
updat
e
cl
o
og to v
e
rsion 0
.
1
6
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolae
g
e
update
isl to version 0
.
0
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaeg
e
aut
o
gen
.
sh: replace superpro
j
ec
t
p
a
rt by
call to autoreconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
ven Verdoolae
g
e
confi
g
ure
.
a
c: use no
n
-
d
eprecated form of A
M
_IN
I
T_AUT
O
MAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdool
a
ege
rename conf
i
gure
.
in to configu
r
e
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
e
n Verdoolaege
u
pda
t
e
c
loog for
n
o
t depen
d
ing on inte
r
nal repr
e
senation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
t
est: us
e
isl
i
nterface for t
e
sting lattice widths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoo
l
aege
iscc: add lattice_width
operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n
Ver
d
oolaege
iscc:
r
eplace sch
e
dule_band
s
by
s
chedule_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
u
pdate isl fo
r
f
i
x in isl_schedule interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdool
a
ege
u
p
date cloog for
a
d
d
i
tion of m
i
ssing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaege
i
s
cc: a
c
cept empty l
i
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
r
e
mo
v
e
e
val
u
e_split_
p
eri
o
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolae
g
e
drop evalu
e
_con
v
ert
a
pplicati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
le
x
mi
n
.
c
c: a
d
d missi
n
g return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erd
o
o
laege
ve
r
ify
.
c
: add missing
r
eturns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
evalue_read
.
c: stream_pu
s
h
_token: fix r
e
t
u
rn t
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
doolaege
e
value_read
.
c: add
missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
evalu
e
_
r
e
ad
.
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdo
o
laege
isl_ob
j
_list_print:
properl
y
retur
n
isl
_
p
rin
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_obj_li
s
t
.
h:
u
se
f
lex
ar
r
a
y
member to
avoid array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
update isl for
r
e
n
a
m
ing of isl_qpolynomi
a
l
_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olae
g
e
ba
r
v
i
n
ok_
s
ummate: be more care
f
u
l
about spaces in
wh
i
ch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
summate
.
c
:
a
d
d
missing
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
ba
r
vinok
.
c
c: add
missin
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
Change l
i
c
e
nse from GPL 2
.
0 to G
P
L
2
.
0
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
en Verdoolaege
evalue_isl
.
c
:
a
dd missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
add c
l
oog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
e
n Verdoolaege
up
d
a
t
e
isl for c
l
oog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
isl_obj_
l
i
s
t
.
c: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven
V
e
rdoolaege
iscc: turn on sh
option w
h
en ca
l
ling
CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
evalue_isl
.
c: a
v
oid use of isl_di
v
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
upd
a
te isl for is
l
_d
i
v_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
configure
.
a
c
:
don't depend o
n
a
u
tomake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
do
o
laege
is
c
c
: add schedule and schedule_
b
ands
o
p
erati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: a
d
d so
l
utions o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdo
o
laege
is
c
c:
a
dd
c
oeff
i
cients operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
iscc: add lift ope
r
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
V
e
rdo
o
laege
i
s
cc:
p
erform
assignments even
o
n
er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
iscc: plug memory
l
e
ak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven
V
erdoolaege
use sile
n
t make
rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
barvin
o
k 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
e
g
e
iscc
.
c: fix typo which
wou
l
d prevent compi
l
a
t
ion
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
l
aege
u
p
date isl to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
i
s
l
_
pw_qp
o
lynomial_sum: handle existentials in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
drop
p
i
p
lib submodu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
stop
usin
g
pi
p
as LP s
o
lver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verd
o
olaege
d
o
c: constrain
t
s no longer need to be s
p
e
cifi
e
d in DN
F
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
iscc:
p
a
rse lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rd
o
olaege
add isl_lis
t
_add_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
l
a
eg
e
iscc
:
parse booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolae
g
e
iscc: al
l
ow
interruption o
f
computation fro
m
the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
S
v
e
n Verdoolaege
avoid use of
i
sl_ctx in
t
e
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
isl_obj_st
r
: print quotes
a
r
o
und string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
iscc: keep track of in
t
ermediate results in interactive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
iscc:
a
d
d pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
iscc: add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
S
ven
V
er
d
oolaege
iscc: add d
e
l
t
as_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
l
exmin: assume unknowns an
d
pa
r
ame
t
ers ar
e
n
o
n-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ver
d
oola
e
ge
l
e
xmi
n
: us
e
isl t
o
re
a
d i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ver
d
oolaege
al
s
o p
e
r
f
orm l
e
x
min check in absence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
polysign: add isl-backed
v
ersion and use i
t
by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
update i
s
l-polylib fo
r
fix
in header
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
doolaege
u
p
date isl for change i
n
isl_flow_get_no_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdo
o
la
e
ge
doc:
d
ocument isl m
o
dul
o
notati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
i
s
c
c
:
r
ead_line:
f
ix ret
u
rn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
evalue_isl
.
c: f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next