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
isl_pw_qpolynomial_sum: handle existentials in non-wrapped domains again
2011-03-18
Sven Verd
o
o
la
e
ge
isl_pw
_
q
p
o
lynomial
_
sum: handle
e
x
istentia
l
s in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
olaege
drop
pi
p
lib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ver
d
o
olaege
stop u
s
in
g
pi
p
as LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
doc
:
constr
a
in
t
s
no l
o
nger ne
e
d
to be specifie
d
in D
N
F
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rd
o
o
l
aege
iscc: parse lis
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
add isl_list_add_
o
bj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoola
e
ge
iscc:
p
arse booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoola
e
ge
isc
c
: allo
w
inter
r
u
ptio
n
of co
m
p
u
ta
t
ion from the key
b
oard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sve
n
Verdoolaege
avoid use of i
s
l_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
V
erdoola
e
ge
isl_ob
j
_str:
p
rint
q
uotes around
s
tri
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
i
scc
:
k
e
ep
t
rack of
i
ntermediate r
e
sults
i
n int
e
rac
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ve
r
doolaege
iscc:
a
d
d pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
iscc: add zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sv
e
n Verdoolaege
iscc:
add d
e
ltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
doolaege
lexmi
n
: as
s
ume unk
n
owns an
d
p
arameter
s
are
non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Verdoola
e
ge
l
e
x
m
in: u
s
e i
s
l to read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
a
ls
o
perform lexmin check
in absence of GLP
K
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ver
d
oolaege
polysign: add isl-backed version
a
nd use i
t
by de
f
ault
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
d
o
o
la
e
ge
update isl-p
o
lylib
for fix
i
n header fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
up
d
ate i
s
l for
change in isl_flow_get_no_sou
r
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdo
o
laege
doc: document isl modulo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
isc
c
:
rea
d
_l
i
ne:
fix return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Ver
d
oolaege
eva
l
ue_isl
.
c: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
iscc: add operations on i
n
t objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
update is
l
for introduction of int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
V
e
r
doolaege
add isl
_
basic_set_c
a
rd and isl_bas
i
c_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
olaege
document isl_unio
n
_
set_apply
_
union_pw_qpolynomia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
r
emove
p
olyhedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoo
l
aeg
e
remove poly
t
ope_m
i
ni
m
ize ap
p
lication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhedron_Sample: use
isl u
n
c
on
d
iti
o
nally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verd
o
o
l
aeg
e
remov
e
combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ve
n
Verdo
o
la
e
ge
b
u
i
ld libisl and lib
p
o
l
ylibgmp b
e
fo
r
e libisl
-
polyli
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
iscc: supp
o
rt application
of piecew
i
se
quasip
o
lynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
doc: fix documentation o
f
join
of
m
aps and
fold
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaeg
e
add isl_un
i
on_set_
a
pp
l
y_uni
o
n
_
p
w
_qpolyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
update is
l
for
export
of isl_union_map_from
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
ol
a
e
g
e
iscc: add write op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: optionally di
s
able read operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven
V
erdoo
l
aege
d
o
c: expla
i
n
c
omma operator in a
set descri
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: add
typeof op
e
rator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add i
s
l_str_
f
rom_s
t
ring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoola
e
g
e
iscc
.
c: use C99 des
i
g
nated
i
n
i
tia
l
izers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: minor improvement in error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oo
l
aege
iscc
:
ad
d
d
o
m
a
i
n_map an
d
r
ange_
m
ap o
p
era
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rd
o
olaeg
e
iscc: add "domain" and "r
a
nge"
synony
m
s for "dom
"
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
upda
t
e
isl to v
e
rsion 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
ege
iscc: d
o
n't allow code generation on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven V
e
rdoo
l
aege
u
p
date isl to ver
s
ion 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoola
e
ge
avoid use of i
s
l_set
and isl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
r
doolaege
s
e
parate out isl inte
r
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaeg
e
co
n
figu
r
e
.
in: propagate absolute isl builddir t
o
su
b
module
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
ven Verdool
a
ege
up
d
ate
isl for rename of hea
d
er
f
iles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
evalu
e
_
f
loor2frac:
don't
assume coefficients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
V
e
r
doolaege
test_b
o
und: stop testing
a
fter pre
d
etermined
n
umber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
barvinok
_
b
o
u
n
d:
rewr
i
te in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
b
a
rvinok_{summate,bound}: take isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
er
d
oola
e
ge
t
e
st_bound
:
switc
h
to isl repre
s
entation even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
e
st_bound: switch to
isl
represe
n
tation
earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
iscc:
add p
o
lynomial ap
p
roximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Verdoo
l
aege
barvinok_summate: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_su
m
mate: use isl interf
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ve
r
dool
a
ege
b
ound
.
cc: drop
d
ead
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven V
e
rdoolaege
doc:
m
ore inf
o
rmat
i
on about using sets and m
a
ps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: updat
e
some re
f
erences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc
:
add poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolae
g
e
iscc: add scan
o
p
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven V
e
rdoolaege
isl_pw_
q
polynomial_sum: handle exis
t
en
t
i
a
ls in w
r
apped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
up
d
ate
i
sl for
renaming of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Ve
r
d
o
olaege
version
.
c:
s
how use of C
L
o
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
V
erd
o
olaege
doc: a b
i
t
m
ore info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
e
rdoolaege
iscc: add bef
o
re
and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
iscc: add i
d
enti
t
y operation
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
i
scc: break
o
ut off main lo
o
p
when prin
t
er no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
iscc:
s
upport extended Poly
L
ib outp
u
t for
m
at
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
V
e
r
doolaeg
e
configur
e
.
i
n
: per
f
o
rm c
h
eck for G
M
P
support i
n
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
i
scc: add co
m
position o
p
erat
i
o
n on piecewi
s
e quasip
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ver
d
o
o
laege
iscc: add dependence analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
i
scc: register
extra
k
eywords in generic
w
ay
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
use
i
sl to
p
erfor
m
"man
u
al_c
o
u
n
t"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ve
r
doolaege
a
l
low building with
o
u
t pi
p
lib
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoola
e
ge
P
o
ly
h
edron_Reduce
d
_Basis: optional
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
fix
dep
e
ndence on buil
d
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaeg
e
isl_map_card: use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven
V
erdo
o
l
a
e
ge
isl_map_
c
ard: s
p
lit dim
e
nsion fiddlin
g
from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdo
o
laege
isl_
m
ap_card
:
u
s
e isl_pw_qpol
y
nomial_
s
um if
request
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
ba
r
vin
o
k 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n Verdoolaege
update isl for f
i
x in paramete
r
alignme
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdo
o
lae
g
e
barv
i
nok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaeg
e
iscc: a
d
d le
x
i
c
o
g
rap
h
ic operat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaeg
e
u
p
d
a
t
e isl
t
o version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
Verdoolae
g
e
iscc: add "source"
o
per
a
t
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: a
d
d
s
u
pport for st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdo
o
laege
isc
c
: pr
i
nt error message on use o
f
unknow
n
i
denti
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: support union sets in ver
t
ices
opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rdoolaege
add is
l
_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
lae
g
e
barvin
o
k
_
b
ound:
use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoolaege
update isl for isl_pw_qpolynomial_split_pe
r
io
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
doc: mark PolyLib inter
f
ace obs
o
lescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
Makefile
.
a
m: drop referen
c
es to obso
l
ete
@
bv_
b
arvinok
_
bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
e
value_
c
onve
r
t
.
cc:
ev
a
l
ue_p
r
i
n
t_isl:
print end-o
f
-
l
ine
commit
|
commitdiff
|
tree
next