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_bound: use isl interface for computing bounds
2010-05-15
Sven
V
erd
o
olaege
barvinok_bound: use isl interface for comp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
laege
iscc: support ub
e
ven if
GiNaC support was not compiled
i
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add generic isl_pw_qp
o
l
y
n
omial_boun
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
la
e
ge
u
p
da
t
e isl for
isl_pw_q
p
olynomial
_
bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
l
aeg
e
test_bo
u
nd: u
s
e
isl during veri
f
ica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ver
d
oolaege
b
arvinok
_
bound:
u
se is
l
durin
g
verificat
i
on
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
verify
.
c: ex
t
ract some helper functions
f
o
r
i
s
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
introduce
"
bou
n
d" o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
opt
i
ons
.
c:
f
ix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
e
r
d
oolaege
i
scc: add appl
i
cation opera
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdo
o
l
aege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update i
s
l for reading o
f
strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
ola
e
ge
upda
t
e
i
sl for fix in
i
sl_p
r
int
e
r_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
pda
t
e isl-polylib for change in pkg-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
iscc: al
l
ow specif
i
cation of outpu
t
fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
update
i
s
l
for change i
n
isl_set_gi
s
t
argument
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rd
o
olaege
upda
t
e isl fo
r
rename of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
con
f
i
g
ure
.
in: add isl flags and
l
ibs
t
o pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test isl
_
stream for eof rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoo
l
aege
i
s
cc: add deltas
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
upda
t
e isl f
o
r fix in isl_m
a
p
_
d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
S
ve
n
Verdoolaege
drop barvino
k
_enumerate_p
i
p_with_
o
ptions
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaege
iscc: add cross produc
t
ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-03-31
S
ven Ver
d
oolaeg
e
iscc: add c
o
a
l
e
sce op
e
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdool
a
e
g
e
update isl fo
r
isl_pw_
q
polynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
d
r
op "Omega coun
t
in
g
ca
l
culator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein
.
cc: fix
printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
evalue_range_pr
o
pa
g
ation: fix su
b
s
titu
t
ion for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ve
r
doolaege
bernstein/
c
onfigure
.
in: use abs
o
lute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
only distribute bundled
s
ubmodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolaege
updat
e
ome
g
a for configur
a
tion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdo
o
laege
configure
.
in:
a
l
low "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
lae
g
e
isl_
q
polynomial_fold
_
from_ginac:
handle fail no
d
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
isl
_
q
p
olynomial
_
from_ginac: expan
d
ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoola
e
ge
isl_
o
bj_l
i
st
.
c: update
to use of
i
s
l
_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
iscc: a
d
d
g
ist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
l
aege
isl_pw_qpo
l
yno
m
i
al_upper_bound:
s
et
u
p va
r
i
ab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoo
l
a
e
g
e
iscc: a
d
d
s
o
m
e
com
p
ar
i
son
o
p
eration
s
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Ve
r
dool
a
ege
is
c
c: add inver
s
e op
e
rat
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaeg
e
iscc: fix u
p
type of
f
i
nd_matching_
b
in
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: ad
d
affine
h
u
l
l
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add operati
o
n
t
o c
o
nstruct universal map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: add "jo
i
n" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add intersect
_
d
o
m
ain o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
ae
g
e
iscc:
allow
o
v
e
rloa
d
i
ng binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: a
d
d
m
ore dom
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
doc:
r
e
o
r
g
anize tab
l
e
o
f isc
c
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oo
l
aege
AUTHORS: update support in
f
orm
a
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
randomvector:
d
ouble size
of coefficient
s
on each
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
d
o
o
l
a
ege
iscc: support transitive
closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
doolaege
update isl
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoola
e
ge
barvinok_e
.
cc: enumerate_vd:
r
emove unused va
r
i
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
ge
e
val
u
e
.
c: Polyhe
d
r
on_Insert: add
m
issi
n
g
retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
e
value
.
c
:
r
educe
_
evalue
:
remove unus
e
d variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
add isl_p
w
_qpolynomi
a
l_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_p
w
_qpoly
n
omial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
u
p
date isl for i
s
l_pw_qpolynomial_fore
a
ch_
p
iec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
rena
m
e
e
v
alue2isl
t
o
isl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Ve
r
doolaege
isc
c
: detect mo
r
e k
i
nds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
er
d
oolaege
barvinok_enumerate: use
i
sl d
u
ring the verifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
sl_set_card an
d
isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdool
a
ege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
o
olaege
evalue_convert: export as app
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
b
a
rvinok_enumer
a
t
e
_e: opti
o
nally use isl to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
AX_SUBM
O
D
U
LE: ac
c
ept
"
-"
in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdoolaege
bar
v
ino
k
_enumerate:
r
etur
n
NaN for infinite pr
o
blem
s
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
erdoolaege
remove_all_eq
u
alities: handle integrally,
but n
o
t rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
doolaege
barvinok_enumerate_
e
: always return a parti
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
eg
e
barvi
n
ok_enum
e
rate
:
check that
d
imension of input
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoo
l
aege
partition2enumer
a
tion: check that
i
n
p
ut is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
d
o
ol
a
ege
update piplib for
change in
c
o
n
figur
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
o
l
aege
update omega for co
n
f
igurat
i
on/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
V
e
rdoolaege
barvinok_
c
ou
n
t_w
i
th_o
p
tio
n
s: ch
e
ck return va
l
ue
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
P
o
l
yhedron_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
summate
.
c: add m
i
ssing
inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoola
e
ge
t
opcom
.
c: su
p
port
n
ew
e
r version
s
of
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
topc
o
m
.
c: compute_doma
i
n: s
k
ip v
e
rtices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: r
e
flect th
a
t --en
a
ble-fractio
n
al is now the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
gl
p
k_
p
olyhedron_aff
i
n
e
_sign: special
case
0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erd
o
o
l
aeg
e
Polyhedr
o
n
_
I
n
sert_Columns:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaeg
e
Polyhedron_
F
actor:
f
ix upda
t
ing
o
f g
r
o
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
i
n: use
A
X_SUBMODULE i
n
s
t
ead of BV_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
re
m
o
v
e_equal
i
ties: use Polyhed
r
o
n_
P
re
i
mage ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoo
l
aege
doc: add e
x
p
e
rimental
c
omparison b
e
tween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaeg
e
l
e
xm
i
n
.
cc: remove "anach
r
onism"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verd
o
olaege
doc: add s
o
me less common
.
s
t
y fil
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoo
l
aeg
e
a
dd "clever" Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ver
d
ool
a
ege
m
o
ve Last_Non_Zero
t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
ola
e
ge
extract
out param_polynomial f
r
om la
u
ren
t
.
cc
commit
|
commitdiff
|
tree
next