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_sum_over_polytope: special case 0D polytopes
2013-02-02
Sve
n
Verdoolae
g
e
barvinok_sum_over_polyto
p
e:
s
pe
c
ial
c
ase 0D polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n Verdoolaege
summa
t
e
.
c:
s
um_wi
t
h_
e
qualities:
extract out
sum_over_polytop
e
_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sv
e
n Verdoolaege
update
i
s
l to version 0
.
1
1
.
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 Verdoolaege
lexmin
.
cc:
l
exmin:
remove unus
e
d lab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven
Verdoolae
g
e
la
t
tice_point
.
cc:
fractiona
l
_part:
r
emove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
testlib
.
cc: test_hil
b
ert:
f
ix t
e
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaeg
e
iscc
.
c: read_bool_if_ava
i
la
b
le: r
e
move un
u
sed la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rd
o
olaege
update pet to ver
s
ion 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdo
o
la
e
ge
u
p
d
ate isl to version
0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
RE
A
DME: refer to pet/README for
m
ore
d
etails on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
rdoolaege
update pet for s
u
pport
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ve
r
do
o
laege
upda
t
e isl f
o
r support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
doolaege
drop cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
r
doolaege
use
i
sl for
c
ode generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven V
e
rdoolaeg
e
upd
a
te isl for code
g
eneration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Ve
r
d
oolaege
iscc
.
c: add mi
s
sing
i
n
cludes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Ver
d
ool
a
e
ge
updat
e
is
l
for rename of !isl_s
e
t_
d
im_has
_
{
l
ower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
erdoolaege
d
o
c: add another paper refering to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven
Ve
r
do
o
l
a
ege
README: c
l
ar
i
fy tha
t
/
o
pt is the
example ins
t
a
ll
a
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven
V
erdoolaege
export isl_*
_
pw_qpolynom
i
a
l
_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verd
o
olaege
u
p
dat
e
pet for adding missi
n
g inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
configure
.
ac: check
f
or NTL/ZZ
.
h heade
r
before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven V
e
r
d
oolaege
update pet to version
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
up
d
ate isl to v
e
rsion 0
.
1
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaeg
e
options
.
c
:
a
v
oid calling isl_alloc_type
without val
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doola
e
ge
e
value_isl
.
c
: div
2
evalue: explicitly check for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n Verdoolaeg
e
update
i
sl
f
o
r n
o
rmalizati
o
n of is
l
_
t
erm
_
g
e
t
_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoolaeg
e
evalu
e
_isl
.
c: add_t
e
r
m
: imp
r
ove erro
r
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoola
e
g
e
update p
e
t
for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update isl
f
or supp
o
rt for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaeg
e
i
s
cc: support computation of arb
i
t
r
ary (non
-
zer
o
) p
o
wers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
update isl for isl_union_map_fixed_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaeg
e
update isl f
o
r ch
a
nge i
n
isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Ver
d
ool
a
ege
evalue
.
c: avoid w
a
rn
i
n
g
on use of && inside |
|
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
ven
V
erdoolaege
bar
v
inok_e
.
cc: enumer
a
te_line: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Verdoolaege
summ
a
te
.
c: add_unbounded_g
u
arded_
q
p
:
update to
change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n
V
e
rdoolaege
updat
e
p
et for supp
o
rt for
r
ece
n
t
c
lan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
V
e
rdoolae
g
e
summa
t
e
.
c: su
m
_bas
e
: check f
o
r and rem
o
ve
e
qualities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
upda
t
e pet
f
or support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ve
r
d
o
olaeg
e
upd
a
te i
s
l
f
or support for re
c
en
t
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaeg
e
barvino
k
0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
V
e
rdoolaege
update
pet
to
vers
i
o
n
0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
upd
a
te
i
s
l
t
o version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
ad
d
is
l
.
py to distrib
u
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doola
e
ge
add interface/all
.
h and interface/isl
.
py
.
t
op to di
s
t
ribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven
Verdoolaege
update cloog to ver
s
i
o
n
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdoolaege
isl_pw_qpo
l
y
nomial_from_evalue: constr
u
ct zero
r
esult
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoolaege
Par
a
mLine_Len
g
t
h_mod
:
properly handle
e
m
p
ty inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n Verdoo
l
aege
partition2e
n
umeration: fix memo
r
y leak w
h
en input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en
V
erdoolaege
update pet
f
or i
n
tro
d
u
c
tion o
f
pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoolaege
iscc: us
e
i
s
l_ctx_parse_
o
p
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoolaeg
e
update isl for hidi
n
g of
isl_opt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven
V
erdoolaege
update i
s
l for
i
n
tr
o
d
u
cti
o
n of isl
_
args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verd
o
olaege
u
pdate pet for support
for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en V
e
rdoolaege
up
d
ate
i
sl for supp
o
rt f
o
r
recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
aege
R
E
ADME: drop referen
c
e
to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdoolaege
isc
c
: add "p
a
rams"
o
perati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
d
oc: explain
syntax for paramete
r
d
o
mai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ve
r
d
o
o
laege
update
isl for special casing of
g
ist with p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_o
b
j_str_p
r
int: pr
o
perly pass along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Ve
r
do
o
laege
ex
p
l
i
citly li
n
k in
all required
l
i
b
raries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
e
r
dool
a
ege
configure
.
ac: quote AC_L
A
NG_PROGRAM call to avoid warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
V
e
rdoolaege
u
p
d
a
te pet for e
x
plicitly lin
k
in
g
in
g
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Ver
d
oolaege
updat
e
i
s
l to version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oola
e
ge
u
pdate pol
y
lib to version 5
.
22
.
5
+
configure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdool
a
ege
upda
t
e
cloog for rename
o
f L
A
NGUAGE_C to CLOOG
_
L
A
NGUAGE
_
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
olaege
iscc:
add
"map %
domain" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdoolaege
upd
a
te isl f
o
r
i
sl_un
i
on_map_gist
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verd
o
olaeg
e
polysign
.
h
: add missing decla
r
ation of
glpk_polyhedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verd
o
olaege
update pet
f
o
r
supp
o
rt fo
r
recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
Verdoolaege
update isl
f
o
r supp
o
rt for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
hull
.
c: add
missing inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolae
g
e
r
educe_domain
.
c:
include barvinok/barvinok
.
h
for
ba
r
vinok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdo
o
la
e
g
e
evalue_isl
.
c:
re
l
ation2pwqp: properly ha
n
dle parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Ve
r
doolaege
barvinok
_
enumera
t
e
.
cc: verify_isl: p
r
oper
l
y handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl
.
p
y
t
arget
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
export some func
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolaege
c
onfigure
.
ac: set ISL_BUILDDIR also in c
a
se of
b
undled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verd
o
olaege
upd
a
te isl for
e
xtract_
i
nter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tobias Gro
s
ser
iscc: use
cloog_union
_
domain_from
_
is
l
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
upd
a
te
i
s
l
for ch
a
nge
in isl_pw_aff_set_tuple_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
i
n
cl
u
de pet in distribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
update pet
for fix
i
n distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
upda
t
e isl for isl_
s
et_from
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Ver
d
o
o
laege
dr
o
p o
m
ega sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoola
e
g
e
configure
.
ac: take into acco
u
nt prefix of system
o
mega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
u
pdate i
s
l
fo
r
fix in f
a
ctoriza
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
aege
add some iscc t
e
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
is
c
c: on
l
y print new line if something was pr
i
n
ted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdo
o
laege
is
c
c: a
d
d "a
s
sert" operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc:
add == oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verdoolaege
iscc: c
a
ll_bin_op: handle binary test ope
r
atio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
iscc: extract o
u
t
c
all_bin_
o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
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 for change in isl_basic_se
t
_read_from_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoo
l
a
e
g
e
update
c
loog for include fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update isl for
rem
o
val of i
s
l_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoola
e
ge
update isl
for cha
n
ge in isl_{in
,
}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
o
laege
update pet for compa
t
i
b
i
li
t
y w
i
th rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next