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
iscc: support ub even if GiNaC support was not compiled in
2010-05-14
Sv
e
n V
e
rd
o
olaege
iscc: support ub even if GiNaC su
p
port was
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
add generi
c
isl_pw_qpoly
n
omial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
u
pd
a
te isl for
isl_pw_qpolynomial_bound
_
range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound:
use isl during ver
i
f
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_
b
ou
n
d: use isl
during ve
r
i
f
ication
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
v
erify
.
c: extrac
t
so
m
e helper fun
c
tions for
i
sl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoola
e
ge
i
ntroduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c
:
fix p
r
intf format
commit
|
commitdiff
|
tree
2010-05-10
S
ven Verdoolae
g
e
iscc: add
application operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
dool
a
ege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
scc: fre
e
opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
update i
s
l for reading of s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdo
o
l
a
e
ge
up
d
a
t
e is
l
f
or fix in
i
sl_
p
r
i
nter_print_pw
_
qpolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoolaeg
e
update isl-poly
l
ib for change
in pkg-con
f
ig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
o
olaege
i
s
cc: a
l
l
o
w specificatio
n
o
f
out
p
u
t format
commit
|
commitdiff
|
tree
2010-04-13
S
ven
Verdoolaege
u
pdate isl for change
in isl_set_g
i
st argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl
fo
r
rename of is
l
_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configu
r
e
.
in: add isl flags an
d
l
i
bs to
p
kg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verd
o
olae
g
e
iscc: test isl_s
t
ream for eof
r
ath
e
r than th
e
underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
iscc: add delt
a
s operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
update
i
s
l
f
o
r fix i
n
isl_
m
ap_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
ae
g
e
d
r
op barvinok_enumerate_pip_
w
ith
_
option
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
oo
l
aeg
e
iscc: add cross pro
d
uct
oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Ver
d
oolaege
iscc: add
coales
c
e ope
r
atio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaege
update isl for
i
sl_pw_qpoly
n
o
mial
_
co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
drop "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
erdoolaege
test_bou
n
d
.
cc: fix printf
f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-03-27
S
v
en V
e
rdoolaege
be
r
nstein
.
c
c
:
fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
evalue_
r
ange_p
r
op
a
gation: fix sub
s
titution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolae
g
e
bernstein/configure
.
in: use a
b
solute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
o
n
l
y distribute b
u
ndled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update
omega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
doola
e
ge
con
f
i
g
ure
.
i
n:
a
l
low "build
"
Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_qpolynomial_f
o
ld_f
r
om_ginac: han
d
le fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
d
oo
l
aege
is
l
_qpo
l
ynomial_from_g
i
nac: expand ex
before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
olae
g
e
isl_ob
j
_list
.
c
:
updat
e
to use of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
Verdoolaege
isl_pw_qpolyn
o
mial_uppe
r
_bound: set up var
i
abl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdo
o
laege
iscc: add some com
p
arison operation
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
add inverse operati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoo
l
ae
g
e
iscc
:
fix up type o
f
find_matching_bi
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdo
o
l
a
ege
i
scc: add
affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdo
o
la
e
ge
iscc
:
ad
d
operat
i
on to
construct unive
r
sal map f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add "j
o
in
"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add
i
nters
e
ct_domain
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow o
v
erloading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
is
c
c: add more dom o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoo
l
ae
g
e
do
c
: reor
g
anize table of
i
sc
c
operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
upd
a
te i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoola
e
ge
barvinok
0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTH
O
RS:
u
pdate support inform
a
tion
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
e
rdoolaeg
e
rand
o
mv
e
c
t
or: doubl
e
size of
coefficien
t
s o
n
eac
h
attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
s
cc:
support transitive closur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
u
p
d
a
te isl to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
cc: enume
r
ate_vd: remove u
n
u
s
ed variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
eva
l
ue
.
c
: Polyhe
d
ron
_
Insert: add missin
g
r
e
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
o
olaeg
e
evalu
e
.
c: redu
c
e_eval
u
e
: remove u
n
u
s
ed variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaeg
e
isc
c
: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolae
g
e
add isl_pw_qpol
y
nomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
isc
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpoly
n
omial_to_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdo
o
laege
update isl fo
r
isl_pw_qpolynomial_for
e
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
rdoolaege
rename e
v
a
lue2isl
t
o i
s
l_pw_qpolynomial_
f
r
o
m
_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven V
e
rdo
o
laege
iscc
:
detect more kinds
of
e
rro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
barvinok_enume
r
ate: use is
l
d
u
r
ing the verificati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
oolaege
a
dd iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
ad
d
isl_s
e
t_card and isl_
m
ap_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdoo
l
aege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
evalu
e
_con
v
er
t
: e
x
port as appli
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate
_
e: o
p
tionally use i
s
l
t
o proj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
a
d
d isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
doolae
g
e
A
X
_
SUBMODULE:
ac
c
ept "-" in
m
odulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolaege
b
arvinok_enumerate: return NaN for
in
f
in
i
te problem
s
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdool
a
ege
remove_all_eq
u
a
l
it
i
es: han
d
le integrally, bu
t
not r
a
ti
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvinok
_
enumerate_e
:
a
l
w
ays re
t
ur
n
a
partit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
bar
v
inok_e
n
umerate: ch
e
c
k th
a
t dime
n
sion of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
part
i
tion2enumeration: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verdoolaeg
e
up
d
at
e
piplib for change in
configur
e
op
t
i
o
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
update omega
for con
f
iguration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdo
o
laege
barvino
k
_count
_
with_options
:
check r
e
turn v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdo
o
laege
Polyhedron_Sa
m
ple: plug
memor
y
leak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolae
g
e
summate
.
c:
add
m
issing include
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
topcom
.
c
:
support newer v
e
r
s
ions of
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ve
r
d
oolaege
to
p
com
.
c: compute
_
domain: skip vertic
e
s
w
i
tho
u
t domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
d
o
c
:
reflect th
a
t --enable-
f
ractional is
no
w
th
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_pol
y
hedron_affine_s
i
gn: special case 0
D
polyhed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
doo
l
a
e
ge
Polyhedron_
I
nsert_
C
olumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verdoolaege
Polyhedron_Factor: fix updating o
f
group
s
commit
|
commitdiff
|
tree
2009-10-06
S
ven
V
erdoolaege
co
n
fig
u
r
e
.
i
n: use AX_SUBMOD
U
LE instea
d
of BV_S
U
BMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdo
o
l
a
ege
r
e
move_equalities: use Polyhedron_Preimag
e
inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barv
i
nok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
V
e
rdo
o
l
a
ege
doc: ad
d
exp
e
r
imental
co
m
parison between o
l
d and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
lexmi
n
.
cc: remove "anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ve
r
dool
a
e
ge
doc: add some less common
.
s
t
y file
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever
"
Lau
r
ent
e
xpansion based sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_No
n
_Zero
t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
e
xtract out param_polynomial fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
erdoolaege
extract vertex_cone fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
next