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
iscc: add application operations
2009-05-07
Sven Verd
o
olae
g
e
(t)counter:
m
o
v
e
c
o
unter::reset() up to counter_
b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep bet
t
e
r track of f
a
ile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
add sem
i
group_holes appl
i
cation
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
d
oola
e
ge
Line_Length:
handl
e
0D polytope
i
n 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verdoo
l
aege
g
e
n_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e_seri
e
s: remov
e
eq
u
alities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
d
o
c:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
nok_enumer
a
t
e_e_se
r
i
es: handle all e
x
istentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
seri
e
s
.
c
c
:
m
a
ke project
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolae
g
e
barvinok_
e
numerate_e_series: hand
l
e al
l
equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoola
e
ge
add test set f
r
o
m the other itsl20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoo
l
aege
.
git
i
gnor
e
: igno
r
e
o
bj
e
ct
f
il
e
s
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdo
o
laege
gen
f
unc
.
c
c:
parallel_polyto
p
es
:
d
e
tec
t
0
D polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
Verdoolae
g
e
configur
e
.
i
n
: set
A
C_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolaege
Polyhedron_Fac
t
or
:
han
d
l
e
polyhedra wi
t
h
a
non-triv
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
u
pdate
piplib
f
or cha
n
ge in configu
r
e arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
test_approx
.
c: add dummy
f
ield in
dum
m
y tms s
t
r
u
c
t
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
configure
.
in: avoid in
t
roduc
i
ng empty elemen
t
s in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
o
c
c: def
i
ne
OMIT_GETRUSA
G
E if sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
m
ega
_
inte
r
face/M
a
kefile
.
am:
put depending
lib
r
a
r
ies
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoola
e
ge
configure
.
in: ad
d
$
(
EXEEX
T
) to op
t
ional oc
c
f
or c
y
gwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
update omega
for MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
b
ernste
i
n/con
f
igure
.
in:
add missing AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoo
l
aege
genfun
.
c
c
: ad
d
braces round exte
r
n
"C"
typed
e
f
commit
|
commitdiff
|
tree
2008-12-30
Sven
V
erdoolaege
vecto
r
_partition_chambers: com
p
u
tes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Ve
r
doolaege
barvin
o
k
.
cc: remo
v
e unused
n
onortho
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaege
update pip
l
ib for Min
G
W c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaeg
e
upd
a
te polylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
fdstr
e
am
.
cc: don't
(
re)de
c
l
a
re f
i
leno if it's a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
evalue
.
c: in_do
m
ain: special-case 0D dom
a
i
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
Av
o
id use o
f
sys/time
s
.
h hea
d
er when not av
a
i
l
a
b
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verd
o
ola
e
g
e
a
dd
g
nulib ge
t
subopt module f
o
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verdoola
e
ge
README: mention that GiNaC
i
s also needed for
t
he Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ve
n
V
e
rdoolaege
Allow b
u
ild of occ when using
bundled omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Verd
o
ol
a
e
ge
doc: add a
r
eference t
o
a
m
aster the
s
is actually usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
b
a
r
vin
o
k 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
RE
A
D
ME: fix up installation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdo
o
laeg
e
Add file
s
generated
by bison
and fl
e
x to t
h
e di
s
t
r
i
b
ution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
upd
a
t
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doolaege
evalue
.
c
:
a
ffine
2
evalue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
eval
u
e
.
c: eva
l
u
e
_lev
e
l_cmp: p
r
oduc
e
more cons
i
stent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaeg
e
d
oc:
add another pap
e
r refer
r
i
n
g to the library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdool
a
e
g
e
piecewise
_
lst
.
h: avoid
dupl
i
cate par
a
meter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
d
o
olaege
eval
u
e_read
.
c: fi
x
minor
b
ugs
i
n to
k
enizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
ol
a
ege
update o
m
ega for
m
issing files in
d
istri
b
ution
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaeg
e
b
arvinok_enumerate_
e
:
a
void in
f
i
n
i
t
e loop when
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
inc
l
u
d
e o
m
e
ga submod
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
move omega subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
NT
L
_Q
Q
.
cc: add stdlib include for
a
bo
r
t hidden in NTL_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
ool
a
e
g
e
re
m
ove gnuli
b
li
n
k
-warning m
o
dule comple
t
el
y
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
g
e
l
e
xmin
.
c
c: find and sort are i
n
std:: nam
e
sp
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
ge
lexmin
.
c
c: avoid
use
o
f
typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
4
coins
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
ge
testlib
.
cc: add mis
s
ing
returns
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolae
g
e
wo
r
karound
sill
y
sun c
o
mpi
l
er
e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
A
v
oid use of th
e
make -C o
p
t
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdo
o
laege
summa
t
e
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
s
ummate
.
c: add
m
issing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaeg
e
Make
f
i
le
.
a
m
:
i
n
clud
e
lib
in
c
l
u
de dir in
b
uild dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
l
aurent
.
cc: don't use const vectors as ma
p
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
variabl
e
l
ength arrays
a
re no
t
standard C
+
+
(yet)
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aege
g
enfun
.
cc: argument of mp_get_memory_fun
c
t
ion
s
sho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
r
doolaege
update piplib for co
m
p
a
tib
i
lity changes
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n
V
erdoolaege
update polylib with
extra fiel
d
in Param_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
d
oc: f
i
x
t
ypos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
add m
i
ss
i
ng algorithm i
n
clu
d
e for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix out
-
of-b
o
u
n
d
s
error in L
a
urent expansion
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
Include empty
.
c file
in libbarvinok if
G
iNaC was n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correc
t
ly reflect
e
xtra sourc
e
s
for libb
a
rvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
f
i
x
typo in comme
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/string
.
in
.
h: c
o
py
_
_re
s
t
r
i
c
t han
d
l
i
n
g f
r
om lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en Verdoolaege
upda
t
e
gnulib
funct
i
on to last pre-GPLv3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerator:
:
handle: rep
l
ace incorrect delete
b
y free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update pipl
i
b for correc
t
ed Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sve
n
Ver
d
oolaege
c
o
nfigure:
u
se correct head
e
r file
s
in
c
ase
o
f
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verd
o
ol
a
e
g
e
con
f
igure
.
in: fix check for code_gen li
b
r
a
ry ava
i
l
a
bility
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
r
d
o
olaege
o
mega/occ: only
open
debug
o
utput file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
om
e
ga/Mak
e
file
.
am: avoid bison's -o o
p
t
i
on as
n
aming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ve
r
d
o
olaege
r
a
nge
.
cc:
a
dd
missing incl
u
de of allo
c
a
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
doc: fix
typo
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ver
d
oolaege
a
dd editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
us
e
argp for argum
e
nt parsing
i
n bar
v
inok_e
h
rha
r
t and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n Verdoolaege
prop
e
r
ly handle NTL CPPFLAGS
and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis_reduction_templ
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oo
l
aege
add
some test set
s
f
rom itsl2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
ege
d
o
c: add
l
atest (accepted)
pub
l
ications
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
Makefile
.
am:
add section_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
normal
i
zation
.
c
:
compute_shifts: remove r
e
dundant retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
m
ove
Fre
e
_P
a
ramName
s
p
o
lylib a
n
d make param names
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oolaege
oc
c
: add interface to barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
e
x_
c
onvert
.
cc:
extr
a
ct ex2
e
value from ra
n
g
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: docume
n
t m
o
re --summation m
e
thods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
pti
o
ns
.
c: rename "barvinok" summat
i
o
n met
h
od to "
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
Makefile
.
am
:
check-euler: also c
h
eck l
a
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
summate
.
c: b
a
r
v
i
n
o
k_
s
u
mmate: handle products of
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
e
value
.
c: export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
b
e
r
n
stein: numeric2value: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
next