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
barvinok_enumerate_e_series: handle all equalities involving existentials
2009-05-07
Sven Verdo
o
laege
ba
r
vinok_e
n
umerate
_
e_serie
s
: han
d
le
a
ll equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add tes
t
set
f
ro
m
the other itsl2008
paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verd
o
olaege
.
gitignore
:
ignore object files
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdoolaeg
e
g
e
nfun
c
.
cc:
par
a
llel_polytopes
:
detect 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n
Verdoo
l
a
ege
c
o
nfigure
.
in: set AC_CONFIG_MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
add
pkg
.
m4
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
con
f
igure
.
in: avoid introducing empty elements i
n
PKG
_
CO
N
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoo
l
aege
occ:
de
f
ine
OMIT_GETRUSAGE if
s
ys/r
e
source
.
h c
a
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
omeg
a
_interface/
M
a
ke
f
ile
.
am:
p
ut depen
d
ing librar
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ver
d
oolaege
con
f
igure
.
in:
a
d
d
$(E
X
EEXT) to optional o
c
c for
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
up
d
ate
o
m
ega for
MinGW
compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
e
rdoolaege
b
e
rnstein/
c
onfigure
.
in
:
add miss
i
ng
AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
S
v
en Ve
r
doolaege
vector_partition
_
chambers:
co
m
p
u
tes chamb
e
r
s
of
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdool
a
ege
fdstream
.
cc: don'
t
(re)decl
a
re
fileno if i
t
'
s a macro
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaeg
e
i
n
clude omega submo
d
ule
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaeg
e
add mis
s
i
ng algorithm
inclu
d
e for f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaeg
e
Fix
o
u
t
-
of-bound
s
error
i
n Laurent e
x
pansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
Incl
u
d
e
e
mpty
.
c file in
l
i
b
b
a
r
vinok if GiNaC was no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdo
o
l
aege
co
r
rec
t
l
y ref
l
e
c
t ext
r
a source
s
fo
r
lib
b
arv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
ol
a
ege
fix typo in com
m
en
t
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
lib/string
.
i
n
.
h: copy __restrict handling from lib
.
.
.
commit
|
commitdiff
|
tree