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 change in isl_map_subtract
2014-10-09
Sven Ve
r
do
o
laege
up
d
ate
isl
for
c
hange in isl_
m
a
p
_
subtrac
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
S
ven
V
erd
o
o
l
aege
update pet fo
r
support for rec
e
nt cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
Verdoolaege
update i
s
l fo
r
support f
o
r
r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ve
r
doolaege
lattic
e
_width
.
c: avoid use of deprecate
d
f
unction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
S
v
en Verdoolaege
b
arvinok_en
u
m
e
r
ate_with_opt
i
o
n
s: handle
context constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sv
e
n Verdoola
e
ge
doc: add another paper refering to
the
l
ibrary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
S
v
en Verdoolaege
i
s
l
_Polyhedron_Reduc
e
d
_Basi
s
: avoid
d
o
u
ble
f
r
ee of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-03
Thomas K
a
hle
Update the glpk call
s
t
o
the new glp_ API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
S
v
en Verdool
a
ege
i
scc: also disal
l
ow source operation when --no-io is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
barvi
n
o
k
0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Ve
r
doolaege
update pet to versio
n
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaeg
e
update isl to ve
r
s
i
o
n 0
.
13
commit
|
commitdiff
|
tree
2014-04-13
T
obias
Gross
e
r
Add missing include of
is
l
/a
f
f
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-04
Sven
V
erdo
o
laege
update pet for
s
orting of arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
isl_param_util
.
c
: d
r
op expr2ve
r
tex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
up
d
ate isl for change in isl_ve
r
tex inspec
t
ors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoola
e
g
e
a
dd
i
sl_multi
_
aff_to_polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven
V
erdoolaege
iscc: add m
i
nima
l
su
p
port
f
or isl_obj_pw_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
S
ven
Verdo
o
laege
update isl for isl
_
obj_pw_mult
i
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdool
a
ege
gen
_
fu
n
:
:add_union: contex
t
o
f result should be the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
S
v
en Verdoola
e
g
e
redu
c
e_
e
value: reduce po
l
ynomial
expres
s
i
o
ns in denominator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sve
n
Verdoolaege
up
d
ate pet for support for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sve
n
V
erdoolaeg
e
update isl for
s
u
pport
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdool
a
ege
update pet f
o
r chang
e
in p
e
t_scop_collect_{reads,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven
V
er
d
oolaege
u
pdate isl for isl_id_to_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdo
o
laeg
e
c
o
nfi
g
ure
.
ac: u
s
e AX_DETECT_GIT_
H
EAD i
n
s
tead
o
f
i
n
lined
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
Sven Ver
d
oolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven
V
erdoolaege
AX_SUB
M
ODULE: allow
.
g
i
t
f
i
le in s
u
bmodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Ve
r
doolaege
u
p
date
pet for support
f
or
r
ecent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update isl for supp
o
rt
for
r
ece
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdool
a
e
g
e
ver
i
fy_poin
t
_da
t
a_init: use isl_set_card to count elements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
S
ve
n
Ve
r
d
oolaege
te
s
t_approx: r
e
turn EXIT_FAILUR
E
on e
r
r
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
test_approx
:
u
se isl interf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
S
v
en Verdoolaege
cl
e
an up test
s
/
e
hrha
r
t/* inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
S
v
en
V
erdoolaeg
e
evalue_isl
.
c: relation2pwq
p
:
h
an
d
le n
o
n-p
a
rametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoo
l
aege
upd
a
te
isl for
isl_*
_
eval returning an isl_val inste
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoo
l
aege
upd
a
te isl for
isl_stream_read_obj retu
r
ning isl_obj
_
val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sv
e
n
Verdoolaege
update pet to version 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sv
e
n V
e
rdoolaege
c
onfigure
.
ac:
repl
a
ce --with-libgmp
o
ption by --with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
v
en V
e
rdoolaege
update
isl to
version 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
iscc
.
c: avoid
use of isl
_
tok
e
n internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en
V
erdoolaege
evalue_isl
.
c
:
d
iv2evalue: u
s
e
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n Ve
r
doolaege
evalue_isl
.
c:
i
s
l
_pw_qpoly
n
omial_from_eval: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
evalue_i
s
l
.
c: isl_qpolynomial_from_eva
l
ue: use is
l
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c: extract_base: us
e
i
s
l_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
verify
.
c:
v
erify_point_
d
ata_init: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaeg
e
verif
y
.
c: verify_context_set_bounds: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdoolaege
uti
l
.
c:
m
anual_cou
n
t:
use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
test
_
bou
n
d
.
c
:
re
s
ult_data:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
test_bound
.
c: veri
f
y_poin
t
:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ver
d
oolae
g
e
sample
.
c: Polyhedron_Sample: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
polysign_isl
.
c: isl_co
n
s
traints_opt: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_
i
sl
.
c: isl_pol
y
h
e
dron
_
affine_sign: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
rdoolae
g
e
p
olys
i
gn_isl
.
c: extra
c
t_inequali
t
ies: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_isl
.
c: extract_equalities
:
u
se isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
i
s
cc
.
c
:
read_ide
n
t: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdo
o
laege
i
scc
.
c: obj_at_index: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
iscc
.
c: power: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c
: next_is_neg_int: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdool
a
ege
e
v
a
l
ue_isl
.
c: add_term: use
i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
evalue_isl
.
c: rela
t
ion2pw
q
p: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven V
e
r
doolae
g
e
bo
u
nd
.
c: split_on_size: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
bou
n
d
.
c:
verify_point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
basis_re
d
uction
.
c
:
i
sl_Polyhedron
_
Reduced_Basis: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
ol
a
ege
barvinok_summate
.
c: verify_point
:
use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
barv
i
nok_enumerat
e
.
cc: verify_point
:
us
e
i
s
l_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Ve
r
doolaege
barvinok
.
cc: card_as_sum: use
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdool
a
ege
isl_map_polylib
.
c:
us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
erdoolaege
u
pdate i
s
l
for isl_v
a
l
a
b
s
t
raction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoo
l
aege
integra
t
e
isl-polylib modu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n Verdoo
l
a
ege
barv
i
nok
_
en
u
merate
.
cc: e
x
plicitly include gmp t
o
avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoo
l
aege
barvinok
_
e
.
cc: explicitly i
n
c
l
ude gmp to avoid inclus
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
test_bound
.
c: result_dat
a
_
clear: r
e
move unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erd
o
o
l
aege
eval
u
e_i
s
l
.
c: avoid use of isl_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n Verdoolaege
test
.
c:
remove
r
edundant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sv
e
n
Verdoolaege
upd
a
te
isl
t
o v
e
rsion 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdoo
l
aege
eval
u
e_isl
.
c: avoid us
e
of is
l
_v
e
c
interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
ven Ve
r
doola
e
ge
update pet
for support for recen
t
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
u
pdate i
s
l for
support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaege
N
TL
_
QQ: use NTL's Vec template class when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_pw_qpolynom
i
a
l_sum: error out
i
f
i
n
p
ut does not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoolaeg
e
iscc
.
c: print_code: do not as
s
u
m
e
i
sl
_
un
i
on_m
a
p_get_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Ve
r
doolaege
vert
e
x_cone: che
c
k that dimension i
s
at l
e
ast o
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
bar
v
inok_sum_over_polyto
p
e:
s
pecial case
0
D polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Ver
d
oolaege
summate
.
c: sum_with_equalities: extract out su
m
_over_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoola
e
g
e
u
p
date is
l
to version 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
barvi
n
ok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
lexmin
.
cc:
l
exm
i
n: remove unu
s
e
d
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lat
t
i
ce_po
i
nt
.
c
c
: fra
c
tion
a
l_part: remove
u
n
u
s
e
d label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
t
es
t
lib
.
cc: test_
h
i
l
bert: fix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
iscc
.
c: re
a
d
_
b
o
o
l_
i
f_av
a
ila
b
l
e
:
remove unus
e
d label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
up
d
ate pet to version 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdool
a
ege
upd
a
te
i
sl to ver
s
ion 0
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolaege
README: refer to pet/RE
A
DME for more details on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
r
d
oolae
g
e
update pe
t
for
s
upport
f
or
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
rdoolaege
update isl for
support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
d
r
o
p
cloog sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdoolaeg
e
use is
l
for c
o
de g
e
nera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Ve
r
d
ool
a
e
g
e
update
i
sl for code gener
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sve
n
Verdoolaege
iscc
.
c:
a
dd m
i
ssing
includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next