repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
verify.c: extract some helper functions for isl based verification
2009-06-12
Sven Verdo
o
l
aege
upda
t
e
piplib for
di
s
tributi
o
n
i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron_Fact
o
r: fi
x
merging of group
s
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
rvinok_enumerate_ser
i
es: don
'
t
check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
(
t)
c
ount
e
r
:
move counter::r
e
set() up to c
o
u
nter_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laeg
e
M
ak
e
f
ile
.
am: keep bet
t
er track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigroup_ho
l
es a
p
pli
c
ati
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
rdoolaege
Li
n
e_Length: ha
n
dle 0D
polytope
in 1
D
space
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
gen_fun: add i
s
_zero metho
d
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoolaege
barvinok
_
enumerat
e
_e_
s
eries:
remov
e
e
qualities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ver
d
oolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doo
l
aege
barvinok_enumerate_e_
s
eries: h
a
n
dle al
l
ex
i
ste
n
ti
a
ls
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
olae
g
e
series
.
cc:
m
ake project stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
barvinok_enu
m
erate_e_series:
h
andl
e
all e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
add
t
e
st
set from
t
h
e
o
ther itsl
2
008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Verdoolaege
.
giti
g
nore
:
i
g
nore object
f
i
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdo
o
l
aege
g
e
nfunc
.
cc
:
parallel_polytopes: detect
0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
ve
n
Verdoolaege
configure
.
i
n
: set AC_
C
ONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verd
o
o
l
a
e
ge
add
p
kg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven
Ve
r
doo
l
aeg
e
Polyhedron_Factor: h
a
ndl
e
polyh
e
dra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdoolaege
update piplib for change in config
u
re arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
test_approx
.
c:
a
d
d dummy
fi
e
ld in
dummy tms
s
tructure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
c
o
nfigure
.
in: avoid int
r
od
u
c
i
ng empty ele
m
e
n
ts in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ: define OMIT_GETRUSAGE i
f
s
y
s/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
omega_
i
n
terface/Makefile
.
am:
put depe
n
ding libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: add $(EXEEXT) to opt
i
onal occ for
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doola
e
g
e
u
pdat
e
omeg
a
for MinGW c
o
mpatibil
i
ty
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
bernstein/configu
r
e
.
in: ad
d
missing AC_PROG_C
X
X
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdool
a
ege
genfun
.
cc
:
a
dd bra
c
es
r
ound extern "C" typede
f
commit
|
commitdiff
|
tree
2008-12-30
S
ven
V
er
d
oolaege
ve
c
t
or_partition
_
chambe
r
s
:
computes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
Verdoolaege
barvinok
.
c
c: remove unused non
o
rthog
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaege
update piplib for MinG
W
co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
update polylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
l
aege
fdstream
.
cc:
d
on
'
t (r
e
)
d
ecla
r
e
fi
l
eno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
e
v
alue
.
c: in_doma
i
n:
special
-
case 0D domai
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
ge
Avoid use of s
y
s/time
s
.
h head
e
r w
h
en
n
ot ava
i
lable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
d
d gnulib
ge
t
subopt modul
e
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
README:
m
e
ntion
t
hat GiN
a
C i
s
also
needed
f
or th
e
O
mega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of occ when using
b
u
n
d
l
ed omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoolaege
doc: add
a r
e
ference to a
master th
e
sis actually us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up
instal
l
a
tion instructions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Ver
d
o
olaege
Add fi
l
es
generated by biso
n
and fle
x
t
o
the
distrib
u
tio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
er
d
oolaege
updat
e
pol
y
lib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoo
l
aege
u
p
date p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: affine2eval
u
e
: reduce coe
f
fici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: evalu
e
_l
e
vel_cmp
:
produce
m
ore consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdoolaege
d
o
c: add a
n
other paper
r
eferring to the li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
Sven V
e
rdoola
e
g
e
piecewise_lst
.
h:
a
void
d
u
p
l
icate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
d
o
olaege
evalue
_
read
.
c: fix mino
r
bug
s
in tok
e
n
ize
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolae
g
e
upd
a
te o
m
ega fo
r
mis
s
ing file
s
in
d
istribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
barvinok_enumer
a
te_e:
avoid i
n
fin
i
te
loop
when p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ol
a
ege
include omega
s
ubmodule
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verd
o
olae
g
e
m
o
ve omega subdir to
o
me
g
a_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
NTL_
Q
Q
.
cc
:
a
dd stdl
i
b include
for
a
bort hidd
e
n i
n
NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
remove gnuli
b
link-warning module
completely
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
lexm
i
n
.
cc: find and sort are in st
d
:
:
n
a
mespac
e
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoola
e
ge
lexmin
.
cc: avoid use
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoola
e
ge
4c
o
ins
.
cc: remove
dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
t
e
stlib
.
cc
:
add missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoola
e
ge
workaroun
d
silly sun compil
e
r
errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ol
a
ege
Avoid use of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
s
u
m
mate
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
summate
.
c: add
m
issing return
v
alues
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
rd
o
olae
g
e
Makefile
.
a
m
: include
l
ib include di
r
in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
l
a
uren
t
.
c
c
:
don'
t
use const vectors as map key
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
varia
b
le l
e
ngth array
s
ar
e
not st
a
nd
a
rd
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
genfun
.
cc: argu
m
ent o
f
mp_get_m
e
mory_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
update piplib
for compatibility
c
hanges
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n
Verdool
a
ege
update polylib with extra
field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoo
l
a
e
ge
do
c
:
fix ty
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdo
o
laege
add
m
i
s
sing algorithm i
n
clude for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix out-of-b
o
unds err
o
r i
n
Laurent expansio
n
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
g
e
Include
empty
.
c file
i
n li
b
bar
v
i
n
ok if GiNa
C
was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
co
r
rect
l
y r
e
flect ext
r
a sources for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven
Verdoolaege
fix typo in c
o
mment
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Ve
r
d
o
olae
g
e
l
ib
/
string
.
in
.
h:
copy __
r
e
s
trict handling
from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaeg
e
update gnu
l
ib function
to last
p
re-GPLv3 v
e
rsion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enu
m
erator::hand
l
e
:
rep
l
ace
inco
r
rect delete by fr
e
e
commit
|
commitdiff
|
tree
2008-06-17
S
v
en Verdoolaege
update
piplib f
o
r
corrected Urs_pa
r
ms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Ver
d
oola
e
ge
c
onf
i
gure
:
use correct
h
ea
d
er files in c
a
se of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
co
n
figure
.
i
n
:
f
ix check
f
o
r
c
ode_gen librar
y
availability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
ome
g
a/oc
c
:
o
nl
y
o
pen d
e
bug output
fil
e
if there
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoola
e
g
e
omega
/
Makefile
.
am:
a
void b
i
son's
-
o
option a
s
n
a
m
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
range
.
cc: add missin
g
i
nclu
d
e
of
al
l
oca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoola
e
ge
d
o
c: fix typ
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
add editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n V
e
rd
o
ola
e
g
e
use a
r
g
p fo
r
a
r
g
ument parsing in
b
arvi
n
ok_ehrh
a
rt a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
proper
l
y han
d
le NTL CPP
F
LAGS
a
n
d
LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
S
v
e
n
Verdool
a
ege
basis_reduc
t
ion_
t
e
m
pl
.
c: add missi
n
g include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
barvi
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olae
g
e
add
s
ome test sets fro
m
itsl2008 pa
p
er
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
do
c
: add latest (accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
o
laege
Makefile
.
am: add sect
i
on_arr
a
y
.
h to
distribut
i
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
n
o
r
m
a
l
ization
.
c
: compute
_
sh
i
f
t
s: remo
v
e redundant
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
move Free_ParamNames polylib a
n
d make
p
a
r
am na
m
es const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
occ: add interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_convert
.
cc: extract ex2evalu
e
f
rom range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc: document more --summation methods f
o
r b
a
rvino
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erdoola
e
ge
options
.
c
: r
e
n
ame "
b
arv
i
n
o
k"
s
ummation method t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verd
o
olae
g
e
Mak
e
file
.
am: check-euler: also c
h
eck la
u
r
e
nt
commit
|
commitdiff
|
tree
next