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
iscc.c: print_code: do not assume isl_union_map_get_space returns params space
2013-02-03
Sven Verdoolaege
iscc
.
c: pr
i
nt_code: do
n
ot as
s
u
m
e isl_union_map_get_spa
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaeg
e
vertex_cone: check that
dimension i
s
at
l
ea
s
t one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven V
e
r
doolaege
barvinok_
s
um_ove
r
_pol
y
tope: spec
i
al case 0D polytope
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
summ
a
te
.
c: sum_w
i
th_equa
l
i
ties: extract out sum_o
v
er_polytope_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdool
a
e
ge
update
i
sl
t
o ve
r
si
o
n 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdoolaege
barvinok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven
V
erdoolaeg
e
lexmin
.
cc: lexmin: r
e
m
o
ve un
u
se
d
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolae
g
e
l
attice_poi
n
t
.
cc: fra
c
tion
a
l_part: re
m
ove unused
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaege
tes
t
lib
.
cc: test_hilbert:
fix t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
iscc
.
c:
read
_
bool_if_a
v
ailable:
r
emove unuse
d
l
abel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update pet t
o
vers
i
on 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oolaege
update
i
s
l
to version 0
.
1
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oola
e
ge
REA
D
ME: refer
to pet/README for more det
a
i
ls on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verd
o
olaege
update pe
t
f
o
r support for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven V
e
rdoolaeg
e
upda
t
e isl for suppor
t
for recen
t
cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaeg
e
drop cloog submod
u
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ve
n
Verdo
o
laege
u
se isl for cod
e
generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdoolaege
update isl for code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sv
e
n Ve
r
doolaeg
e
iscc
.
c: add mi
s
sing
inc
l
udes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven
V
erdoolaege
update
isl for
rena
m
e of !isl_set_dim_has_{lower
,
up
p
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
d
o
c:
a
dd another paper
r
ef
e
rin
g
to the lib
r
ary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoolaege
R
EADME: clar
i
fy that /o
p
t
is the e
x
ample installation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Verdoolaege
exp
o
rt isl_
*
_pw_qpolyn
o
m
i
al_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaeg
e
u
p
d
ate pet
f
o
r a
d
ding
m
i
ssin
g
i
n
clu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
S
v
en Ve
r
doolaeg
e
co
n
figure
.
a
c
:
check for NTL/ZZ
.
h header before
c
hecking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
S
v
en Verdoolaege
update pet to
version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdool
a
ege
updat
e
isl
t
o
v
e
r
sion 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
er
d
o
o
laeg
e
opt
i
ons
.
c: av
o
id c
a
lling
i
sl_alloc_type wit
h
out valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
ool
a
ege
ev
a
lue_
i
s
l
.
c: div2eva
l
ue: expl
i
c
itly check for a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
update
i
s
l
for
no
r
malization of i
s
l_term_get_div
r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoolaege
e
v
a
lue_
i
sl
.
c: add_te
r
m: improve error handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolae
g
e
update
p
et f
o
r supp
o
rt for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven V
e
r
d
o
olaege
update isl
for s
u
pp
o
rt for rece
n
t cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Ver
d
oolaege
iscc:
s
u
pport computati
o
n of ar
b
itrary (non-z
e
r
o) po
w
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoo
l
a
ege
u
p
date isl for isl_u
n
i
o
n_m
a
p_fixed
_
power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
update is
l
fo
r
change in
i
sl_pw_
a
ff_
c
ond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdool
a
ege
evalue
.
c:
avoid warni
n
g on
u
se of && inside ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verd
o
ol
a
e
g
e
barvinok_e
.
c
c: enumerate_line
:
f
i
x ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdo
o
laege
summat
e
.
c
: add_unbounde
d
_gu
a
rded_qp:
upd
a
te to c
h
a
n
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdool
a
ege
update
p
et for
s
u
p
port for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
oolaege
summ
a
t
e
.
c: sum_base: check
f
o
r and remo
v
e
eq
u
alities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
e
g
e
updat
e
pet for sup
p
ort for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
S
v
e
n
Verdoolaege
update isl for su
p
port for rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
barvinok 0
.
3
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n
V
erdoolaege
update pet
to ver
s
ion 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doo
l
aege
u
pdate isl to v
e
rsion
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
V
e
rdoo
l
aege
a
d
d isl
.
py to di
s
t
r
ibution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add interface/all
.
h and int
e
rface/
i
s
l
.
py
.
top to
d
i
stri
b
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
S
ve
n
V
erdoola
e
ge
upda
t
e cloog to ver
s
ion 0
.
1
7
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven Ver
d
ool
a
e
g
e
isl_
p
w_
q
p
ol
y
nomial_from_evalue: construct
z
e
r
o
result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sve
n
Verdoolaege
ParamLine_Length
_
mo
d
: properly
h
a
ndl
e
e
m
pty i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ven
Verdoolaege
par
t
i
tion2enume
r
a
tion: fix memory l
e
ak w
h
en input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven V
e
rdoolaege
update pet for i
n
tr
o
ducti
o
n of pet_opt
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoo
l
aege
iscc: use isl_ctx_parse
_
option
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoolaege
update isl for hiding of isl_
o
p
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolaege
upda
t
e isl fo
r
introduction of isl_arg
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doola
e
ge
update pet for support
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdo
o
l
a
ege
up
d
a
te
i
sl fo
r
support for r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Verdo
o
l
a
ege
README: drop reference to
p
ipl
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
V
e
rdoo
l
aege
is
c
c: add "par
a
ms" ope
r
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
doc: explain syn
t
ax fo
r
param
e
ter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
ol
a
ege
update i
s
l for spe
c
ial casing
o
f gist with par
a
mete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdool
a
ege
isl_obj_str_print: properly
p
ass a
l
ong i
s
l
_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
e
n
Verdoolae
g
e
expli
c
itly li
n
k in all requir
e
d li
b
raries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
co
n
figure
.
ac: quote A
C
_LANG_PROGRA
M
ca
l
l
to avo
i
d warnin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verd
o
ola
e
ge
update pet for
explicitly linking in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdoolaege
update isl t
o
v
ersion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
e
n Verdoolaege
update polylib to
v
ersion 5
.
22
.
5 +
conf
i
gure
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven
Verdoolaege
update cloog for
r
e
n
ame of L
A
N
GU
A
GE_C to
C
L
OOG_L
A
NGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
i
s
cc: add "map % domain" operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
o
l
aege
update isl
for isl_union_
m
ap_gi
s
t
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verd
o
olaege
p
o
lysi
g
n
.
h: a
d
d missing d
e
claration of
g
lpk_polyhedron_
a
ffin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
upd
a
te pet for
support for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
update isl for support
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
e
n Verdoolaege
hull
.
c: ad
d
missing
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verd
o
olaeg
e
reduce_dom
a
in
.
c
:
include barv
i
nok
/
b
a
rvi
n
ok
.
h for ba
r
vinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolaege
evalue_isl
.
c: r
e
lation2p
w
qp: properly ha
n
dle
p
aramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoolaege
b
a
rvin
o
k_enumerate
.
c
c: verify_i
s
l
: pro
p
erly handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl
.
py tar
g
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaeg
e
export
s
ome functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Ver
d
oolaege
configure
.
ac: set
I
SL_BUILDDIR a
l
so in case of bundled
i
sl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
update isl fo
r
extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
Tob
i
a
s Grosser
iscc: use cloog_un
i
o
n_dom
a
in_fro
m
_
i
sl
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Ve
r
do
o
laege
update i
s
l
for
change in isl_pw
_
aff_set_tuple_id p
r
ototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
include pe
t
in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
upd
a
te pet
f
o
r
fix in distributi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
upd
a
te
is
l
for isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
drop o
m
ega submo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
ge
c
on
f
igure
.
a
c: take into account pre
f
ix of s
y
ste
m
omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
up
d
a
t
e isl for
fi
x
in factoriza
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoolaege
a
d
d some i
s
cc tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n
V
erdoolaege
i
s
cc: only print new line if something was pri
n
te
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laege
iscc: ad
d
"ass
e
rt" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
er
d
ool
a
ege
iscc: add == operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verd
o
olaege
iscc: ca
l
l_bin_op: handle binary test operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Ve
r
doolae
g
e
iscc: ex
t
r
a
c
t
o
u
t
c
a
ll
_
b
i
n_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdo
o
laeg
e
up
d
ate is
l
f
or "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
update
isl for change in i
s
l_b
a
sic
_
se
t
_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n
Verdoolaeg
e
u
p
date cloog for in
c
lude fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolae
g
e
update isl for re
m
oval
of
i
sl
_
div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next