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
barvinok 0.37
2014-04-14
Sven Verdoolae
g
e
barvin
o
k 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update p
e
t to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Ver
d
oola
e
ge
update isl to
v
ersion 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven Verdo
o
la
e
ge
update pet for s
o
rtin
g
of arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdo
o
laege
i
s
l
_param_u
t
i
l
.
c: d
r
op expr2vertex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdoo
l
aege
updat
e
i
s
l
for change in
isl_
v
ertex
inspec
t
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n
Verdoolaege
add is
l
_mul
t
i_aff_to
_
pol
y
lib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven
V
e
rdoolaege
iscc:
add minimal supp
o
rt for i
s
l
_obj_pw_
m
ulti_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sv
e
n
Verdoolaege
u
p
da
t
e
isl for isl_obj_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
gen_fun::add_unio
n
:
context of
result should b
e
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven V
e
rdool
a
ege
r
e
d
uce_ev
a
lue: reduce poly
n
omia
l
express
i
ons
i
n denominator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
upda
t
e
pet for sup
p
ort for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sve
n
V
erdool
a
ege
upda
t
e
i
sl for support
for r
e
cent
c
l
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Ve
r
doolae
g
e
update pet for c
h
ange
i
n pet_sco
p
_coll
e
ct_{
r
ead
s
,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verd
o
o
laege
update
i
s
l
fo
r
isl_id_to_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Ve
r
d
oo
l
aeg
e
co
n
f
i
gure
.
ac
:
use AX_DETECT_GIT_HEAD
i
nstead of
i
nlin
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven Verdoolaege
d
oc: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
S
ven Verdo
o
la
e
ge
AX_SUBMODULE: allo
w
.
g
i
t
fi
l
e
in submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven
Verdoola
e
ge
u
p
d
ate pet for support for recent
cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
up
d
a
t
e isl f
o
r
s
u
pp
o
rt for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n Verdool
a
ege
veri
f
y_point_data_init:
use isl_set_card
to count eleme
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
test_ap
p
rox: ret
u
rn EXIT_F
A
ILURE on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n Verdoola
e
ge
test_
a
p
prox
:
use isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolae
g
e
cle
a
n up tests
/
ehrhart/*
i
nputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ver
d
oo
l
aege
evalue_isl
.
c: relation2pwqp: han
d
le
n
o
n-par
a
met
r
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ve
r
doolae
g
e
upda
t
e isl for isl
_
*_ev
a
l returning an isl_val i
n
s
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ver
d
oolaege
update isl for isl_stream_read_obj
r
et
u
rning i
s
l
_obj_val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
Verdoo
l
aege
u
p
da
t
e p
e
t
t
o
version 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
Sven Ver
d
oo
l
a
e
ge
co
n
figur
e
.
ac: replace --with-libgmp
optio
n
by --with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdoolaege
update
i
sl to version
0
.
1
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: avoid use of isl_token int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
evalue_isl
.
c: div2evalue: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
evalue_isl
.
c
:
isl
_
pw_qpol
y
no
m
ial_from_eval:
u
se
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
erdool
a
ege
evalue_isl
.
c: isl_qpolynomial_from_evalue:
u
se isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verd
o
olaege
eva
l
ue_isl
.
c: extract_b
a
se:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdool
a
ege
veri
f
y
.
c: v
e
rif
y
_point_d
a
ta_init
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
verify
.
c: verify_context
_
s
et_
b
ounds: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
util
.
c: manual
_
coun
t
:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
test_bound
.
c: result_
d
ata: use isl
_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laeg
e
test_bound
.
c: verify_point: us
e
isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
s
a
mple
.
c: P
o
l
y
h
edron_Sample: use i
s
l
_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
polysign
_
isl
.
c
:
isl_constrai
n
ts_opt: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_isl
.
c: isl_polyhedro
n
_aff
i
ne_sign
:
use isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
pol
y
sign_isl
.
c: extract_inequalities: us
e
isl
_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
p
olysign_isl
.
c: extract_equalities:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
V
erdoo
l
a
e
ge
iscc
.
c: read_i
d
ent: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erd
o
olaege
iscc
.
c
: obj_at_index: u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
iscc
.
c: power: use i
s
l_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
iscc
.
c: next_is
_
neg_int:
use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolae
g
e
evalue
_
isl
.
c:
add_term: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verd
o
olaege
ev
a
lue_isl
.
c:
r
elation2pwqp: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
Verdoolaeg
e
bound
.
c
:
spli
t
_on_size: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
bound
.
c: ver
i
fy_point: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
basis_reduct
i
on
.
c: isl_Polyhedron_R
e
duced_Basis: use
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
barv
i
n
o
k_summate
.
c: verify_
p
oint:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdool
a
ege
barvinok_enumerate
.
cc: verify_point: u
s
e is
l
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
V
erdo
o
laege
barvinok
.
c
c
: card_as_sum
:
use
isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolae
g
e
i
s
l_ma
p
_polyl
i
b
.
c: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven V
e
r
doolaege
up
d
a
t
e isl for isl_val a
b
str
a
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
e
rdoolaege
integrate isl-
p
olylib module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
barvinok_enu
m
erat
e
.
cc: explicitly include gmp to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
Ve
r
doola
e
g
e
b
arvinok_e
.
cc: e
x
plicitly
include g
m
p
to
avo
i
d
inclusion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoola
e
ge
test_bo
u
n
d
.
c: r
e
su
l
t_
d
ata_clear: remov
e
un
u
s
e
d vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verdoolaege
evalue_i
s
l
.
c: avoi
d
use o
f
isl_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoolaege
test
.
c
:
remove re
d
undan
t
i
n
clud
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoola
e
ge
update isl to version 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
Sve
n
Verdoolae
g
e
evalue_isl
.
c
:
avoid use of isl_v
e
c internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven V
e
rd
o
olaege
upda
t
e pet
f
or support for rec
e
nt
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sve
n
Verdoolaege
update isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaeg
e
NTL_QQ: use NTL's Vec
template class when
a
vailable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolae
g
e
is
l
_
pw_qpolynomial_sum: e
r
ror out if inp
u
t does n
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sve
n
V
erdoolaege
isc
c
.
c: print_code
:
do not assume isl_un
i
on_map_get_space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven
Verdoolaege
ver
t
ex_cone: check that d
i
mension is at le
a
st
o
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
S
v
en Verdoo
l
aege
barvino
k
_sum_over_polytope: special case 0D polytope
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
S
v
en Verdoolaege
summ
a
te
.
c:
s
u
m
_with_
e
qualit
i
es: extract out sum_over_polytope_
0
D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
S
ven Verdoolaege
update isl to ve
r
si
o
n 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
barvinok 0
.
3
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lexmin
.
cc: le
x
min: remov
e
unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oolaege
lattice_po
i
nt
.
c
c
:
f
ra
c
tion
a
l_part: re
m
ove unused
la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
t
e
stlib
.
c
c
:
test_hilber
t
: fix tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
r
d
oo
l
a
e
ge
iscc
.
c: read_
b
ool_if_av
a
ilable: rem
o
ve unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
e
rdoolaege
upda
t
e pet t
o
ver
s
ion 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
up
d
a
te isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
README: refer to pe
t
/README for more
details on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven
Verd
o
o
l
aege
update pet for su
p
port for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Verdoo
l
aege
up
d
ate isl
for support for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdo
o
laege
drop cloog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
doolaege
use isl for code gen
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
update i
s
l for code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
iscc
.
c
: add missing includ
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verd
o
ola
e
ge
update isl fo
r
ren
a
me of !
i
sl_set_dim_
h
as_{lower,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
doc: add another paper r
e
f
er
i
ng to the library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolae
g
e
README: clari
f
y that /
o
p
t
i
s the
e
xample installat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoolaege
expor
t
isl_*_pw_qpo
l
ynomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdo
o
laege
updat
e
p
et f
o
r adding m
i
ssing
i
ncl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven V
e
rdoolaege
configure
.
a
c: check for NTL/
Z
Z
.
h
h
eade
r
b
efore c
h
eck
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sve
n
Verdoolaege
update pet to versio
n
0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolaege
update
i
sl to v
e
rsion 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven V
e
rdoolaege
options
.
c: avoi
d
calling isl_all
o
c_type
without valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalu
e
_isl
.
c: div2evalue:
explicitly chec
k
for
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next