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
barvinok 0.33
2011-03-18
Sven Verd
o
ol
a
ege
barvino
k
0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isc
c
.
c: fix typo which would
p
revent compilation
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
e
rdoolaege
upda
t
e isl to versio
n
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdo
o
laege
isl_pw_qpolynomia
l
_sum: handle existentia
l
s in no
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
d
r
op piplib submodu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
stop using pip as LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
doc: constraints no longer need to be specified in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
iscc: pa
r
se lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
add isl_list_
a
dd_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc:
p
arse bo
o
leans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verd
o
olaege
iscc: allo
w
i
n
terruption of c
o
mputation from th
e
k
e
yboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Ve
r
doolaege
avoid use of isl_ct
x
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
d
o
ola
e
ge
is
l
_o
b
j_
s
tr: p
r
int
qu
o
te
s
around string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n
Verdoolaege
isc
c
: keep track of intermediate
r
e
s
ults
in interac
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
ola
e
ge
iscc: a
d
d pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
iscc
:
add z
i
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
iscc: add delta
s
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
doolaege
lex
m
in: assume unknowns and
p
arameters ar
e
non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
lexmin: use isl to read in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
e
ge
also perform
lexmin c
h
eck in ab
s
ence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
polysign: a
d
d isl-backed v
e
r
s
ion
a
n
d
use it by defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
update isl-polyl
i
b for f
i
x in header f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolae
g
e
up
d
ate isl fo
r
c
h
ange in isl_
f
low_g
e
t_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Ve
r
d
o
ol
a
ege
doc: doc
u
ment isl m
o
d
ulo
notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
Makefile
.
am: put NTL CFLAGS after isl
C
FLAG
S
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isc
c
:
read
_
li
n
e: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
o
l
a
eg
e
evalue_is
l
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ve
r
d
oolaege
iscc: add
operations o
n
int o
b
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoola
e
ge
update isl for introd
u
ction of int objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
o
la
e
ge
add
isl_
b
asic_set
_
card and isl_basic_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
d
ocume
n
t
i
sl_union_set_appl
y
_
union_pw_qpolynomi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
rd
o
olaege
rem
o
ve
p
o
lyh
e
dron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven V
e
rdoolae
g
e
r
emo
v
e polytope_minimize
ap
p
l
i
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
Pol
y
hedro
n
_Samp
l
e
: use isl
u
nc
o
nd
i
tionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
g
e
remove
c
om
b
ine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
b
uild libis
l
and libpolylibgmp before libisl-po
l
y
l
ib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
iscc: support applicati
o
n of p
i
ec
e
wise quasipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ve
r
doolaege
do
c
: f
i
x documentation
o
f joi
n
of maps and f
o
l
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verd
o
ol
a
ege
add
i
sl_union_se
t
_apply
_
union_pw_
q
polynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aeg
e
update isl for e
x
p
o
r
t of isl_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
is
c
c
: add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olae
g
e
iscc:
o
p
t
ionally
disable
rea
d
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
ven Ve
r
d
oolaeg
e
doc:
e
xpl
a
i
n comma oper
a
tor
i
n a set
descript
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
iscc: add
t
ypeof ope
r
ator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n
V
erdoolae
g
e
add isl_str_
f
ro
m
_str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c: use C99 d
e
signated i
n
itializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Ver
d
oo
l
aege
iscc:
m
inor i
m
p
rovement i
n
error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Ver
d
oolaege
isc
c
: add
d
o
main_map a
n
d range_m
a
p
operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdo
o
laege
iscc
:
a
dd "domain" and "range
"
s
y
nonyms for "do
m
"
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
e
n V
e
rdool
a
ege
update isl to version 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 gener
a
tion on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolae
g
e
update isl to version 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaeg
e
a
vo
i
d
use of isl_se
t
and
isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoolaege
s
e
para
t
e out isl i
n
terfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
Verdoolaege
configure
.
i
n
:
p
ropagate absolute isl
builddir to submodu
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
v
e
n Verdoolaege
update isl f
o
r
r
ename of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
eg
e
ev
a
lue_floor2fra
c
: don't assume coefficients of flo
o
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaeg
e
test_boun
d
: s
t
op testin
g
after predetermined nu
m
ber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oo
l
aeg
e
b
a
r
vinok_bound:
r
ewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Verdoo
l
aege
bar
v
inok_{summate
,
bound}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound:
s
w
itc
h
to i
s
l
r
e
presentation even
e
arlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
test_bou
n
d
:
switch to isl representat
i
o
n
e
arlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
iscc: add
polyn
o
mial approxima
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_summate: rewr
i
te
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n
V
erdoo
l
aege
barvinok_summate:
use isl interfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Verd
o
olaege
bound
.
cc: drop
d
ead co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
v
e
n
Verdoolaege
doc: more
i
nformation ab
o
ut using set
s
and m
a
ps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolae
g
e
doc:
u
pdate some referen
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
isc
c
: add
poly op
e
ratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaeg
e
is
c
c
: add
s
can
o
p
erat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven
Verdoolaege
isl
_
pw_qpolynomial
_
sum: handle existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verd
o
o
l
aege
upda
t
e i
s
l for
ren
a
m
i
n
g
of isl_ma
p
_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
versio
n
.
c: show u
s
e
of CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdo
o
lae
g
e
d
oc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
iscc: ad
d
before and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdool
a
ege
i
s
c
c
:
a
dd identi
t
y operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
l
a
ege
iscc
:
brea
k
out off main loo
p
when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
e
ge
i
s
cc: su
p
port
extended PolyLib
output format
commit
|
commitdiff
|
tree
2010-10-18
S
ve
n
Verdoolae
g
e
configure
.
i
n
: perf
o
r
m
check for GMP support
i
n NT
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdo
o
laege
isl_Po
l
yh
e
dron_Sample
:
add mi
s
si
n
g init
i
ali
z
ation
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
sc
c
:
add
c
ompositi
o
n operation on piecewi
s
e
q
uasipolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
iscc:
add depe
n
de
n
ce ana
l
ysis operations
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaeg
e
i
scc:
r
egister extra
ke
y
words in g
e
n
e
ri
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
use isl t
o
p
e
rform "manual
_
count"
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
allo
w
bui
l
ding wit
h
out piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
Polyhedron_Reduc
e
d_Basis: opt
i
ona
l
l
y use is
l
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoola
e
ge
f
ix depe
n
den
c
e on build isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verdoolaege
isl
_
map_car
d
: use isl for facto
r
izatio
n
commit
|
commitdiff
|
tree
2010-09-14
S
ven Verdo
o
lae
g
e
i
s
l_map_card
:
split
d
imension fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
o
l
aeg
e
isl_map
_
card: u
s
e
is
l
_pw_qpolyno
m
i
al_
s
u
m
i
f
requeste
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdo
o
l
aeg
e
b
ar
v
i
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update isl for fix i
n
pa
r
ameter a
l
ignment
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaege
ba
r
vinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
d
oolaeg
e
iscc: add
l
e
x
ic
o
graphic op
e
rators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
ege
update isl
to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven
V
e
r
doolaege
i
s
cc: add "sourc
e
" op
e
ratio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: add support for strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
is
c
c: pr
i
nt error m
e
ss
a
g
e
on use
o
f unknow
n
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
is
c
c: support
u
nion sets in verti
c
es op
e
r
ation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
add isl_
l
i
s
t_concat
commit
|
commitdiff
|
tree
next