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: add @ operator
2010-03-09
Sven Verdoo
l
aege
iscc:
a
d
d
@ operator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
oolaege
iscc:
a
dd "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add is
l
_
p
w_qpolynomial_u
p
per_b
o
un
d
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erd
o
o
laeg
e
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpoly
n
o
mia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add
i
sl_
p
w_qpolynom
i
al_to_e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
laege
update isl for isl_pw_
q
polyno
m
ial_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
rena
m
e e
v
alu
e
2isl to isl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaeg
e
iscc:
detect m
o
re kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoo
l
aege
barvin
o
k_enume
r
ate: use isl during the verifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add
i
s
l
_set_card and isl_ma
p
_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
a
dd evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
olaege
evalu
e
_convert: ex
p
ort as application
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
ba
r
vinok_enumerate_e: option
a
lly
u
se isl to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl su
b
m
odule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX
_
SUBMODULE: acce
p
t
"
-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
olaege
barvinok_
e
n
u
m
e
ra
t
e: return Na
N
for infini
t
e problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verd
o
olaege
re
m
o
v
e_
a
ll_equalities: hand
l
e integr
a
lly
,
but not
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaege
barvinok_e
n
u
m
e
r
ate_e: always return
a
p
a
rtition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvin
o
k_enume
r
ate: c
h
e
c
k
that dime
n
sion
of i
n
p
u
t includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolae
g
e
par
t
i
t
ion2
e
n
u
mera
t
ion: chec
k
th
a
t inp
u
t is r
e
ally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doola
e
ge
u
pdate piplib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaege
update
o
mega for configuration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
b
a
rvinok_co
u
nt
_
with_options: check retu
r
n value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
P
o
ly
h
edron_Samp
l
e:
plug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c
: add
m
is
s
ing
i
ncl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
topcom
.
c: support newer version
s
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoola
e
ge
topcom
.
c: comp
u
te_domain: skip vertices
w
itho
u
t domain
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verd
o
ol
a
ege
polytope_minim
i
ze: take constant t
e
rm to be zero wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
doc: re
f
lect t
h
at --enable-
f
ractional
i
s
no
w
th
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoo
l
a
e
ge
glpk_
p
olyhedron
_
affine_sign: sp
e
c
ial case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
P
olyhedron_Ins
e
rt_Col
u
mns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
S
ven V
e
rdoolaege
Polyhedron_
F
a
c
tor:
fix upda
t
ing of groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoolaege
configure
.
i
n
: use A
X
_SUBMODULE inste
a
d of BV_SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
o
olaege
remov
e
_eq
u
alities: u
s
e P
o
lyhedron
_
Pr
e
i
m
a
ge inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
: add
e
xperimen
t
al
comparis
o
n betw
e
en old a
n
d
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
lexmin
.
cc: remo
v
e
"ana
c
hronism"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
ola
e
ge
doc:
a
d
d some l
e
ss common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add
"clever" Laurent
e
xpa
n
sion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
m
o
ve Last_Non_Zer
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
doolaege
extract
out
param_polyno
m
ial from la
u
ren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
extract vertex_cone from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaeg
e
NTL_QQ
.
cc
:
add stdio i
n
clude
f
or EOF hidden
in NTL
_
io
_
vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven V
e
r
doola
e
ge
update po
l
ylib for
spe
e
d
imp
r
o
v
ement in in
_
domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verdoola
e
ge
upda
t
e
p
ipli
b
fo
r
d
istribution is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en
V
erdoolaege
Polyhedron_Fact
o
r: fix mer
g
ing o
f
gr
o
ups o
f
c
o
lum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok
_
enumerate_se
r
ies: do
n
't check for rev
l
ex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolae
g
e
(
t)cou
n
t
er: mo
v
e counter
:
:reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep
b
ette
r
t
r
ack of
f
ailed t
e
sts
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
e
r
do
o
l
a
ege
a
dd semigro
u
p_hole
s
application
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
Line_Length: handle 0D poly
t
ope in
1
D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
gen_fun: add is_zero
m
ethod
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
barvinok_en
u
me
r
at
e
_e_series: remove
e
qua
l
ities in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdo
o
laege
d
o
c
: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k
_
enu
m
e
rat
e
_
e_series: handle all existent
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verd
o
olaege
series
.
cc:
make p
r
o
j
e
c
t
s
t
atic
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
r
doolaege
barvinok_enumerate_e_series:
handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
aege
add test set
from th
e
other itsl20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Ve
r
doolaeg
e
.
gitignore
:
i
g
nore ob
j
e
c
t
file
s
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdool
a
e
g
e
g
e
n
f
unc
.
cc: p
a
rallel_polytopes: detect 0D pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
Verdoolaege
configure
.
in: se
t
AC_CONFIG_MACRO_DI
R
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Verdoolae
g
e
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
oolaege
P
o
lyhe
d
ron_Factor:
handl
e
p
o
lyhedra with a non-trivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdoolaege
u
p
da
t
e piplib for change i
n
con
f
igure argume
n
ts
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdo
o
laege
tes
t
_approx
.
c
: add d
u
mmy field in dum
m
y
t
ms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaeg
e
configu
r
e
.
i
n:
avoid introduc
i
n
g empty
elem
e
nts
in P
K
G_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaeg
e
occ: define O
M
IT
_
GETRUSAGE
i
f sys
/
resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omeg
a
_inte
r
face/Makefile
.
a
m
: put depe
n
ding
l
i
br
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
confi
g
ure
.
in: add $(EXEEXT) to optional
o
c
c
fo
r
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ver
d
oolaege
upd
a
t
e omega for
MinGW c
o
mpa
t
ibility
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
Verdoola
e
ge
bernstein/configure
.
in
:
add missing AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoolaege
ge
n
fu
n
.
cc: ad
d
br
a
ce
s
round extern "C" typed
e
f
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verdoolaege
v
e
ctor_
p
a
r
tit
i
on_chamb
e
rs: comp
u
tes
c
hambers of vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Verdool
a
ege
barvinok
.
cc: remove un
u
s
e
d nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Ve
r
doolaege
update piplib f
o
r MinG
W
com
p
atibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Ver
d
oolaege
updat
e
po
l
ylib for
MinGW com
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
S
ve
n
Verdoolaege
fdstream
.
c
c: don'
t
(re)declare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven
Ver
d
oolaege
evalue
.
c: in_domain: special-case 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verd
o
olaege
Avoid use of sys/ti
m
es
.
h header
when not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
g
e
a
d
d gn
u
lib ge
t
s
ubopt mod
u
le for Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
S
ven V
e
r
d
oolaege
R
EADME: mention that GiNaC is
a
lso needed for
t
he Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolaege
Allow
build of occ
when using
b
undled o
m
e
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add a r
e
ference to a master thesis actually
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
R
E
A
DM
E
: fix up
install
a
tion instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
Add files generated b
y
b
ison a
n
d flex
t
o the dist
r
ibution
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdo
o
laege
updat
e
polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update
p
iplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdool
a
ege
ev
a
lue
.
c: affine2evalue:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdo
o
lae
g
e
evalue
.
c: eval
u
e_level_cmp: p
r
oduce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven V
e
r
d
o
o
lae
g
e
do
c
:
add another
p
aper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
pie
c
ewis
e
_lst
.
h: avoid d
u
plicate para
m
et
e
r name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolae
g
e
ev
a
lue_
r
ead
.
c: fi
x
minor
b
ug
s
i
n
to
k
enize
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
laege
update omega for
m
issing files in distribut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
b
a
rvinok_e
n
um
e
rate_e
:
avoid infi
n
i
te loop when present
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include
o
mega
s
u
bm
o
d
u
le
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
move omega subdir to omega
_
interface
commit
|
commitdiff
|
tree
next