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
Verdoolaege
su
m
mate
.
c:
sum
_
wit
h
_equali
t
ies: ext
r
act
o
u
t
sum_over_
p
olytop
e
_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven V
e
rdoolaege
upd
a
te isl
t
o ver
s
ion 0
.
1
1
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n
Ve
r
doolaege
barvinok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n
Ver
d
oolae
g
e
le
x
min
.
cc: lexmin: remo
v
e un
u
sed lab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
l
a
t
ti
c
e_point
.
cc: fractional_p
a
rt: r
e
mo
v
e unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoolaege
testlib
.
c
c
:
t
es
t
_
h
il
b
ert: fix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oolaege
iscc
.
c:
r
ead_b
o
ol_if_ava
i
lab
l
e: re
m
ov
e
unused l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Ver
d
oolaege
upda
t
e p
e
t t
o
version
0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ve
n
V
erdoola
e
ge
update is
l
to version
0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
REA
D
M
E:
r
e
fer to
p
et/README for
m
ore details on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
rdoolaege
update pet for supp
o
rt for rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sve
n
Ver
d
o
o
l
aeg
e
upd
a
te
i
sl
f
or support for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verd
o
olaege
drop cloog su
b
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
use i
s
l for code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
oo
l
aege
update isl
f
o
r
c
ode generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
iscc
.
c: add
m
issi
n
g includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en Verdoolaege
upd
a
t
e isl for rename of !i
s
l_set_di
m
_has_{lower,up
p
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
doc: add another
paper
r
ef
e
ring
to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verd
o
olaege
READ
M
E
:
clarify t
h
at /opt is the example insta
l
l
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Verdoolaege
export isl_*_pw_q
p
olynomial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
update pet for adding
miss
i
ng incl
u
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolae
g
e
co
n
f
igure
.
ac: check for NTL/
Z
Z
.
h h
e
ader before ch
e
cking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
erdoolaege
u
pdate pet to versio
n
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
u
p
d
a
te
i
sl t
o
version 0
.
1
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
o
ptions
.
c: a
v
oid calling isl_alloc_type without
v
a
lid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en
V
e
r
doolaege
evalue
_
isl
.
c
:
div
2
evalue: e
x
pl
i
citly check for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verdoolaege
upd
a
te
i
sl for norma
l
iz
a
tion of isl_term_get_d
i
v r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoolaege
eva
l
ue_isl
.
c:
a
dd_term: i
m
pro
v
e erro
r
handl
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update pet for support
for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n
Verdoolaege
update isl for support for
r
ece
n
t cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdoolaege
iscc: suppor
t
comp
u
tation of ar
b
itrary (non-zero) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolae
g
e
update i
s
l for i
s
l
_
union_map_fixed_
p
o
w
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
update isl fo
r
chang
e
in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdoo
l
aege
evalu
e
.
c
:
avo
i
d warning on use
of && inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
ba
r
vinok_e
.
cc: enumerate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n Verdoolaege
summate
.
c: add_unbounded_gu
a
rded_qp: updat
e
to
c
hange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ver
d
oola
e
ge
update pet for support for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
summ
a
te
.
c: sum_base: ch
e
ck for and r
e
move equ
a
litie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
Ve
r
d
oolaege
update pet for su
p
p
o
rt
f
or recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
ven
V
erdoolae
g
e
update isl for
support for
recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaeg
e
ba
r
vinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
update pet t
o
version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en
Verdoolaege
update isl to version 0
.
0
9
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add isl
.
py to dis
t
ributio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
aege
add in
t
er
f
ace/al
l
.
h
a
n
d
interface/i
s
l
.
py
.
top
t
o dist
r
ibution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sv
e
n
V
erdool
a
ege
update
c
loog t
o
ver
s
ion 0
.
1
7
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
v
en Verdoolaege
isl_
p
w_qpolynom
i
al_f
r
om_eval
u
e: construct
z
ero r
e
su
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
ParamLine_Length_m
o
d
: pr
o
pe
r
ly handle empty in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sve
n
Verdoolaege
p
a
rtition2enumeration: fi
x
m
emo
r
y
leak wh
e
n inpu
t
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n Verdoolaeg
e
update pet f
o
r introd
u
c
t
i
o
n of pe
t
_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
iscc:
u
se isl
_
ctx_parse_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolae
g
e
update isl for hiding o
f
isl_
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolaege
upda
t
e isl for i
n
t
r
oduction of i
s
l
_
args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
u
p
date pet for sup
p
o
r
t for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdo
o
laege
u
pdate isl for support for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
e
n
Verdoolaege
README
:
drop
r
e
ference to pip
l
ib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sv
e
n Verdoolaege
is
c
c
:
add "params" operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
a
e
ge
d
oc:
e
xplain
syntax for parameter do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
update isl for specia
l
casi
n
g of gist
with pa
r
am
e
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Ve
r
do
o
lae
g
e
isl_
o
b
j
_str
_
prin
t
: prope
r
ly p
a
ss along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
explicit
l
y link in all requi
r
e
d
l
i
brari
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
c
o
nfigu
r
e
.
ac: quote AC_LANG_PROGR
A
M call to av
o
id war
n
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
e
n
Verd
o
olaeg
e
update pet for expli
c
itly
l
i
nking in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoolaege
update
poly
l
i
b to
v
e
r
sion 5
.
22
.
5 + configure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven V
e
rdoolaege
update
c
loog for
ren
a
me of LANGUAG
E
_C to CLOOG_LANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
olaege
isc
c
: add "map % domai
n
" o
p
er
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
ool
a
ege
update isl fo
r
isl_un
i
on_map
_
gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
S
v
en Verdoola
e
ge
polysign
.
h: ad
d
missin
g
declarati
o
n of glpk_polyhedron_af
f
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Ver
d
o
olaege
u
pdat
e
pet
f
o
r
support for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update is
l
for support for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoo
l
aeg
e
hull
.
c: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n V
e
r
d
oolae
g
e
reduce_domain
.
c: include barv
i
nok/ba
r
vin
o
k
.
h for barvi
n
ok_c
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdool
a
e
g
e
evalue_isl
.
c: relation2pwqp: properly
h
andle parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verdoo
l
aeg
e
b
a
r
v
i
n
ok_enumerate
.
cc: verif
y
_isl: properly h
a
ndle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Ve
r
d
o
o
la
e
ge
ad
d
isl
.
py target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
export some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdool
a
ege
con
f
igu
r
e
.
a
c
: se
t
ISL_BUILDDIR also in case of bu
n
dled i
s
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
update isl for
e
xtract_interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
up
d
a
t
e isl for
c
han
g
e in isl_
p
w_aff_s
e
t
_tuple_id proto
t
y
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n
Verdoolaeg
e
include pet in dist
r
ibuti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdo
o
l
aege
u
p
date
p
e
t
for fi
x
in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdool
a
ege
update
i
s
l for is
l
_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
r
d
ool
a
ege
drop omega submodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaeg
e
con
f
igure
.
a
c
: ta
k
e in
t
o
account
prefix of syste
m
ome
g
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
updat
e
is
l
for fix in factorization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
a
d
d
some iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Ve
r
doolaege
iscc
:
o
n
ly pr
i
n
t new line if something was prin
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en
Verdoolaege
iscc: add "asse
r
t"
o
pe
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
o
l
aege
iscc: add == oper
a
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdoolae
g
e
iscc: call_bi
n
_
o
p: handle binar
y
tes
t
oper
a
tio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
is
c
c: extract ou
t
call_b
i
n
_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verd
o
olaege
u
pdate isl for "==" to
k
e
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n Verdoola
e
ge
u
p
date isl for
c
h
ange
i
n isl_b
a
sic
_
set_read_fro
m
_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sve
n
Verd
o
olaege
u
p
d
at
e
cloog for includ
e
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ve
n
Ver
d
oolaege
update isl for removal of isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
o
o
laege
update is
l
f
or change in
i
sl_{in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
upd
a
te p
e
t for
compatibility
w
ith r
e
cent
cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verd
o
olaege
update isl-polylib for i
n
clude path ordering issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
e
g
e
upd
a
te i
s
l for c
h
ange
i
n space of
i
s
l
_pw_* ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next