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 pet for support for recent clangs
2011-09-04
Sven Verdoolaege
update cloog for not using undocu
m
ente
d
isl_
s
et_exte
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update is
l
-
polylib
fo
r
rename of isl_dim to isl_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
r
doolaege
up
d
ate isl for rename
o
f isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
u
pdate isl-polyli
b
for
some fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Ver
d
ool
a
ege
upda
t
e pet
for u
s
e of isl_map
_
has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
update i
s
l
f
o
r isl_ma
p
_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
up
d
ate isl for rename of
i
s
l_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
u
p
d
ate isl for
cha
n
g
e
in isl_aff_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
ool
a
e
ge
update pet fo
r
compatibi
l
ity with la
t
es
t
c
lang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
date isl for fix in isl_map
_
int
e
rsec
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
iscc: add p
a
rse_file operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
er
d
oolaege
add pet subm
o
du
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaeg
e
updat
e
isl
f
or
p
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
pri
v
ately expo
r
t isl_str_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sv
e
n Verdoolaege
iscc: only
p
rint val
i
d resu
l
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven V
e
rdoolaege
barvinok 0
.
34
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdool
a
ege
upd
a
t
e cloog to
v
e
rsion 0
.
16
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaege
upd
a
t
e isl
t
o version 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven
V
e
r
d
oolaege
autogen
.
s
h
: replace super
p
roject par
t
by c
a
ll to autoreconf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven
Verdoolaege
config
u
r
e
.
a
c: use non-deprecated f
o
rm of AM_IN
I
T_AUT
O
MAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sve
n
Ve
r
doolaege
rename configure
.
in to configure
.
ac
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
S
v
e
n Verdoolaege
update cloog for not depending o
n
internal repres
e
nation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdool
a
ege
t
est:
u
se isl
inte
r
f
a
ce
f
or testing lattic
e
w
i
d
t
h
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
doolaege
is
c
c: add lattice_w
i
dth o
p
er
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
iscc: repl
a
ce sc
h
edule
_
bands by schedule_forest
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
update isl for fi
x
in is
l
_sched
u
le interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
up
d
a
t
e
c
loog for addition of missi
n
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
i
s
cc: acce
p
t empty li
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
r
d
o
olaege
re
m
ove evalue_s
p
lit_periods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
drop eval
u
e_convert applicat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
lex
m
in
.
cc:
a
dd mi
s
si
n
g retur
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
doolaege
verify
.
c: add mi
s
si
n
g returns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
evalue_read
.
c
: stream_push_toke
n
: fix return type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdo
o
laege
evalue_r
e
ad
.
c: add missing inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdool
a
e
g
e
eva
l
ue_re
a
d
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rd
o
olaege
i
sl_obj_
l
ist_print:
p
roperly return
i
sl_printe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoola
e
ge
isl_ob
j
_list
.
h: us
e
f
lex array m
e
mber to avoi
d
array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erd
o
ol
a
ege
update isl
for re
n
aming o
f
isl
_
q
p
oly
n
omi
a
l_is_e
q
u
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolae
g
e
b
arvinok_
s
ummate:
be more car
e
ful about spaces in which
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdoolaege
summate
.
c
: ad
d
mis
s
ing i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaeg
e
barvinok
.
cc: add mi
s
sing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
C
h
a
n
ge license
f
rom GPL
2
.
0 to GPL 2
.
0+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven V
e
rdool
a
ege
evalue_isl
.
c: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoola
e
g
e
a
dd
clo
o
g submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
S
ven
V
erdool
a
ege
u
p
date isl for
cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven V
e
rd
o
o
l
aege
isl_obj_list
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdo
o
laege
iscc:
t
u
r
n on sh option when calling C
L
ooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
evalue
_
isl
.
c: avoid use
o
f isl
_
d
iv internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
update
i
s
l
for isl_div
_
get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdo
o
laege
c
onfigure
.
ac: d
o
n't d
e
pend on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolae
g
e
iscc: add schedule a
n
d sche
d
ule_bands
o
pe
r
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
i
scc: add soluti
o
ns operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: add coe
f
ficients operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
ola
e
ge
iscc:
ad
d
lift operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ve
n
Ve
r
dool
a
ege
is
c
c: p
e
rform assignments even on err
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
iscc: p
l
ug
memory
leak on
error
p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven Ve
r
doolae
g
e
use silent mak
e
rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
bar
v
in
o
k
0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoola
e
ge
iscc
.
c: fix typ
o
which would
p
rev
e
nt com
p
ilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaeg
e
update i
s
l
to
v
ersi
o
n 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_pw_qpolynomial_sum: handle existenti
a
ls in
n
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
dr
o
p pip
l
ib submo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
stop using pip as
LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoo
l
a
e
g
e
doc: constra
i
nts no longer need to be specif
i
ed in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
iscc
:
par
s
e lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
Ve
r
doolaege
add isl_list_add_o
b
j
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
c
c:
p
a
rse boolean
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
doolaege
iscc: allow interruption
of comput
a
tio
n
fr
o
m
t
h
e
k
e
yboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
S
ven Ve
r
doolaege
avoid use
of isl_ctx
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_obj_st
r
:
p
rint
quotes around string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: keep tra
c
k of inte
r
m
e
dia
t
e results in in
t
eractive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoolaeg
e
iscc
:
add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven
Verdoolaege
i
scc:
a
d
d
deltas_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdo
o
la
e
ge
lexmin: assume unk
n
o
wn
s
a
nd
param
e
ter
s
are non-n
e
ga
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
g
e
lexm
i
n:
use isl to
read i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
also
perform lexmin check in abs
e
nce of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Ve
r
do
o
la
e
ge
pol
y
s
i
gn: add isl
-
b
acke
d
vers
i
on and
u
s
e it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
update i
s
l-polylib
for
f
ix in he
a
der file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
er
d
oolaege
up
d
ate isl for change in isl_flow_get_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
ven Verdoolae
g
e
doc: doc
u
ment isl modul
o
n
o
tati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
Makefile
.
am: put
N
TL C
F
LAGS after isl CFLA
G
S
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
iscc: read_line: f
i
x return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
evalue_isl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdo
o
la
e
ge
iscc: add operation
s
on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ver
d
oolae
g
e
update
is
l
f
or
i
n
troduction of int
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Ver
d
o
o
laege
a
dd is
l
_
b
asi
c
_set_card and is
l
_basi
c
_m
a
p_c
a
rd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
document is
l
_union_set_appl
y
_un
i
on_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
r
emove
polyhedron_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verd
o
olaege
r
emove
p
o
ly
t
ope_m
i
nimize application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
la
e
ge
P
olyh
e
dron_
S
ample: use i
s
l
un
c
onditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
rdo
o
lae
g
e
build l
i
bisl
a
nd l
i
bp
o
lylibgmp before libisl-
p
o
lylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Ve
r
doolaege
is
c
c: sup
p
ort appl
i
cation o
f
piecewise qu
a
sipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
doc
:
fix documentation of join
o
f maps an
d
fo
l
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolae
g
e
ad
d
isl_union_set_apply_
u
nion_pw_qpoly
n
o
m
ial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
update
i
s
l
f
o
r e
x
port o
f
isl_un
i
on_map_fr
o
m_ra
n
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
is
c
c: add
write operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
iscc: opt
i
onally disable r
e
ad operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc: e
x
p
lain comma operato
r
in a set
description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next