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
configure.in: drop call to gl_EARLY
2010-03-09
S
ven Verdoolaege
a
d
d isl
_
pw_qpo
l
ynomia
l
_to
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoola
e
ge
update isl for
is
l
_
p
w_qpol
y
nomial_foreach_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
rename evalue2isl to isl_pw_qpolynomial_from_e
v
alu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoo
l
a
ege
iscc: det
e
ct more
k
inds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoola
e
g
e
barvinok_enumer
a
t
e
: use isl during
t
he verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdoolaege
add i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoolaege
add is
l
_s
e
t_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
ev
a
lue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdo
o
l
aege
evalue
_
convert: ex
p
ort as application
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verd
o
olaege
bar
v
inok_en
u
merate_e: optionally
use isl to projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
dool
a
e
g
e
add isl submo
d
ule
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaege
AX_SUBMODULE
:
accept "
-
" in
modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
b
a
rv
i
nok_
e
numerate:
r
eturn Na
N
for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdo
o
laege
rem
o
ve_
a
l
l_equ
a
li
t
ies: hand
l
e int
e
grally, but not
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
e
rdoolaege
barvinok_enumerate_e: a
l
ways r
e
tur
n
a par
t
ition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
barvin
o
k_enumerate: check that dimension
of input
inclu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoolaege
partition2enumeration
:
c
h
e
c
k that
inp
u
t is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Ve
r
d
o
olaege
update
piplib for change i
n
config
u
re
o
p
tions
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolae
g
e
upd
a
te omega for configuration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdo
o
laege
barvinok_
c
o
unt_with_options:
ch
e
c
k
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
V
erdoolaege
Polyhedron_
S
ample: pl
u
g memory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
ool
a
ege
summat
e
.
c:
add missing
i
nclude
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ver
d
oo
l
a
e
g
e
topcom
.
c: support
n
e
wer ve
r
sions
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ver
d
o
ol
a
ege
t
opcom
.
c: compute_domain: skip
ve
r
t
i
ces withou
t
domai
n
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaeg
e
p
o
lytope_mini
m
ize: take c
o
nstant
t
erm
t
o
b
e
z
e
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n V
e
r
doolaege
doc:
r
eflect that --enable-f
r
actional
i
s
no
w
the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
a
ege
g
l
p
k_polyhedron_affine
_
sign: special case 0D poly
h
edr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
P
o
lyhed
r
on_Insert
_
Columns: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n
Verdoolaege
Polyhedro
n
_Factor: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdool
a
e
g
e
confi
g
ure
.
i
n
: use
AX_SUBMODULE ins
t
ead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Verdool
a
ege
re
m
ove_equalities: use Po
l
yhedron
_
Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
bar
v
in
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc
:
a
dd experi
m
ental com
p
arison betwee
n
o
ld
a
nd ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
lexmin
.
c
c: remove "ana
c
hron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven
Ve
r
doolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doo
l
aege
doc: add so
m
e less
c
om
m
o
n
.
sty file
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "cl
e
v
e
r
"
Laurent expansion bas
e
d
s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
a
ege
move Last_Non_Z
e
r
o to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdool
a
ege
extra
c
t out
param_polyno
m
ial
f
rom la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aeg
e
ex
t
ract
v
er
t
ex_cone from
l
aurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
d
oolaeg
e
NTL_QQ
.
cc
:
add s
t
dio
i
nclude for E
O
F
h
idde
n
in
N
TL_io_
v
ec
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoola
e
ge
u
p
d
a
te po
l
y
l
i
b fo
r
speed improvement in in_d
o
ma
i
n
commit
|
commitdiff
|
tree
2009-06-12
S
v
en
Verdoolaege
update piplib fo
r
d
i
stribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en
V
e
r
d
oolaege
Polyhedron
_
Factor: f
i
x mer
g
ing
of
gro
u
ps of co
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_
s
eries: do
n
'
t
c
h
eck for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)
c
ount
e
r: move counter::reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ver
d
oolaege
Makefi
l
e
.
am: keep better track of f
a
iled tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add s
e
m
i
grou
p
_
h
oles
a
pplicati
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
eg
e
Li
n
e_Length: handle
0D
poly
t
o
p
e in 1D
s
pace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
gen_f
u
n: add
i
s_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
bar
v
inok_en
u
merate_
e
_series: remove equ
a
lities in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok
_
enumerate_
e
_series: h
a
ndle
a
ll
existen
t
ial
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
seri
e
s
.
cc: make p
r
oject static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvi
n
ok_enum
e
rate_e_
s
er
i
es: handl
e
all equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add tes
t
set
f
rom the oth
e
r itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
.
git
i
gnore: ignore object
f
ile
s
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Ver
d
oolaege
genfunc
.
cc: parallel_polytopes: det
e
ct 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
co
n
figure
.
in: set
A
C_CONFIG_MACRO
_
DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoo
l
aege
a
d
d pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Factor: handle polyhedra wit
h
a non-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
u
pdate piplib
for c
h
ange in con
f
igure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verd
o
ola
e
ge
test_approx
.
c: add dummy field in dummy tms stru
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Ve
r
d
o
o
l
a
e
ge
configure
.
in
:
avoid
introducing em
p
ty elem
e
nts in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
occ: define OMIT_G
E
TRU
S
A
G
E if sys
/
resourc
e
.
h canno
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
doolae
g
e
omega_
i
nte
r
face
/
Makefile
.
am: put dep
e
nding lib
r
aries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
config
u
re
.
in:
add
$(EXE
E
XT) to
optiona
l
occ for c
y
gwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoola
e
ge
u
pdate omega for MinGW
c
ompatibility
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
bern
s
t
ein/con
f
ig
u
re
.
in: add missin
g
AC_
P
ROG_C
X
X
commit
|
commitdiff
|
tree
2009-02-04
Sven
Ve
r
dool
a
ege
genfu
n
.
cc: a
d
d braces round extern "C"
typedef
commit
|
commitdiff
|
tree
2008-12-30
S
ven
V
erdoo
l
a
e
ge
v
e
ctor_partition_chamber
s
: com
p
utes
chambers of vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc: remove
unused
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
update pip
l
ib fo
r
M
i
nGW
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoo
l
aege
upda
t
e polylib fo
r
MinGW compati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fd
s
t
r
eam
.
cc: don't (
r
e)d
e
clare
f
ileno if it's a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
ge
eva
l
ue
.
c: in_domain: speci
a
l
-case 0D d
o
mains
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oolaege
Avoid use of s
y
s/t
i
me
s
.
h
header when no
t
availabl
e
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n
V
erdoolaege
ad
d
gnulib getsu
b
opt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Ve
r
doolaege
README: mention that G
i
N
aC i
s
also needed for the
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
Allow build
o
f occ when using bundle
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaeg
e
doc: add
a r
e
f
e
rence t
o
a maste
r
thesis actually usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
barvino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
README: f
i
x
up
inst
a
llation
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
A
d
d files generat
e
d
by bison and flex to the
distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaege
evalue
.
c:
affine2evalue: red
u
ce
c
oe
f
ficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
olaege
e
val
u
e
.
c: evalue_level
_
cmp: produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdool
a
e
g
e
d
o
c:
a
dd another paper
r
eferring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdo
o
l
aege
piece
w
ise_
l
st
.
h
:
av
o
i
d duplicate parameter
n
ame
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
evalue_
r
ead
.
c:
fix minor bugs in to
k
enizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaeg
e
update om
e
ga for miss
i
n
g
fi
l
es in di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvinok_e
n
u
m
e
ra
t
e_e: avo
i
d infinite loo
p
when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
o
olae
g
e
incl
u
de omega submodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdool
a
ege
move omega subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
cc: ad
d
stdlib in
c
l
u
d
e for abort hidden in NT
L
_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
ge
remov
e
gnulib link-w
a
rn
i
n
g mod
u
le com
p
l
e
tely
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
lex
m
in
.
c
c: find
a
nd sor
t
ar
e
in std:: nam
e
s
p
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
l
exmin
.
cc: avoid use
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
4coins
.
cc:
remove de
a
d
c
ode
commit
|
commitdiff
|
tree
next