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
S
ven Verdoolaege
is
c
c
: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolae
g
e
iscc:
a
dd
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
a
dd isl_pw
_
q
p
o
l
y
no
m
ial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
dool
a
ege
add
isl_pw_qpolynomi
a
l_s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_pw_
q
pol
y
nomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oola
e
ge
up
d
ate isl for isl_pw_qpolynomia
l
_f
o
reac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
rename evalue2
i
sl to isl_pw_qpolynomial
_
f
r
o
m_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more k
i
nd
s
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
barvinok_enumerate: use isl during th
e
ver
i
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
ad
d
isl_set_card and
i
s
l
_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
ad
d
ev
a
lue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doola
e
ge
ev
a
lue_conv
e
rt: export a
s
a
p
plicatio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
barvino
k
_enu
m
erate_e: o
p
tionally use isl to
proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
AX_SUBMODULE: a
c
cept "-" in modul
e
nam
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
b
arv
i
nok_enumerate: return NaN for
i
nfinite probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_e
q
ualities: handle integrall
y
,
b
ut not rationa
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
e
rdoola
e
g
e
barvinok_enum
e
rat
e
_e: al
w
ays retur
n
a partition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdo
o
laege
barvinok_enumerate:
c
heck t
h
a
t
dimension of i
n
put
i
ncl
u
de
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
partition2enumeratio
n
: check
that
i
nput is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdo
o
laege
up
d
ate piplib for chang
e
in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update
o
mega for configuration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
barvinok_c
o
unt_with_optio
n
s: check return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
Poly
h
e
d
ron_S
a
mple: plug m
e
mory
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoola
e
ge
summate
.
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topcom
.
c: sup
p
o
r
t newer versions of
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_doma
i
n
: s
k
ip
v
ertices without
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
polytope
_
minimize: t
a
k
e
const
a
n
t t
e
rm
t
o
be
zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolae
g
e
doc: refl
e
ct
that --enable
-
frac
t
ional is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doola
e
ge
glpk_polyhedron_af
f
ine_
s
ign: special case 0D po
l
yhe
d
ra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoo
l
aege
Po
l
yhedron_
I
nsert_Columns: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoolaege
Pol
y
hedron_
F
ac
t
o
r
: fi
x
u
pdating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
confi
g
ure
.
in: us
e
A
X
_SUBMODULE
instead of B
V
_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoo
l
aeg
e
rem
o
v
e_
e
qualities: use Polyhedron_Prei
m
age
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdool
a
ege
ba
r
vinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
: add exper
i
m
e
nta
l
compariso
n
be
t
w
ee
n
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexm
i
n
.
cc:
r
emove
"anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaeg
e
doc
:
add
s
ome less com
m
on
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaege
add "clever" Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
extract out param_polyn
o
mial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
d
oolaege
ext
r
act
ver
t
ex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
aege
u
pdate p
o
lylib for sp
e
ed i
m
prove
m
ent in in_doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
er
d
oolaege
u
pdate piplib for distribut
i
on issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdool
a
ege
Polyhedron_Factor: fix merging of
grou
p
s of
co
l
u
mns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ba
r
vinok_enumerat
e
_seri
e
s: don't check for re
v
l
ex posi
t
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
ae
g
e
(t)co
u
nt
e
r: mo
v
e coun
t
er::reset(
)
up t
o
counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Makefile
.
am: ke
e
p better track
of
f
a
iled tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
add se
m
ig
r
o
u
p_holes appl
i
cation
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoo
l
ae
g
e
L
i
ne_Length: handle 0D
polyto
p
e in 1D
sp
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
gen_fun:
a
d
d is_zero met
h
od
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
barvinok_
e
n
umerate_e
_
series: remo
v
e equalit
i
es
in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoo
l
aege
do
c
: fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Ve
r
dool
a
ege
ba
r
v
i
n
o
k
_
e
num
e
rat
e
_
e
_
s
e
ries: hand
l
e
all exis
t
entials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
s
eries
.
c
c
: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
barvin
o
k_enum
e
ra
t
e_e_s
e
ries: hand
l
e all equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
la
e
ge
a
dd test
set from
t
h
e other itsl2008
paper
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Ver
d
oo
l
aeg
e
Poly
h
edron_Factor: ha
n
dle polyhe
d
ra w
i
th a non-trivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n
Verdoola
e
ge
update piplib for change
i
n c
o
nfigure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verd
o
olae
g
e
test_approx
.
c
:
add dummy
field in dummy t
m
s st
r
ucture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
c
o
nfigure
.
in: avoid intr
o
d
ucing em
p
ty elemen
t
s in
P
KG_C
O
N
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ: de
f
ine OMIT
_
G
ETRUS
A
GE if s
y
s
/
resource
.
h
ca
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
m
ega_interfac
e
/Makefile
.
am: put
d
e
pen
d
ing l
i
braries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
c
on
f
igu
r
e
.
in: ad
d
$(EX
E
EXT) to optional occ for cy
g
win
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
Verdo
o
laege
upd
a
te omega for MinGW comp
a
tibil
i
ty
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstei
n
/configu
r
e
.
in: add mis
s
i
n
g
AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdool
a
ege
v
e
c
t
or_partition_chambers:
comput
e
s
c
hambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
v
e
n
Verdoolaege
b
a
r
vi
n
ok
.
c
c: re
m
ove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
ol
a
e
g
e
u
pdate pipl
i
b for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update p
o
lylib for Min
G
W compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaeg
e
fdstrea
m
.
cc: don't (re)declare filen
o
if it
'
s a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: i
n
_do
m
a
i
n
:
special-case
0
D domains
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
Avoid use of
sys/
t
imes
.
h header whe
n
no
t
availa
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
V
erdo
o
la
e
ge
add gnu
l
ib gets
u
bopt mod
u
le for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
READM
E
: mentio
n
tha
t
GiNaC is a
l
so n
e
eded for th
e
Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven
V
er
d
ool
a
ege
Allow build of oc
c
when usin
g
bund
l
ed omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verd
o
olaege
doc
:
add a
r
eference
t
o a ma
s
ter thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
dool
a
ege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up installat
i
o
n
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
Add f
i
les generate
d
by bison and flex t
o
the d
i
stribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
u
pdate
p
olylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
upda
t
e
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erd
o
ol
a
ege
e
value
.
c: affine2
e
value:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdo
o
l
a
eg
e
e
value
.
c: evalue_level_cmp: produ
c
e more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolae
g
e
doc: add another paper
r
ef
e
rring t
o
the li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
do
o
laege
piecewise
_
lst
.
h: avoid duplicate pa
r
am
e
ter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
ege
eva
l
ue_read
.
c: fix minor
b
ugs i
n
tok
e
nize
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
update omega for missing file
s
in distri
b
ution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
b
arvinok_enu
m
e
r
ate_e: avoid i
n
f
inite loop whe
n
pre
s
ented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
e
r
doolaege
include omega
s
ubmodul
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
mo
v
e
omega
s
ubd
i
r to ome
g
a_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
NTL_Q
Q
.
cc: add stdlib include for abort hidd
e
n in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
remov
e
gnulib
l
i
nk-warning modu
l
e completely
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ve
r
doolaege
lexmi
n
.
cc: find and sort are in st
d
:
: name
s
pace
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdool
a
ege
lexmin
.
cc: avoid us
e
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoo
l
aege
4c
o
ins
.
cc:
r
emove dead cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testl
i
b
.
cc: add missing ret
u
rns
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doo
l
ae
g
e
workaround silly
su
n
comp
i
ler errors
commit
|
commitdiff
|
tree
next