repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
README: urge bug reporters to always mention the barvinok version
2016-05-15
Sve
n
V
erdoolaeg
e
RE
A
DME: urge bug reporters to always ment
i
on the b
a
r
v
inok
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
S
ven Verdoolaeg
e
update pet to v
e
r
sion 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoo
l
a
ege
u
pdate
isl to versio
n
0
.
17
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-29
S
v
en Verdoola
e
g
e
Polyhedron_Factor:
make sure group info
r
mation gets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-24
Sve
n
Ver
d
o
o
l
a
ege
add get
_
submodules
.
sh
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-06
Sven
V
e
rdoolaege
update p
o
l
y
lib f
o
r
.
gitignore
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sve
n
Ve
r
doolae
g
e
barv
i
n
ok 0
.
39
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven Ve
r
do
o
laege
update pet to ver
s
i
o
n 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven Verdoola
e
ge
update is
l
t
o
v
e
rsion 0
.
16
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-12
Sven Verdool
a
ege
update
A
U
THORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sv
e
n
Ver
d
o
o
laege
update pe
t
for python int
e
rface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdool
a
ege
introduce special
version
o
f isl
.
p
y
.
top for u
s
e with pe
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sve
n
Verdoolaege
upd
a
te
p
et for isl_ctx_al
l
oc_with_pet_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sven Ve
r
doolae
g
e
isl
.
py: always
ex
t
end v
e
r
sion from core isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sve
n
Verdoolaege
rename
inter
f
ace/all
.
h to interfac
e
/all_
b
arvinok
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sven
Verdoolaege
update isl for changes in
h
ow sets an
d
relat
i
ons are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
iscc
.
c
: use pet_sco
p
_get_sche
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoola
e
ge
u
pdate
p
et for p
e
t_sco
p
_get_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdool
a
ege
update pet for rename of pet_sc
o
p_co
l
l
ect_*
t
o pet_sc
o
p_g
e
t_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-16
Sven Ver
d
ool
a
ege
update isl for
i
sl_schedule_gist_domain_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-16
Sven Verdoola
e
ge
.
git
i
gnore: add more
l
i
b
tool tempo
r
ary files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-16
Sven Verdo
o
l
a
ege
specify subdir-obj
e
c
t
s
optio
n
for forward
co
m
patibility
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-16
S
v
en Verdoolaege
configure
.
a
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-08
Sven
Verdoola
e
ge
isc
c
:
p
arse_file: remove instances from kill statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-08
Sven Verdoo
l
a
e
ge
iscc
:
tu
r
n o
n
-
-
p
e
t-
e
nc
a
psulate-dy
n
amic
-
control
b
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-08
Sven Ve
r
doolaege
iscc: add
o
perat
i
o
n
s on booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-07
S
v
en Verdoolaege
iscc: add
"-
>
-" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoolaeg
e
iscc: add "-"
o
peration on map
and set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-07
Sven
V
erdoolae
g
e
iscc:
ad
d
"->*"
o
perati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-05
S
v
e
n Ver
d
o
o
laege
doc: u
p
date docume
n
tation of "last" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-31
Sven Ve
r
doolaege
updat
e
i
sl for ch
a
nge i
n
i
sl_
m
ap_g
i
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdo
o
l
a
e
ge
upda
t
e pe
t
f
o
r support for r
e
cent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-24
Sven
V
erdoolaege
u
p
d
at
e
isl
for support for recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n
Verdoolaege
h
a
n
d
le change in internal repr
e
sentation of NTL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
S
v
en Verdo
o
l
aege
assu
m
e NTL has
b
een compiled
i
n
ISO mode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
S
v
en
Verdoolaege
configure
.
ac: e
x
trac
t
out
A
X_CH
E
C
K_NTL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
barvin
o
k
0
.
38
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
u
p
dat
e
A
U
THORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven V
e
rd
o
ol
a
ege
u
p
dat
e
pet to version 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ve
r
d
o
olaege
replace isl_
{
,
i
n}equality_alloc by isl_constraint
_
all
o
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
updat
e
i
s
l to version 0
.
15
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoo
l
aege
i
scc: parse_file: return schedule
i
n schedule tree
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
iscc: dr
o
p sch
e
dule_fores
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc: schedule:
r
eturn
s
c
hedule in
s
chedule tre
e
re
p
resentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc:
a
l
l
o
w implicit conv
e
rsion from
s
c
h
edule
t
o u
n
ion map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
ven Verdoola
e
ge
iscc: allow explicit
conv
e
rsion
f
r
om schedul
e
to
u
nion
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
o
l
aege
iscc:
a
dd
d
omain o
p
era
t
io
n
on s
c
h
e
dules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
v
e
n
Verdoolae
g
e
iscc: pr
i
nt schedules in block
f
o
rm
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ver
d
oolaege
iscc
.
c: read_line: ex
t
ract out print_
o
bj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolae
g
e
iscc: codeg
e
n: ac
c
e
pt schedule as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ve
r
doolaeg
e
iscc
.
c
.
:
split up
p
r
i
nt_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
l
aege
iscc: support sch
e
dule
trees in
de
p
e
n
d
e
nce a
n
al
y
sis
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verdoola
e
ge
iscc
.
c: extract out c
o
m
mon acces
s
_info_set_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdoolaeg
e
iscc: typeo
f
: recogn
i
ze
schedule
o
b
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoo
l
a
ege
iscc
.
c: use isl_u
n
ion
_
acc
e
s
s_info_compute
_
flow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdoolaege
add depend
e
n
c
e analys
i
s
tests for
i
scc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
i
s
c
c:
add "lb" op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Ve
r
doolaeg
e
u
p
date isl for
r
e
name of
i
sl_s
c
h
e
dule_map_schedu
l
e_node
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sv
e
n
V
erdoolaege
u
pdate
i
s
l
for introduct
i
on of isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoo
l
aege
is
c
c
.
c:
avoid use of isl_bool_* identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
Verdool
a
ege
tests
/
iscc/sum4: compar
e
N
a
N
aga
i
nst
str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdool
a
ege
is
c
c
:
add equality
operat
i
on on
strings
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoola
e
ge
update pet for di
r
e
ct h
e
ader in
c
l
u
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
ven V
e
rdoolaege
up
d
ate i
s
l for
replace
m
ent of CLooG t
e
st cases with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven
V
erdoolaege
test_
a
pprox
.
c
: use fabs on double ins
t
ead of abs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoola
e
ge
hilbert
.
c:
a
d
d
m
i
s
sing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
S
ven V
e
rdoolaege
summate
.
c
:
di
r
e
ctly in
c
lud
e
requi
r
e
d
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoolaege
isl
_
ma
p
_p
o
l
ylib
.
h: include co
r
rect h
e
ader
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-17
S
v
e
n
V
e
rdoolaege
iscc
.
c: vertices: avoid uninitialized re
a
d on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
iscc: avoid use
o
f pet_scop_collect_s
c
he
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
update pet for representing sche
d
ule as schedule tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
upda
t
e is
l
for
s
ufficient s
c
hedule tr
e
e support
for pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c: use isl_stream_g
e
t_ctx instead of reading c
t
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c: use isl_stream_i
s
_empty instead
o
f read
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sve
n
Verdoolaege
u
pdate is
l
for is
l
_st
r
eam_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoo
l
aege
u
pdate
p
e
t for support for rece
n
t cl
a
ng
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
Ver
d
oo
l
aege
update isl for su
p
port for
r
e
c
ent c
l
ang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
S
v
en Verdoolaege
s
u
mmate
.
c: avoid u
s
e of isl_union_p
w
_qpolynomial_add_pw_qpol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaeg
e
barvinok
.
cc: avoid us
e
o
f isl_union_pw_qpolynomial_add_p
w
_qp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
S
ven Verdoolaege
isl_unio
n
_set
_
lattice
_
w
idth: check
w
h
e
ther input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoo
l
aeg
e
s
ummate
.
c: join_compatible: avoid use of u
n
documented
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven
V
erdoolaege
s
u
mmate
.
c:
join_compa
t
ible: rename "dim" v
a
r
iable
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verd
o
olaege
upda
t
e pet to ve
r
sion 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaege
update i
s
l to version 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sv
e
n
V
erdoolaege
R
E
ADME
:
upda
t
e contact information
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sven Ver
d
o
o
laege
u
pdate isl
f
or change in isl_map_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sve
n
Verd
o
olaege
u
p
date pet f
o
r suppo
r
t f
o
r recent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolae
g
e
u
p
date
isl for supp
o
r
t
f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
erdo
o
laege
lattice_widt
h
.
c:
a
v
o
id use of deprec
a
t
ed function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
Sven Verdool
a
eg
e
barvin
o
k
_enumerate_w
i
t
h_opti
o
ns
:
ha
n
dle co
n
tex
t
c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Ver
d
oolaege
d
oc: add another
paper
refering to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoo
l
aege
i
s
l
_
P
o
l
y
h
edron_Re
d
u
c
ed
_
Basis: avoid
double free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
Sven
Verd
o
olaeg
e
iscc: also
disallow so
u
rce operation
when
--
n
o
-
io
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
barvin
o
k
0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
u
pd
a
te
pet t
o
version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
ol
a
ege
update isl to version 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven Verdoolaege
up
d
ate
pe
t
for sorting of arr
a
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Ver
d
ool
a
ege
isl_param_util
.
c:
drop expr
2
vertex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
update isl for ch
a
nge i
n
isl_vertex
i
nspectors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oolaege
add
isl
_
multi_
a
ff_to_polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next