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: take tuple names into account
2010-03-09
Sv
e
n
V
e
rdoolaege
bar
v
inok_e
.
cc
:
e
n
umerate_vd: remove unused
v
aria
b
l
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Pol
y
hedr
o
n_Inse
r
t: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
evalue
.
c:
r
edu
c
e_evalue: remove u
n
u
sed variable
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaege
is
c
c: add
@
o
pe
r
at
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
aege
iscc: a
d
d s
u
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add i
s
l_pw_qpolynomia
l
_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add is
l
_pw_q
p
olynomial_to
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolaege
updat
e
isl for isl_pw_qp
o
lynomia
l
_foreach
_
pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
re
n
ame evalue2isl
t
o isl_pw_qpo
l
ynom
i
a
l
_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verd
o
o
l
aege
iscc: detect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ola
e
ge
barvino
k
_enumerate: use isl during the verifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
doolae
g
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
dool
a
ege
add isl_se
t
_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
value
_
conver
t
: expo
r
t as
a
p
p
li
c
ati
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olae
g
e
barvinok_en
u
merat
e
_e:
optionally
u
se
i
sl
to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
isl
s
u
b
module
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoola
e
ge
AX_
S
UBM
O
DULE: accept "-" in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
barvinok_
e
numerate: return NaN
for i
n
finit
e
prob
l
ems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdoolaege
remove_all_equalities:
handl
e
in
t
e
g
rally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvinok_enumerate_e: always return
a
partiti
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaeg
e
ba
r
vi
n
o
k_
e
numerate: check that di
m
en
s
ion
o
f
input
incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n V
e
rd
o
olaege
pa
r
tition
2
enumeratio
n
: ch
e
c
k that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
u
p
d
a
t
e pipli
b
fo
r
chan
g
e in
c
onfigure
options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
updat
e
omega fo
r
configuration/compilation is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
barvino
k
_c
o
unt_with_o
p
tions: check
r
e
t
urn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_
S
ample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
s
umma
t
e
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
oolaege
t
opcom
.
c: supp
o
rt newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topc
o
m
.
c: compute_domain: skip ve
r
tice
s
w
i
tho
u
t domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaeg
e
polytope_minimize: take
c
o
nstant term to be z
e
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
doc: re
f
lect th
a
t --
e
nable-fractional
is now the defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
Verd
o
olae
g
e
glpk_polyhedron_aff
i
ne_sign: spec
i
a
l
ca
s
e 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
Polyhedron_Insert_Colu
m
ns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoola
e
ge
Polyhedron_Facto
r
: fi
x
u
pda
t
in
g
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoola
e
g
e
configur
e
.
i
n
:
u
s
e AX_SUBMODULE
i
nstead of BV_SUBMOD
U
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equalitie
s
: use
P
olyhedro
n
_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
barv
i
nok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoola
e
ge
doc: add experimental comparison
betw
e
e
n
o
l
d and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lex
m
in
.
cc:
remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaeg
e
doc: fix
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
do
c
:
a
d
d some
less
common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoolaege
add
"
cleve
r
" Lauren
t
expan
s
io
n
ba
s
ed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
move Last_N
o
n_Z
e
ro to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolae
g
e
extract
o
ut para
m
_
poly
n
omial from lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ver
d
oolaege
ex
t
ract
ve
r
tex_cone f
r
om la
u
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
NTL_QQ
.
cc: add
stdio include for EO
F
hidden in
N
TL_
i
o_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update polylib
for
s
p
eed improveme
n
t in
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verdoolaege
update
piplib for distributi
o
n issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
doola
e
ge
Po
l
yhedr
o
n_F
a
ctor: fix merg
i
n
g
of
g
roups of c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
barvino
k
_enumerate_s
e
ries: don't
c
he
c
k for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ve
r
doolaeg
e
(
t)counter:
m
ove
counter::r
e
set() up
t
o coun
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep better t
r
ack of
f
a
i
l
e
d test
s
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ve
r
doola
e
ge
add semigr
o
u
p_holes applica
t
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ve
r
doo
l
aege
L
in
e
_Length
:
handle
0
D pol
y
tope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aeg
e
gen_fun
:
add
i
s_
z
ero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
barvinok
_
enumerate_e_series: remove eq
u
alities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoola
e
ge
barvino
k
_enumerate_e_
s
er
i
es
:
handle
all
existenti
a
ls
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolaege
b
arvinok_enumerate_e_se
r
ies: handle al
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add t
e
st set
f
rom the other
its
l
2
0
08
p
aper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoo
l
aege
.
gitig
n
or
e
: ignore object files
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Ve
r
doolaege
g
e
nfunc
.
cc: parallel_polytopes: detect 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
in: set AC_CONFIG_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoola
e
ge
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doola
e
ge
Po
l
y
hedron_Fac
t
or
:
h
a
ndle pol
y
hedra wi
t
h a non-tr
i
vi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolae
g
e
update
p
i
pli
b
for change in con
f
i
g
u
r
e
arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
test_ap
p
rox
.
c
: add d
u
mmy field in dummy
t
m
s structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven V
e
rdoolaege
c
o
nfigu
r
e
.
i
n
: avoid
introdu
c
ing
e
mpty
e
lements
i
n PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
occ
:
define OM
I
T_G
E
T
R
U
SAGE i
f
sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
o
me
g
a_int
e
rfa
c
e/Makefile
.
am: put depending
libra
r
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdool
a
ege
config
u
re
.
in: add $(
E
XEE
X
T) t
o
option
a
l occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
u
p
date omega fo
r
MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
la
e
ge
be
r
nstein/configure
.
in: add missing
A
C_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
ge
n
fun
.
c
c: add
b
races round extern
"
C
"
typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolaege
vector
_
partit
i
on_chambers: co
m
p
ute
s
chamb
e
rs of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoo
l
ae
g
e
b
a
r
vinok
.
cc
:
remove unused
n
onortho
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
ge
u
pdate piplib
f
or MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update p
o
l
yli
b
f
or MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdool
a
ege
fdstream
.
c
c
: don'
t
(re)declar
e
fileno
i
f it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaege
evalue
.
c: in
_
domain: spe
c
i
a
l-case 0D doma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n V
e
rdoolaege
Av
o
id us
e
o
f sys/times
.
h head
e
r when not
available
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Ver
d
o
o
l
a
ege
add gnulib getsubopt module for MinG
W
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verdoolaeg
e
README
:
m
e
n
tio
n
tha
t
GiN
a
C
i
s also needed
f
or the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
Allow build of
o
c
c
when
using bundle
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaeg
e
doc: add a
r
e
f
e
r
e
n
c
e to a master thesis actuall
y
usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdo
o
lae
g
e
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
README: fix up installation instr
u
c
tions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
Add files generated
by bison and flex to the distri
b
ution
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdo
o
laege
update
p
olyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
updat
e
pi
p
lib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c
:
a
ffine2e
v
alue: r
e
duce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
alue
.
c: evalue_l
e
vel_cmp: produce
m
ore con
s
is
t
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven Verdo
o
l
a
e
ge
doc: add a
n
other pap
e
r
referring to
t
he libr
a
ry
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaeg
e
pie
c
ewise
_
ls
t
.
h:
a
v
o
id duplicate
para
m
eter nam
e
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
e
r
doo
l
ae
g
e
evalue_read
.
c: fix m
i
n
o
r bugs in token
i
zer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaege
up
d
ate omeg
a
for missing files in dist
r
ibu
t
ion
commit
|
commitdiff
|
tree
next