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
sample.c: Polyhedron_Sample: use isl_val
2011-03-19
Sven Verdool
a
ege
use sile
n
t
m
ake
r
ule
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
ba
r
vinok
0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc
.
c
:
fix typo whi
c
h wo
u
ld prevent compilation in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
erdoolaeg
e
upda
t
e isl to version 0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaeg
e
isl_pw_qpo
l
ynomial_sum:
handle existentials in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoola
e
ge
drop pipl
i
b
submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
stop usi
n
g
p
ip as LP s
o
lver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
doc: constraints
no lon
g
e
r need to be
s
p
ecified
in DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
e
r
d
oolaege
iscc: par
s
e
lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
a
d
d
isl_list_a
d
d_o
b
j
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoo
l
aege
is
c
c: parse booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
iscc: allow interrupt
i
on of comput
a
tion from the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdoolaege
a
v
oid use of
isl_
c
tx i
n
ternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_o
b
j
_s
t
r
: print quotes around
s
t
r
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
i
s
c
c
: keep track of
i
nterm
e
diate
results in inte
r
activ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
o
laege
iscc: add pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
Ve
r
doolaege
iscc: add zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoola
e
ge
iscc: add
d
e
ltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolaege
lexmin:
a
ssum
e
unknowns
a
nd para
m
eters are
n
on
-
negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdo
o
laege
lexmin: use isl
to read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
a
lso perf
o
rm le
x
min
c
hec
k
i
n a
b
sen
c
e of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
po
l
y
s
i
gn: add is
l
-backed
v
ersion and use i
t
by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
upd
a
t
e isl-polyl
i
b for fix in h
e
a
d
er file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verd
o
olaege
update is
l
f
or
c
hange
in is
l
_flow_get_no_so
u
rce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
S
ven Verd
o
o
l
aege
doc: docum
e
n
t isl modulo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verd
o
olaege
iscc: read_
l
ine
:
fix r
e
tu
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
d
oola
e
ge
evalue_isl
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
iscc
:
add o
p
erations o
n
int ob
j
ec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
upd
a
te
i
sl for int
r
oduction of int objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add
i
sl_basic_set_c
a
r
d a
n
d
i
sl_basi
c
_map_
c
ard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
document is
l
_union_set_appl
y
_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ve
r
doolae
g
e
r
emove polyhedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove poly
t
ope_minimiz
e
appli
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
doolaege
Polyhe
d
ron_S
a
m
pl
e
: use
i
sl unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
remov
e
combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
build lib
i
sl a
n
d libpolylibgm
p
before
libisl-po
l
yli
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
doolaege
iscc: support applic
a
tion
of
p
iecewise q
u
asipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
doc:
fix documentatio
n
o
f join
of maps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdoolaege
add isl_union
_
set_ap
p
ly_union_pw_qp
o
l
ynomi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
update isl for expor
t
of is
l
_union
_
map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
aeg
e
iscc: add write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoo
l
aeg
e
iscc: optional
l
y
d
isa
b
l
e
r
e
a
d
opera
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc:
e
xpl
a
i
n
comma operator in a set d
e
s
c
ription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doola
e
ge
is
c
c: add type
o
f
o
perat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
V
e
r
d
oo
l
aege
add isl_str_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c: use
C
99 desig
n
ated i
n
itializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc:
m
inor imp
r
ov
e
ment in error m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
scc: add
d
omain_map
and
r
ange_map operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoo
l
ae
g
e
is
c
c: add "domain" and
"
range" synon
y
ms for "
d
om" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
V
erdoolaege
update isl to v
e
rsion 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
iscc: don't
a
llow code generatio
n
on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
S
ven Verdoo
l
a
ege
update isl to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
avoid use o
f
isl_set and is
l
_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoo
l
aege
separate out
isl i
n
ter
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
v
e
n Verdoolaege
configure
.
in: propaga
t
e absolute isl bu
i
lddir to submodu
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
ven
V
e
r
doolaege
update isl for rename of he
a
der files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
o
olaeg
e
e
v
a
lue_f
l
o
o
r2frac
:
don
'
t assume coefficients
o
f floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaege
test_bound:
s
top
t
estin
g
af
t
er predeter
m
ined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
o
la
e
ge
barvinok_bou
n
d
:
r
ewrite
in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdool
a
ege
barvino
k
_{summate,boun
d
}:
t
ake
isl
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verd
o
olaeg
e
test_bou
n
d: swit
c
h to isl r
e
p
r
esentation even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound: switch to i
s
l represent
a
tion earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdo
o
laege
i
scc
:
add polynomial approxi
m
atio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
ven V
e
rdoolaege
barvinok_summ
a
te:
rewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_summate: use i
s
l in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
ven Ver
d
oolaege
boun
d
.
cc: drop
dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n Verdoolaege
doc: more informatio
n
abo
u
t
usin
g
sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc:
u
pdate some references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Ve
r
doolaege
i
scc:
a
dd pol
y
operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdool
a
ege
iscc
:
a
d
d scan operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaeg
e
isl_pw_qpolynomial_sum: handle e
x
istentials
in wrappe
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl
f
o
r
renaming o
f
isl_map_remov
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoo
l
a
ege
versio
n
.
c
:
s
h
ow use
o
f
CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
d
oc:
a
bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
iscc: add before a
n
d
after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
a
dd identity oper
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaege
iscc: break out off main
loop wh
e
n
printer n
o
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
a
ege
iscc: sup
p
ort extended Pol
y
L
i
b out
p
u
t
f
o
rmat
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oola
e
ge
co
n
f
igu
r
e
.
in:
perform check f
o
r
GMP support i
n
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolae
g
e
iscc: add compositio
n
operation on piecewise qu
a
sipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
is
c
c: add
depende
n
ce
a
nalysis operatio
n
s
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
iscc: regis
t
er extra
k
e
ywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
use isl t
o
perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
allow building
w
ithou
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
P
o
lyhe
d
r
on_Reduc
e
d_Bas
i
s: optionall
y
u
se
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
f
i
x
dependence
on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Ve
r
d
o
olaege
i
s
l_map_
c
ar
d
: use is
l
for factorization
commit
|
commitdiff
|
tree
2010-09-14
S
v
e
n Verdoolaeg
e
isl_map_card: split dim
e
nsion f
i
d
dling fro
m
convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
isl_ma
p
_card:
use isl_pw_qpolynomial_sum if reques
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaege
barv
i
nok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
updat
e
isl for fix in param
e
ter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolae
g
e
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n
Verdool
a
ege
i
s
c
c
:
add lexicographic o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl to v
e
rsion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
iscc: add "source" ope
r
ati
o
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdo
o
l
a
eg
e
iscc: add supp
o
rt for
s
trings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdo
o
l
a
ege
iscc: print
e
rror message on us
e
of unknown
ide
n
tifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Ver
d
ool
a
ege
iscc:
s
upport union
sets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoo
l
aege
add is
l
_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
laege
b
a
rvinok_bound: use
i
sl to sp
l
it periods
commit
|
commitdiff
|
tree
next