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
update pet for support for recent clangs
2013-04-07
S
v
e
n
Verd
o
o
l
aege
u
pda
t
e pet for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
ven V
e
rdoolaege
up
d
ate
i
sl for suppor
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaege
NT
L
_Q
Q
: use NTL's Vec template cla
s
s when availa
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_p
w
_
q
polynomial_sum: e
r
ror
out i
f
input does
n
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoolaeg
e
isc
c
.
c:
p
rint_c
o
de: do n
o
t
a
ssu
m
e is
l
_un
i
on_ma
p
_ge
t
_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
v
e
r
tex_cone: check that dimension is at least one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdo
o
la
e
g
e
barvinok_s
u
m
_over_po
l
ytop
e
: spe
c
i
al
c
ase 0
D
polytop
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
s
u
m
mate
.
c
: sum_with_equalities: extract out sum_over_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sve
n
V
e
r
doolaege
u
pdat
e
isl t
o
version 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
d
oolaege
barv
i
no
k
0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
lex
m
in
.
c
c:
l
exmin: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
latt
i
ce_point
.
cc: fractional_part: remove
unu
s
ed label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
testlib
.
cc: tes
t
_hilb
e
rt: fix tes
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
is
c
c
.
c
:
read_bo
o
l_if_available: remo
v
e un
u
sed labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoo
l
aege
update pet to
version 0
.
0
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoo
l
aege
update is
l
to
version 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdo
o
laege
R
E
ADME: refer to p
e
t/RE
A
DME for more details on how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
ven Verdoolaege
update pet for
s
up
p
ort for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
e
n Verdoolaeg
e
update isl
f
or support for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaeg
e
drop cloog
s
ubmodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolae
g
e
use isl for code g
e
neration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdo
o
laege
upda
t
e i
s
l
for
code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sve
n
Ver
d
ool
a
eg
e
iscc
.
c: add missing incl
u
des
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verd
o
olaege
upd
a
te isl for
r
ename of !isl_s
e
t_di
m
_has_
{
lowe
r
,up
p
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
v
e
n Verdoolaege
doc: add anothe
r
paper re
f
ering to
t
he library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ve
n
Verdoolaege
README:
c
l
a
rify that /opt is
the
exa
m
p
le installation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
erdoolae
g
e
e
x
po
r
t
isl_*_pw_qp
o
lynomial
_
sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaeg
e
update
p
et
f
o
r
add
i
ng m
i
ssing inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
S
v
e
n
Verdoolaege
configure
.
ac:
c
heck
f
or NTL/ZZ
.
h
h
eade
r
before ch
e
cking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
S
v
e
n V
e
rdo
o
laege
u
p
dat
e
pet
to version
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
updat
e
isl to version 0
.
1
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Ver
d
o
o
l
aege
options
.
c: av
o
id calling isl_alloc_ty
p
e without valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ve
n
Verdoolaege
evalue_isl
.
c
:
div2evalue: expl
i
c
itl
y
c
h
eck for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven
V
erdool
a
ege
update isl for normal
i
za
t
ion
o
f isl_term_get_div r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sv
e
n
Verdoo
l
aege
evalue_is
l
.
c
:
add_ter
m
: imp
r
ove
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdo
o
laege
upda
t
e pet for su
p
port fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoola
e
ge
u
p
dat
e
is
l
for support f
o
r
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven V
e
rdoolae
g
e
i
scc: support co
m
p
utat
i
on
o
f arbitrary
(
non-zero)
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdo
o
l
a
ege
upd
a
t
e
isl for i
s
l
_union_map_f
i
xed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oola
e
ge
updat
e
i
sl
f
or
c
hange in isl
_
p
w_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdo
o
laege
e
value
.
c: avoid warnin
g
on use
o
f
&& inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
barv
i
n
o
k
_
e
.
cc: enumerate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdool
a
eg
e
summate
.
c
:
a
dd_unbounded_g
u
arded_qp
:
update to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven V
e
rdo
o
la
e
ge
update pe
t
f
or support fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en V
e
r
doolaege
summate
.
c
:
sum_base: che
c
k
f
or and rem
o
ve equa
l
it
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
ve
n
V
erdool
a
ege
u
p
da
t
e pe
t
for support for re
c
ent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdoolaege
updat
e
isl
f
or support
f
or rec
e
nt c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
b
arv
i
nok 0
.
3
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en V
e
rdoolaege
update
p
et to
v
ersion
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
o
laege
upd
a
te isl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
a
dd isl
.
py
t
o d
i
stribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en
Verdoolaege
a
d
d
i
n
ter
f
a
c
e/all
.
h
and interface
/
isl
.
p
y
.
top t
o
d
istribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sv
e
n
Verdoolaege
update
cloog to version 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sve
n
V
erdo
o
laege
isl_pw_qpolynomia
l
_
f
r
o
m_eval
u
e: construct ze
r
o
resu
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoo
l
aege
ParamLine_Leng
t
h
_
mo
d
: properly ha
n
dle empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoo
l
aege
partition2enu
m
eration: fix memory leak when in
p
ut is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doo
l
aege
up
d
ate p
e
t
f
or i
n
troduction of pet_optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laeg
e
iscc: use isl_ctx_parse
_
op
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
o
o
laege
u
pd
a
te isl
f
o
r hi
d
ing of isl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdool
a
eg
e
updat
e
i
s
l for intro
d
uc
t
ion of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolae
g
e
update pet for s
u
pport
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
upd
a
te
i
sl for su
p
port
for re
c
ent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdo
o
laege
R
EA
D
M
E: drop
r
eference to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
iscc: add "params"
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdo
o
laege
doc:
e
xplain
synta
x
f
or paramet
e
r domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdo
o
laeg
e
up
d
ate
i
sl
f
o
r special
c
asing of gist w
i
th paramete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
isl_obj_str_pr
i
nt: prope
r
ly pas
s
along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
explicitly
link in all required librari
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
configure
.
a
c: quote AC_LANG_P
R
OGRAM call to
avoid war
n
in
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
erdo
o
la
e
g
e
update pet
f
or explicitly l
i
nking in g
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
e
rdoolae
g
e
upd
a
te isl
t
o
version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoo
l
aege
update
polylib to version 5
.
22
.
5 +
c
o
nfigu
r
e
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven
V
erdoolaege
update clo
o
g for rename of LANGUAGE_C to CLOOG_L
A
NGU
A
GE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
is
c
c: add "map %
domain" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdoolaege
u
p
date isl f
o
r isl_union_map_gist_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven
V
erdoolaege
po
l
ysign
.
h
: ad
d
missing declaration
o
f glpk
_
polyhed
r
o
n
_
a
ffin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven
Verdoola
e
g
e
u
p
date pet
fo
r
support fo
r
rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Ve
r
d
o
o
laege
update isl for supp
o
rt
f
or rec
e
nt clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoolaege
hull
.
c
:
add miss
i
ng include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
e
n
Verdoolaege
r
e
duce
_
d
o
m
ain
.
c: include
b
a
r
v
inok/barvi
n
ok
.
h for barvino
k
_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolae
g
e
eval
u
e_isl
.
c: relation2pwq
p
:
p
ro
p
erly handle parame
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Ver
d
o
olaege
bar
v
i
nok_e
n
umer
a
te
.
cc: verif
y
_isl: pro
p
e
r
ly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
add isl
.
py targ
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
export some fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolaege
configure
.
ac:
set IS
L
_
B
U
ILDDI
R
als
o
in case of b
u
ndled i
s
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
er
d
oolaege
update isl fo
r
e
xtract_inter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven
Verd
o
olaeg
e
update is
l
for change i
n
isl_pw
_
aff_set_
t
u
p
le_id pro
t
otype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
i
nclude pet in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
update pet for fix in d
i
stribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n
Verdoolaege
update isl for isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
drop ome
g
a submodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
conf
i
gure
.
a
c
: tak
e
into acco
u
nt prefix o
f
system om
e
ga
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
Ve
r
doolae
g
e
u
p
date
i
sl
for fix in facto
r
iza
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoolaege
add s
o
me i
s
cc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
e
rdoolaege
iscc: only print new l
i
ne if something wa
s
print
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoolaege
iscc:
a
d
d "ass
e
rt" operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdoolaege
iscc: add == operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdool
a
ege
iscc: call_bin_op
:
h
a
ndle binary test operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
i
s
cc: extract out
c
all_
b
in_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
e
r
d
oolaege
update isl for
"==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next