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
S
ven
Verdoolaege
summ
a
te
.
c: sum_with_e
q
ualities:
e
xtrac
t
out sum_over_polyt
o
pe_
0
D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sv
e
n
Verdoolaege
updat
e
isl to version 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdoola
e
ge
b
a
r
v
inok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoo
l
aege
lexmin
.
cc: lex
m
in: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaeg
e
lattice_point
.
cc: fractional_p
a
rt: re
m
ove unused
l
abel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
tes
t
lib
.
cc: test_hilbe
r
t: fix te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
iscc
.
c: read_
b
ool_if_
a
vai
l
able: remove un
u
sed lab
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolae
g
e
update pet
t
o version 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
o
lae
g
e
update is
l
to ve
r
s
ion
0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdo
o
laege
README: refer t
o
pet/R
E
ADME fo
r
m
o
re details on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaege
up
d
ate pet for sup
p
ort for
re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
up
d
ate isl
f
or suppo
r
t
for recent
c
l
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoolae
g
e
drop c
l
o
o
g
s
u
bm
o
d
u
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdoolaeg
e
use isl for c
o
de
gene
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoolaeg
e
update isl fo
r
code generati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
i
s
c
c
.
c: add
missing includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
update isl
for
rename of !isl_set_d
i
m_has_
{
low
e
r,upp
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
d
o
c
: a
d
d
a
nother paper
r
efering to the
l
ibrary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven
V
erdoolaege
READM
E
: c
l
ar
i
f
y
t
h
a
t /o
p
t is
t
h
e example i
n
stallatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdoolaege
expo
r
t
is
l
_*_
p
w_qpolynomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en V
e
rdoolaeg
e
upd
a
te
p
et for
a
dding miss
i
ng incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sv
e
n V
e
rdoola
e
ge
c
o
nfigure
.
a
c: ch
e
ck for NTL/ZZ
.
h
hea
d
er b
e
f
o
re
ch
e
cking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
er
d
oolaege
update pet
to version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
u
p
d
a
te isl to version 0
.
1
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
optio
n
s
.
c: a
v
oid calling isl_al
l
o
c_type w
i
thout
v
a
lid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_isl
.
c: div2evalue: explicitly
c
heck for and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
update isl f
o
r
normalization of
isl_ter
m
_get_div result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdo
o
laege
eva
l
u
e_isl
.
c: add_t
e
r
m
: impro
v
e
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ver
d
oolaege
up
d
ate pet for suppo
r
t for recen
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verd
o
olaege
u
p
date isl for
support for
r
e
c
e
nt clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verd
o
olae
g
e
iscc: support computation of arbi
t
rary (non-zero) powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sv
e
n Verdoolaege
update is
l
for
is
l
_union_map_fi
x
e
d_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
updat
e
isl for cha
n
ge in isl_pw
_
aff
_
c
o
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sv
e
n Verdoolaege
e
v
alue
.
c: avoid warning on use of && insi
d
e ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Verdoolaege
ba
r
vin
o
k_e
.
c
c: enumerat
e
_
line: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ver
d
o
olaege
su
m
mate
.
c: add_unbou
n
de
d
_guarded_qp: update to
c
hange
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdo
o
laege
u
pdat
e
pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Verdoolaege
summate
.
c:
sum_ba
s
e: check for and remove equa
l
iti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
update pet
for
sup
p
o
rt for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n
Verdoolaege
u
p
date isl for support for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
ba
r
vi
n
ok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoolaege
update pet to versio
n
0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n Verdool
a
ege
u
pdate isl to version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaeg
e
ad
d
isl
.
py
to d
i
stributio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdool
a
ege
add int
e
r
f
ace/all
.
h an
d
i
n
terface/isl
.
py
.
top to d
i
s
t
r
ib
u
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sv
e
n
V
e
r
doolaege
u
p
date
c
lo
o
g to version 0
.
1
7
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
ven Verdoolaege
isl_pw
_
qpo
l
ynomial_from_evalue: construct
zero
r
esult
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ver
d
oolaege
ParamLine_Lengt
h
_mod: pr
o
pe
r
ly han
d
le empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaeg
e
p
a
rtition2en
u
merat
i
on: fix memory
l
eak
w
hen i
n
p
ut is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdool
a
ege
updat
e
p
e
t for introduction of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoo
l
aege
iscc: use is
l
_ctx_parse
_
options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olaege
update isl fo
r
hidi
n
g of isl_opt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoo
l
aeg
e
u
pdate isl for introdu
c
tion of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verd
o
olaege
u
pdate pet for support for rece
n
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
upda
t
e
isl for suppor
t
for r
e
cen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdo
o
laege
README: d
r
op ref
e
rence to piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdoo
l
aege
iscc: add "par
a
ms"
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sv
e
n Verdoolaeg
e
doc: e
x
plain s
y
ntax f
o
r
p
ara
m
eter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdoolaege
update isl fo
r
s
pecial
ca
s
ing of gi
s
t
with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolae
g
e
isl_obj_str_p
r
int
:
properly p
a
s
s
along isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
expli
c
it
l
y link
in all required libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
conf
i
gure
.
ac: q
u
ote
A
C_
L
ANG_PRO
G
R
A
M c
a
ll to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
ve
n
V
erdoolaege
updat
e
pet for explicitly linking
in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
erdoolaege
updat
e
i
sl t
o
versi
o
n 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoola
e
ge
update polylib to vers
i
on 5
.
22
.
5 + configure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
u
p
d
ate cloog f
o
r
renam
e
of LANG
U
AGE
_
C
to CLOOG_LANGUAG
E
_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoo
l
aege
iscc
:
add
"
map % d
o
m
a
i
n
" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaeg
e
update
i
sl for isl_
u
nion_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven V
e
rdoolaege
polysign
.
h:
add mis
s
ing de
c
l
aration of glpk_pol
y
hedron_affi
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven V
e
rdoolaege
u
p
da
t
e pet for suppo
r
t for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Verdoolaege
update is
l
for support
f
or
re
c
ent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Ve
r
doolaege
hull
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Ver
d
o
olaeg
e
red
u
c
e_domain
.
c: inc
l
u
d
e
b
a
rvino
k
/barvinok
.
h for bar
v
in
o
k_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ve
n
Verdoolaege
evalue_isl
.
c: rela
t
ion2p
w
qp: properl
y
h
a
ndle
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoolae
g
e
ba
r
vinok_enumer
a
te
.
cc:
v
erify_isl
:
p
r
operly
handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaege
add is
l
.
py targe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Ver
d
o
o
l
a
ege
e
xpo
r
t some functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
eg
e
configure
.
ac: set ISL_BUI
L
DDIR also in case of bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolae
g
e
update isl
for extract_i
n
terf
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
update
isl for change in isl_pw
_
aff_set
_
tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
e
r
d
o
olae
g
e
include pet in distributi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
update pet for
fix in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
update isl for isl_set
_
fro
m
_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
dr
o
p om
e
g
a submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
co
n
fi
g
ure
.
a
c
: ta
k
e
into account prefix
o
f
system
omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolae
g
e
update i
s
l for fix
in fact
o
ri
z
a
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
add some iscc te
s
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en
Verdoolaege
i
scc: o
n
ly print new line if som
e
t
h
ing was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laege
i
s
cc: add "assert" operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
isc
c
: add ==
ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n
V
erdoolaege
is
c
c
: call_
b
in
_
op: handle b
i
nary test operation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verd
o
olaege
iscc: extra
c
t out call_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
V
erdoolaege
u
p
date is
l
for "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaeg
e
update isl for chan
g
e in i
s
l_bas
i
c
_
set_r
e
ad_f
r
om_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
u
p
date cloog fo
r
include fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doolaege
update isl for removal of
i
sl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
u
pdate isl for cha
n
ge in
isl_{in,}equali
t
y_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verd
o
olaege
update
p
et for compatibility
with recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdo
o
laege
update isl-polylib
f
o
r incl
u
de
path ordering issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl for change in space of isl_pw_* objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next