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
summate.c: sum_with_equalities: extract out sum_over_polytope_0D
2013-02-02
Sven Verdo
o
laege
sum
m
ate
.
c: su
m
_
wi
t
h
_equa
l
itie
s
:
extract out sum
_
over_poly
t
ope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
S
ven Verdo
o
laege
up
d
a
t
e isl to ve
r
sion 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Ver
d
oolaege
barvinok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdo
o
laege
le
x
m
in
.
cc: lexmin:
remove u
n
used
l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lattice_poin
t
.
cc: f
r
actional_
p
art: remove
u
nu
s
ed label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
test
l
ib
.
cc: test_h
i
lber
t
: fi
x
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolaege
iscc
.
c:
r
ead_bool_if_
a
v
a
ilable: remove unused l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaeg
e
up
d
at
e
pet to version 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
update isl to version 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
README:
refer to p
e
t/README for more d
e
t
ai
l
s
o
n
ho
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Verdoolaeg
e
u
p
date pet
f
or support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verd
o
ola
e
ge
u
pdate
i
sl for support
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaeg
e
drop cloog s
u
b
m
odu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdoolaege
use
isl for
code ge
n
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoola
e
g
e
update isl
f
or
c
ode ge
n
erat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven
Ver
d
oolaege
iscc
.
c: add
mi
s
sing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verd
o
o
l
aege
updat
e
i
s
l for rename of !
i
s
l
_set_di
m
_has_
{
lowe
r
,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaeg
e
doc
:
add another p
a
per
re
f
ering to the lib
r
ary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoolaege
README: cl
a
ri
f
y
th
a
t /opt is the example insta
l
l
a
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ve
r
doolaege
export isl_
*
_pw_qpolyn
o
mia
l
_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoo
l
aege
update pet
f
or
a
dding missing in
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
configure
.
a
c
:
c
h
eck for NTL/ZZ
.
h header before
c
hecking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
e
rdoo
l
aege
u
pd
a
te pet t
o
version 0
.
0
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
update isl to version 0
.
1
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolaege
opt
i
o
ns
.
c: avoid calling i
s
l_all
o
c
_
ty
p
e w
i
thout valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
l
a
ege
evalu
e
_isl
.
c: d
i
v2evalue: explicitly che
c
k for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n Verdool
a
ege
upda
t
e isl for normalizat
i
on
o
f
i
s
l_term_get_d
i
v result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdool
a
ege
evalue_isl
.
c: add_term: improve
error ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
V
erdoolaege
update pet for
s
u
pport for
r
e
c
en
t
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verdoolaege
update isl for support
f
o
r
r
ecen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven V
e
rdo
o
laege
i
s
cc: suppor
t
computation of arbit
r
ary (non-zer
o
) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
ven Verdoolaege
updat
e
is
l
for i
s
l_
u
ni
o
n_map_
f
ix
e
d
_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
update
i
sl for change in isl_pw_a
f
f
_
cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdo
o
laege
e
v
alue
.
c
: a
v
oid
warning on
use of && i
n
si
d
e ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven
V
e
rd
o
o
l
aege
ba
r
v
i
nok_e
.
cc: enumerate_line: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven V
e
rdoola
e
ge
summate
.
c
:
add_unbounded_gu
a
rded_qp: update t
o
c
h
ange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ve
r
doolaege
update pet for supp
o
rt for rec
e
nt c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
oo
l
aege
summate
.
c: sum
_
base: c
h
e
ck for
a
n
d remove equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
en Verdoo
l
ae
g
e
u
p
date pet fo
r
support f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
update isl for s
u
pport for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdo
o
laege
upd
a
te pet to v
e
rsion
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Ver
d
o
o
l
a
ege
upd
a
t
e
isl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Verdoolaege
add
i
s
l
.
py to distribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n V
e
rd
o
ola
e
ge
add i
n
t
e
rface/all
.
h and
i
nterface/is
l
.
p
y
.
top to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sv
e
n Verdoolaege
up
d
ate cloog
to
v
e
r
si
o
n
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
v
en Verdoola
e
ge
isl_p
w
_qpolynom
i
al_fro
m
_evalue: const
r
uct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdool
a
ege
Par
a
m
L
ine_Lengt
h
_mod: properly handle empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n
Verdoolaege
partition2enumera
t
ion: fix memo
r
y
leak when
i
nput is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdoo
l
aege
u
p
d
ate
p
et for introducti
o
n
o
f pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolaege
iscc:
use isl_ctx_parse_option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
up
d
a
t
e isl for hiding o
f
isl
_
o
p
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
o
laege
update isl for
introdu
c
tion o
f
isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
update
pet for suppor
t
for rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
update isl
for suppor
t
for re
c
ent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
e
n Verdoolaege
README:
dr
o
p referenc
e
t
o
piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
iscc: add "param
s
" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdo
o
laege
doc: explain syntax f
o
r param
e
te
r
doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
e
n Verdoolaege
update isl for specia
l
casing
of gist
with parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
d
o
olae
g
e
isl
_
obj_str_prin
t
:
p
roperly pass
along
i
sl_prin
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoolaege
explicitly li
n
k in all required l
i
b
r
aries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
e
n
Verdoolaege
configu
r
e
.
a
c: quote AC_LANG
_
P
ROGRAM call
t
o
a
void
w
a
rning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven V
e
rdo
o
l
a
e
ge
u
p
date pet f
o
r
expl
i
citly
l
inking in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n
Verdoolaege
update is
l
to ve
r
sion 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoola
e
ge
u
p
date polylib to version
5
.
22
.
5 +
c
o
n
f
igure
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
update clo
o
g for rename of LANGUAGE_
C
to CLOOG_LANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdo
o
l
aege
iscc: add "map %
d
omain" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdoolaege
update isl fo
r
isl_union_map_gist_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sve
n
Verdo
o
laege
polysign
.
h: add
m
i
ssing decl
a
ratio
n
of gl
p
k_p
o
lyhedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
S
ven Verdo
o
laege
upd
a
te
pet for support
fo
r
re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoola
e
ge
update isl for support f
o
r recent c
l
ang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoo
l
aege
hull
.
c: add
m
is
s
ing i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoolaege
r
edu
c
e_domain
.
c: incl
u
d
e
barvinok/barvinok
.
h for b
a
r
vinok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verd
o
ola
e
ge
evalue_isl
.
c: rel
a
tion2pwqp:
p
r
operly
ha
n
dle parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoo
l
a
e
ge
barvin
o
k
_enumera
t
e
.
cc: v
e
rify_isl: properly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
add isl
.
py target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
ex
p
ort some
f
uncti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Ver
d
oolaege
c
onfigure
.
ac: s
e
t ISL_BUILDDIR also i
n
case of bu
n
dled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oolaege
updat
e
isl
for
extrac
t
_int
e
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tobias Grosser
iscc:
us
e
cloo
g
_union_domain_from_isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
upd
a
te isl for
change in isl_pw_
a
ff_set_tuple_id pr
o
totype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
include pet
in distribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
update pet for
fi
x
in
d
istribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
update is
l
fo
r
isl_
s
et_from_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
ool
a
ege
drop
om
e
ga sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
co
n
f
igure
.
ac: take into account p
r
efix of sys
t
em omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
update isl
f
or fix in f
a
ctoriz
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
add s
o
me
iscc tes
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n
Verdo
o
laege
iscc:
only print new line if something was prin
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n V
e
rdoolaege
iscc: add "assert" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ve
r
dool
a
eg
e
iscc: add == oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdoolaege
iscc: call_bi
n
_op: handle
b
i
nary
t
est oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
iscc: e
x
tr
a
ct out
call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
e
r
doolaege
update isl for "==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n Verd
o
olaege
update isl
f
o
r ch
a
n
g
e in i
s
l
_
b
asic_set_r
e
ad_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
e
r
doolaege
update
cloog
f
or include
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update isl for remov
a
l of isl_
d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaeg
e
update isl
f
or chang
e
in
i
sl_{in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
ool
a
e
g
e
upda
t
e pet for compatibility
with rece
n
t
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
updat
e
isl-
p
olylib for
i
ncl
u
de p
a
th ordering issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next