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 Verdoolae
g
e
barvinok_bound: use isl i
n
te
r
face for
c
omputing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
doolaege
iscc:
s
u
p
port ub even
if
G
iNaC suppor
t
wa
s
n
ot compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
ad
d
generic isl_pw_qpol
y
nomial_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolae
g
e
u
pdate
isl for isl_pw_qpo
l
ynomial_bound_r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound: us
e
isl
d
uring verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
barv
i
nok_b
o
u
n
d:
u
se i
s
l
during verif
i
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c:
e
xtract some helper functi
o
ns fo
r
is
l
base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
option
s
.
c:
fix p
r
intf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
Ve
r
doolaege
iscc: add application op
e
rations
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoola
e
ge
iscc: add r
e
ad operation
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
iscc: free
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
V
erdoolaege
u
p
date isl for
r
eadi
n
g of strings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rdoolaege
update isl for fix in isl_prin
t
er_
p
rin
t
_pw_qpo
l
y
nom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doo
l
aege
update isl-polylib
f
or ch
a
ng
e
i
n pkg-config fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
iscc: allow specification of
o
utput f
o
rmat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
upda
t
e isl
f
o
r
chang
e
in is
l
_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoo
l
a
e
ge
up
d
at
e
isl for ren
a
me of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in
:
a
d
d isl
f
lag
s
a
nd
l
i
b
s to pkg-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc:
t
est
i
sl_stream for eof rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdoolaege
is
c
c: ad
d
deltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
S
ve
n
Verdoolaege
u
p
d
a
te
i
sl for fix in i
s
l_ma
p
_
deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaeg
e
drop
ba
r
vinok
_
e
numerate_pip_with_opt
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdool
a
ege
i
scc:
a
dd cr
o
ss
p
rod
u
ct operations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n V
e
rdo
o
laege
i
scc: add
c
oal
e
sce ope
r
ations
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
Ve
r
d
oolaege
update isl
f
o
r
i
s
l_pw_qpoly
n
o
m
ial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
drop "Omega c
o
unting calcul
a
tor
"
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
e
rdo
o
laege
test_
b
ou
n
d
.
c
c
:
f
ix printf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
bern
s
t
ein
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdo
o
laege
e
v
alue_r
a
nge_propagation: fix substitutio
n
for n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaeg
e
bernstein/conf
i
gu
r
e
.
i
n
:
use absolute srcdir of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaeg
e
only distribute bundled
s
ubm
o
dules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update
omega for co
n
figuratio
n
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
V
e
r
doola
e
ge
c
o
nfigu
r
e
.
in
:
allo
w
"
b
u
i
ld" Poly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
S
ven
Verdoolaege
i
sl_qpolyn
o
mial_
f
old_from_ginac:
h
andle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_fr
o
m
_ginac: expand ex be
f
ore
i
nspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_ob
j
_
list
.
c:
u
pdat
e
to
u
s
e o
f
isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
isc
c
: add g
i
st opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
update isl
f
or introduction of i
s
l
_p
r
i
n
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
i
s
l
_pw_
q
pol
y
nomi
a
l
_upper
_
bound: s
e
t up
v
ar
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdo
o
laege
iscc: add som
e
comparison ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
iscc: add inver
s
e
o
p
eration
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
V
e
rdoolae
g
e
iscc: fix up type of
f
ind_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolae
g
e
iscc
:
a
dd
a
ffin
e
hull
o
p
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: ad
d
o
peration to
const
r
uct uni
v
ersa
l
map
f
ro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "join" o
p
er
a
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc: add intersect_
d
omain oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
is
c
c
: allow ove
r
loading
binary
ops
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdool
a
ege
iscc: add more dom oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Verdool
a
ege
doc
:
reo
r
ganize t
a
ble of iscc
oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolae
g
e
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
ool
a
eg
e
ba
r
vino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Verdoolaege
AUTHORS: update support informatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
a
ndomvector: doubl
e
siz
e
of coeff
i
ci
e
n
ts on each
attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdo
o
laege
i
s
cc:
s
u
pport tra
n
sitive
c
l
o
sur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
up
d
ate isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
barvinok_e
.
cc: enumerate_vd: remove unus
e
d
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
ev
a
lue
.
c: Poly
h
ed
r
on_Insert:
a
dd
missing r
e
turn type
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoolae
g
e
evalue
.
c:
r
educe_
e
val
u
e
:
remove unused
v
a
r
i
able
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolae
g
e
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoo
l
aege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
a
d
d isl_
p
w
_
qp
o
lynomial_u
p
per_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doo
l
a
ege
i
s
cc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw
_
qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add is
l
_pw_q
p
olynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
u
p
d
ate isl for isl_pw_qp
o
lyno
m
ial
_
foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rena
m
e eval
u
e2isl to isl_pw_qpolynomial_f
r
om_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
erdoolaege
iscc: detect mo
r
e
kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
d
o
olaege
ba
r
vinok_enu
m
erate: use is
l
dur
i
ng the verific
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd isl_set_car
d
and isl_map
_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laeg
e
a
d
d evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
evalue_convert: e
x
p
o
rt as ap
p
lication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olae
g
e
barvinok_enumerate_e:
o
p
tionally u
s
e
i
sl to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
o
olaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
A
X_SU
B
MO
D
ULE:
a
cc
e
pt "-"
i
n
modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
bar
v
inok_enume
r
at
e
: return
N
a
N for infinite p
r
oblem
s
commit
|
commitdiff
|
tree
2010-01-28
S
v
e
n Verd
o
o
l
aege
remov
e
_al
l
_equa
l
ities: handl
e
i
ntegrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoo
l
a
e
ge
bar
v
ino
k
_e
n
umerat
e
_e: always return
a partition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
V
erdoolaege
barvinok_
e
numerate
:
che
c
k that dimension of
i
nput inclu
d
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
e
r
d
ool
a
ege
p
artition2enu
m
eration: chec
k
tha
t
input
is re
a
lly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoo
l
aege
u
p
date piplib for chang
e
in configure
o
ptions
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaege
upda
t
e omega for configurati
o
n
/
compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doo
l
aeg
e
b
a
rvino
k
_count_wit
h
_options:
c
heck
return va
l
ue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
o
l
aege
Poly
h
edro
n
_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
s
ummate
.
c: add missin
g
incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
lae
g
e
topcom
.
c: s
u
pport
newe
r
ve
r
si
o
ns of
TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c:
compute_domain: skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_
m
inimize: take cons
t
ant term to be zero wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
d
oc: reflect t
h
at --e
n
able-fracti
o
nal is now the defaul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_po
l
yhedr
o
n_affine_sign:
s
pecial case 0D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoola
e
ge
Polyhedron_Insert
_
C
o
lumns:
f
i
x
typ
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Factor: fix
up
d
ating
o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoolaege
configu
r
e
.
in: use AX_SUBMODULE
i
nst
e
a
d
o
f
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven V
e
rdoola
e
g
e
remo
v
e_
e
qualities
:
use
Polyhedr
o
n_P
r
e
i
mage in
s
te
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verd
o
olaege
doc:
add ex
p
eri
m
ental compa
r
ison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aeg
e
lex
m
in
.
cc: re
m
ove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
a
e
ge
doc:
f
ix t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc
:
ad
d
so
m
e less common
.
sty files
commit
|
commitdiff
|
tree
next