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
README: update contact information
2014-10-14
S
ven Verdoolaeg
e
README: u
p
date co
n
tact informat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sv
e
n Verdoolaege
update isl
f
o
r
change i
n
isl_map_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
u
pdate pe
t
for
s
u
pp
o
rt for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ver
d
o
olaege
update i
s
l fo
r
support
for recent
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
erdool
a
ege
lattice_w
i
dt
h
.
c:
a
void use of d
e
precated functi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
Sven Verdoola
e
ge
barvin
o
k_e
n
umerate_w
i
th_options
:
handle context cons
t
r
a
int
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdo
o
la
e
ge
doc: add another paper
refering t
o
the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolaege
isl
_
Polyhedron_Reduced_Basis:
avoid double free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
S
v
e
n Verdoolaege
iscc: als
o
dis
a
llow
s
ource ope
r
ation when --
n
o-io is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
barvinok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaeg
e
updat
e
pet to
v
ersion 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
update isl to version 0
.
1
3
commit
|
commitdiff
|
tree
2014-04-04
S
ven Verdoolaege
u
pdate pet for
s
orting of arr
a
ys
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n Verdoolaege
isl_param_util
.
c
:
drop expr2vertex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oolaege
updat
e
isl f
o
r
c
hange in isl_vertex
i
nsp
e
c
t
ors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
a
dd
isl
_
m
u
lti_af
f
_to_poly
l
ib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdo
o
laege
i
s
cc: a
d
d
m
i
n
i
mal s
u
pport for isl_obj_pw_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sve
n
Verdoolaege
update isl for isl_obj_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sv
e
n Verdoolaege
ge
n
_
fun::add_union: contex
t
o
f
r
e
sult
shou
l
d be
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
S
v
en V
e
rd
o
olaege
reduce_evalue: red
u
ce pol
y
nomial expressions
i
n
denominator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaeg
e
update
pet
for
suppo
r
t for rece
n
t c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
update isl for support for
r
ece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven
Ve
r
d
oolaege
update pet
f
or change in pet_scop_coll
e
ct_{reads,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdo
o
laege
upd
a
te is
l
for 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
a
e
ge
configure
.
ac:
u
se AX_
D
ETECT_GIT_HEAD instead
o
f inlin
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
Sven
V
er
d
oolaege
do
c
: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven V
e
rdo
o
l
aege
AX_SUB
M
O
D
U
LE: allow
.
g
i
t
f
ile
in submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
S
ven Verdoo
l
aege
update
p
et for sup
p
ort for recen
t
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven
Ve
r
doolaege
update is
l
for support fo
r
recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
veri
f
y_po
i
nt_data_
i
nit: use
is
l
_set_card
t
o count
elements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdo
o
laege
test
_
a
p
p
r
o
x
: return EXIT_FAILURE on
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven V
e
rdool
a
ege
tes
t
_
app
r
ox: use isl in
t
erf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolae
g
e
clean up tests/ehrhart/* i
n
puts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
evalue_isl
.
c
: relation2pwqp: handle non-parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
S
ven Verdoo
l
aege
update isl f
o
r isl_*_e
v
al ret
u
rni
n
g an isl_val i
n
stea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verdoola
e
ge
update
isl for is
l
_st
r
eam
_
read_
o
bj returning isl_o
b
j
_
val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
update pet to version 0
.
0
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdool
a
ege
configure
.
a
c
: re
p
lace --with-libgm
p
option by -
-
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
ven
V
erdoolaege
upd
a
te
i
sl to versi
o
n 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolaege
iscc
.
c: avoid use of isl
_
token interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
eva
l
ue_isl
.
c: div2evalue: use
i
sl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
evalue_isl
.
c: i
s
l_pw_qpolynomial
_
from_eval: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdoolae
g
e
eva
l
u
e
_isl
.
c
: i
s
l_qpolynomial_from_evalue: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdo
o
laege
evalue_i
s
l
.
c: extract_base: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdool
a
ege
verify
.
c: ver
i
fy_point_
d
ata_init: use isl_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
verif
y
.
c: verify_co
n
text_set_bounds:
use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
r
doolaege
util
.
c: manual_co
u
nt: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
test_
b
ound
.
c: result_data: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
t
est_bound
.
c: verify
_
point: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
samp
l
e
.
c: Poly
h
edron_Sample: use i
s
l
_
va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
polysi
g
n_isl
.
c: isl_constraints_opt: use i
s
l_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
pol
y
sig
n
_isl
.
c: isl_po
l
yhedron_affine_sign: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Ver
d
oolaege
polysign_i
s
l
.
c: extract_inequalitie
s
: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
po
l
ysign_
i
s
l
.
c: extract_equalities: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
ol
a
ege
iscc
.
c: read_ident: use is
l
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
Verdoolaege
iscc
.
c: ob
j
_at_index:
use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoo
l
aege
iscc
.
c: power: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
is
c
c
.
c: next
_
is_neg_int: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n V
e
r
d
oolaege
evalue_isl
.
c: add_term: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
ev
a
lue_isl
.
c:
r
elation2pwqp: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaeg
e
bound
.
c:
split_
o
n_size: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdool
a
ege
b
o
und
.
c: verify_point: use
i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
basis_
r
ed
u
c
tion
.
c: i
s
l_P
o
lyhedron
_
Reduced_Basi
s
: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
barvinok_summ
a
te
.
c: verify_p
o
in
t
: use isl
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
barvin
o
k_e
n
um
e
rat
e
.
cc: verify_point: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
barvinok
.
cc:
card_
a
s_sum: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
erdoolaege
isl_map
_
polyli
b
.
c
: use isl_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
u
p
da
t
e
i
sl
f
o
r isl_val
abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verd
o
olae
g
e
integrate
i
sl-polylib module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
er
d
o
ol
a
ege
barv
i
n
ok_
e
numerat
e
.
cc: expli
c
i
tly inclu
d
e gmp to avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
b
a
rvinok_e
.
cc: expl
i
c
i
t
l
y include g
m
p
to avoid inclusion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
t
est
_
bound
.
c
:
result_data_cl
e
a
r: remove unu
s
ed va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
e
r
doolaege
eva
l
ue_isl
.
c: a
v
oid u
s
e
o
f isl_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
test
.
c:
remov
e
redun
d
ant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdool
a
ege
u
p
date i
s
l
to version 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sv
e
n Verdoolaeg
e
e
v
a
lue_isl
.
c: avoid
u
se of isl_vec internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sv
e
n
V
erdoola
e
g
e
updat
e
pet for support
f
or rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verd
o
olaege
update isl for support for re
c
ent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
S
v
e
n Ve
r
do
o
laege
N
T
L_QQ:
use NT
L
's Vec temp
l
ate class when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_p
w
_qpol
y
nomia
l
_sum: error out if
input does
no
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoola
e
ge
iscc
.
c: pr
i
nt_co
d
e: d
o
not assume is
l
_union_map_ge
t
_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven V
e
rdoolaege
vertex_cone:
chec
k
that d
i
men
s
ion is at l
e
as
t
one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven
V
erdoolaege
barvinok_su
m
_ove
r
_
polytope: special
c
a
se 0D p
o
lytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven
V
e
r
doolaeg
e
summate
.
c: s
u
m_with_equali
t
ies: ex
t
ract out su
m
_over_pol
y
tope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoolaeg
e
up
d
a
t
e isl t
o
ver
s
ion 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdool
a
ege
barvinok 0
.
3
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdoolaege
lexmin
.
cc: lexmi
n
: remov
e
unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erd
o
olaege
la
t
tice_po
i
nt
.
cc: frac
t
iona
l
_part:
remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolaege
test
l
ib
.
cc: test_hilbert: fix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
iscc
.
c: read_bool_if_available: remove unused la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
er
d
oolaege
update pet
t
o
version 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erd
o
o
l
ae
g
e
updat
e
isl to versio
n
0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdo
o
laege
README:
refer to pet/RE
A
DME for more de
t
ails on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
rdoolaeg
e
update
p
e
t
for
s
u
pp
o
rt fo
r
r
e
cen
t
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaeg
e
updat
e
isl for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoolaege
drop cl
o
og submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoolaege
use isl for code ge
n
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdo
o
laege
up
d
a
t
e isl f
o
r
c
o
d
e
generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sv
e
n Verd
o
o
l
aege
iscc
.
c: add mi
s
sing
i
n
c
lu
d
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven V
e
rdoolaege
update isl for re
n
a
me
o
f !is
l
_set_dim_has_{low
e
r,up
p
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next