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
verify.c: verify_point_data_init: use isl_val
2013-05-31
Sven Verdoolaege
verify
.
c: verify
_
p
oint_da
t
a
_i
n
it: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
v
e
rify
.
c:
v
erify_co
n
te
x
t_set_bound
s
: u
s
e is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
u
t
i
l
.
c: manual_count:
u
s
e
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
ol
a
ege
test_boun
d
.
c: result_data: use i
s
l_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdool
a
e
g
e
test_bound
.
c: verify
_
p
oint:
u
se isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaeg
e
samp
l
e
.
c: Polyh
e
dron_Sample: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
polysign_isl
.
c
:
isl_cons
t
rai
n
ts_opt: u
s
e is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
polysign_i
s
l
.
c: isl_
p
olyhedron_affine_sign: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
pol
y
sign_isl
.
c: extract_i
n
equalities: use isl
_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
polysign
_
isl
.
c: extrac
t
_equalities: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
i
scc
.
c: read
_
ident
:
u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
r
doolaege
i
s
c
c
.
c: obj_at_index: use
i
sl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
iscc
.
c:
power: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
iscc
.
c: next_is_neg_int: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c:
add_term: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdool
a
ege
eva
l
ue_isl
.
c:
relat
i
on2pwqp: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
bound
.
c
:
s
pli
t
_on_si
z
e: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
do
o
la
e
ge
bo
u
n
d
.
c
: verify_point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
basis_reduction
.
c
: is
l
_Polyh
e
dron
_
Reduced_Basis: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoo
l
ae
g
e
barvino
k
_
summ
a
te
.
c:
v
erif
y
_point: use
i
sl
_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
ba
r
vinok_enumerat
e
.
c
c: verify_point:
u
s
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolae
g
e
barvinok
.
cc
:
card_
a
s_s
u
m: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
isl_map_
p
ol
y
lib
.
c:
u
se isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Ve
r
doolaege
update isl fo
r
isl
_
val abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n Verdool
a
ege
int
e
g
r
ate isl-
p
olylib mo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
barvinok_enum
e
rate
.
cc: ex
p
lici
t
ly in
c
lude gmp t
o
avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
barvinok_e
.
cc: explici
t
ly
i
ncl
u
de gm
p
to av
o
id in
c
l
u
sion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
ven
V
erdoola
e
ge
test_bound
.
c: result_
d
ata_clear: r
e
move unused
v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdool
a
ege
e
v
alue_i
s
l
.
c: avoid use of i
s
l_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en Verdoolaege
test
.
c
: rem
o
ve redu
n
d
ant i
n
c
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sve
n
V
e
rdoolaege
upda
t
e isl to version 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
S
ven V
e
rdoo
l
aeg
e
evalue_isl
.
c
:
avoid use o
f
isl_ve
c
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
erd
o
olaege
update p
e
t for support for recent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sve
n
Verd
o
olaege
u
pd
a
te isl for suppor
t
for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven
V
erdoolaege
N
T
L_QQ: use NTL's Vec
t
empla
t
e
c
lass when
a
vai
l
ab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sve
n
V
erdoolaege
isl_p
w
_qp
o
lynomial_sum: error o
u
t if in
p
ut does not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdool
a
ege
iscc
.
c: pri
n
t
_
c
ode: d
o
not assume isl_union_map_get_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
ver
t
ex
_
c
one: check that dimension is at
l
e
ast one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n Ver
d
oolaege
barvinok
_
sum_ov
e
r_polyto
p
e: spec
i
al case 0
D
polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sve
n
Ver
d
oolaege
summate
.
c: sum
_
with_equalitie
s
:
ex
t
ra
c
t out sum_over_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Ve
r
doolaege
update isl to version
0
.
1
1
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n
Verdo
o
laege
barvinok 0
.
3
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verd
o
olaege
lexmin
.
c
c: lexmin: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
lattice_point
.
cc: fractional_part: remove unused l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdool
a
ege
testlib
.
c
c
: test_hilbert: fi
x
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoola
e
ge
iscc
.
c: read_bool_if_available: remove unus
e
d la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolae
g
e
u
p
date pet to ver
s
ion
0
.
0
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
u
pdate
i
sl to versi
o
n
0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Ve
r
doola
e
ge
README: refe
r
to pet/README for more de
t
ails on
h
ow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update pet for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdool
a
ege
update
isl for
support for
re
c
en
t
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolae
g
e
d
rop cloog sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n Verdoolaege
use isl
for code g
e
neration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
ol
a
ege
update isl for co
d
e
g
eneration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sve
n
V
e
rdoolaege
iscc
.
c:
add
m
i
s
sin
g
includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdo
o
lae
g
e
update isl for r
e
name of !isl_set_d
i
m_has_{low
e
r,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaeg
e
doc: ad
d
anothe
r
pa
p
er refe
r
ing to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
README: clarify that /o
p
t
is th
e
example
installatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoola
e
ge
exp
o
rt isl_*_pw_qpolynomial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdool
a
ege
update pet for adding missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdool
a
ege
configure
.
a
c
: check fo
r
N
T
L/ZZ
.
h header
b
efo
r
e checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
S
ven
V
erdoola
e
ge
update pet to
vers
i
on 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
e
rdo
o
l
aege
up
d
a
t
e i
s
l t
o
v
ersi
o
n
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
options
.
c: avo
i
d calling isl_alloc
_
type
w
ithout vali
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
evalue_isl
.
c: d
i
v2evalue
:
expl
i
c
itly check
for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sve
n
Ver
d
oolaege
u
pdat
e
isl fo
r
n
ormalization
of isl_term_
g
et_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoolaege
evalue_isl
.
c: add_
t
erm: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
v
e
n Verdoolaege
upda
t
e
pet fo
r
supp
o
rt for
r
ecent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven V
e
r
d
oo
l
aeg
e
update isl fo
r
suppor
t
for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
ven Verdoolaege
i
s
cc: support
computation of arb
i
trar
y
(no
n
-z
e
ro
)
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sv
e
n Verdoolaege
u
pdat
e
isl for isl
_
un
i
on_m
a
p_f
i
xed_
p
owe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
upd
a
te isl
f
or ch
a
nge in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Ve
r
doolaege
eval
u
e
.
c: avo
i
d
warning on
use
o
f && insi
d
e ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven
V
e
rdo
o
laege
barvi
n
ok_e
.
cc: enumerate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ve
r
doolaege
summ
a
te
.
c: add_unbounded_guarded_qp: update to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdool
a
e
g
e
update pet for
s
upport f
o
r
r
ecent cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ve
r
doolaege
summa
t
e
.
c: sum_base:
c
heck f
o
r and
r
emove equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdo
o
laege
update pet for suppor
t
f
o
r recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
update isl for support for rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdoolaege
update pet
t
o
version
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
oolaeg
e
up
d
ate isl to
vers
i
on 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaege
add isl
.
py to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
laege
add interface/all
.
h
and interf
a
c
e
/isl
.
py
.
t
op to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sve
n
Verdoolaeg
e
update cloog to ver
s
ion 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Ver
d
oolaege
isl_pw_
q
polyn
o
mial_f
r
om_evalue: construct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdool
a
ege
ParamLine_Length_mo
d
: properl
y
h
a
ndle
e
m
p
t
y
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven V
e
r
do
o
laege
p
artitio
n
2enumeration: fix memory l
e
ak wh
e
n input
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoo
l
a
ege
u
pdate pe
t
for intr
o
duction of pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdool
a
e
g
e
iscc: use isl_ctx_parse_optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven V
e
rdoolaege
u
pdate isl
f
or hid
i
ng of i
s
l
_option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven V
e
rd
o
olaege
update isl for introduction
o
f
isl_a
r
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoolaege
upd
a
te pet for support for re
c
e
nt
cl
a
ng
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdool
a
ege
u
p
date isl for s
u
p
port
for r
e
ce
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoolaege
R
E
ADME:
dro
p
reference to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Verdoolaege
iscc: ad
d
"params"
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
olaege
doc: expla
i
n syntax f
o
r parameter d
o
mai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolae
g
e
upd
a
t
e isl f
o
r
s
pecial casing of
gist with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
V
e
rdoolaege
isl_obj_str_print: properly
pass
along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verd
o
olaege
exp
l
i
citly link in all requir
e
d l
i
braries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next