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
Sv
e
n V
e
r
d
ool
a
ege
upd
a
te piplib
f
or distri
b
u
t
i
on issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaeg
e
Polyhed
r
on_
F
acto
r
: fix merging of grou
p
s of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_s
e
r
i
es: don't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaeg
e
(t)counter: move counter::res
e
t() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
Makefile
.
am: kee
p
better track of failed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigr
o
up_hol
e
s application
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Line
_
L
eng
t
h:
handl
e
0
D
p
o
l
y
tope in
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
gen_fu
n
: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ve
r
doolaege
bar
v
i
nok_enumerate_e_seri
e
s: remo
v
e equal
i
ties i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc:
f
i
x typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
barvinok_enumer
a
te_e_se
r
ies: h
a
ndle all e
x
iste
n
t
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdool
a
ege
series
.
cc: m
a
ke pr
o
ject static
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ver
d
o
olaege
b
a
rvinok_enumerat
e
_e_series: han
d
le al
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
add tes
t
set from the other
itsl2008
p
a
per
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoola
e
ge
.
gitignore: ign
o
re obj
e
ct files
commit
|
commitdiff
|
tree
2009-04-28
Sven V
e
rdoolaege
g
e
nfunc
.
c
c
:
par
a
llel_polytop
e
s: detect 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Verdool
a
ege
configure
.
in
:
set
A
C_
C
O
N
FIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Ver
d
oolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Factor: hand
l
e polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
update piplib fo
r
chang
e
in c
o
nfig
u
re arg
u
ments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_app
r
ox
.
c:
add dumm
y
f
ield in dummy tms structu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoo
l
ae
g
e
c
o
nfigure
.
in:
a
void
i
ntroducing empty
e
lement
s
in PKG_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
occ:
d
efine OMI
T
_GETRUSAGE
i
f sys/res
o
urce
.
h
c
an
n
ot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verd
o
o
l
a
ege
omeg
a
_int
e
rface/M
a
kefile
.
am: put
d
epen
d
ing libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
co
n
figure
.
in: add
$(EXEEXT
)
to
op
t
ional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
a
ege
up
d
a
t
e omega f
o
r MinGW compatibi
l
it
y
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
b
ernst
e
in
/
con
f
igure
.
in: add miss
i
ng AC
_
P
ROG_C
X
X
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
genfun
.
cc:
add braces round ex
t
ern "C" ty
p
edef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdool
a
ege
vect
o
r_p
a
rtition_chambers: computes chambers
o
f
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolae
g
e
barvi
n
ok
.
c
c
: r
e
move unuse
d
no
n
o
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
ola
e
ge
update p
i
plib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Ver
d
oolaege
upda
t
e polylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaege
fdstream
.
cc: don't
(re)decla
r
e fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalu
e
.
c: in_
d
o
m
ain:
s
pecial-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolaege
Avoi
d
use of sys/times
.
h header
when no
t
avai
l
able
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
a
dd gnu
l
i
b
g
etsubopt module
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
RE
A
D
M
E
: mention that GiNaC is al
s
o ne
e
ded f
o
r th
e
O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdo
o
laege
Allow build of occ whe
n
using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
erdo
o
lae
g
e
doc: add a reference
to a maste
r
thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
ven
V
erdoolaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
README: fix up installation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add files generated by bison and fl
e
x to th
e
distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdo
o
laege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
doolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
e
r
d
o
o
l
aege
evalue
.
c: affine2evalu
e
: reduce c
o
efficients
commit
|
commitdiff
|
tree
2008-10-10
S
v
en
V
erdoolaeg
e
evalue
.
c: eva
l
u
e
_level_cmp: pro
d
uce
m
o
re
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdoolaege
do
c
: add an
o
ther paper
r
eferring to the
li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolae
g
e
piecewise_lst
.
h
: avoid
d
uplicate parameter
n
a
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven
Ver
d
oolaege
e
v
alu
e
_rea
d
.
c: fix minor bugs in
toke
n
izer
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolaege
update omega for
miss
i
ng
f
iles
in
distrib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvinok_enumera
t
e_e: avoid
i
nfinite loop when
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
i
n
clud
e
omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
move omega subdir to
omega_i
n
te
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL
_
QQ
.
c
c
: add st
d
lib includ
e
for abort hidde
n
in NTL
_
vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdool
a
e
ge
remove
g
nuli
b
link-warning module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
lexmin
.
cc: find and
s
o
rt
a
re
i
n std:
:
namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
eg
e
lexmin
.
cc: avoid use of
t
ypeof
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
4coins
.
cc: r
e
move dead
c
ode
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
tes
t
lib
.
cc: ad
d
missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workarou
n
d silly su
n
com
p
iler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoo
l
aege
Av
o
id us
e
o
f
the make -C
option
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
o
laege
s
ummate
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
s
umm
a
t
e
.
c:
a
dd
m
issin
g
return
values
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
Makefile
.
am:
include
l
ib
i
n
cl
u
de dir in buil
d
dir
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoola
e
ge
laurent
.
cc
:
d
o
n't use const v
e
ct
o
rs as map
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
variable length a
r
rays a
r
e
n
ot
standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
ge
genfun
.
c
c
: a
r
gument of m
p
_get_
m
emory_fu
n
c
ti
o
ns shoul
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaeg
e
update piplib for comp
a
tib
i
lity
changes
commit
|
commitdiff
|
tree
2008-08-24
Sven
Verdoolaege
upd
a
t
e polylib with extra field in Para
m
_
P
olyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
S
v
en V
e
rd
o
olaege
doc:
fix typ
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rd
o
olaege
add missing
a
lgorithm in
c
lude
f
or fin
d
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix out-of-bounds
error in Lauren
t
exp
a
nsion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
g
e
Include emp
t
y
.
c file
i
n libbarvinok i
f
GiNaC
w
as not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
correctly reflect extra s
o
u
r
ces fo
r
l
i
bbarvin
o
k and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Ver
d
o
o
laeg
e
fi
x
typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
er
d
oolaege
lib/strin
g
.
in
.
h: copy __re
s
trict handl
i
ng f
r
om
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoo
l
aege
update gnulib funct
i
o
n to last pre-GP
L
v3 version
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n V
e
rdo
o
laege
enumerator::ha
n
dle:
repla
c
e inco
r
re
c
t
d
e
let
e
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update piplib for
corrected
Urs
_
pa
r
ms h
a
ndling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verd
o
o
l
a
ege
configu
r
e: use corre
c
t header files in case of bu
n
dled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoo
l
aege
configure
.
in
:
f
i
x check
for code_gen
library avai
l
ab
i
lit
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omeg
a
/
o
cc: only o
p
en de
b
u
g
o
u
tput
f
il
e
if t
h
ere is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rdool
a
ege
ome
g
a/Makefil
e
.
a
m
:
avoid bis
o
n's -o option as
n
amin
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
range
.
cc:
a
dd m
i
ssing include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
o
c:
f
ix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
add editors to ITSL paper
s
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verd
o
olaege
use
ar
g
p
for ar
g
ument parsing i
n
barvinok_ehrhart a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verdoola
e
g
e
proper
l
y handle
NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis_redu
c
t
ion_t
e
m
p
l
.
c:
a
d
d mis
s
ing include
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
barv
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
o
laege
add
s
o
me te
s
t sets
from itsl20
0
8
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
d
o
c: add latest
(
acce
p
ted)
p
ublication
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
M
a
kefi
l
e
.
am: add s
e
ct
i
on_ar
r
ay
.
h to distr
i
b
u
ti
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
nor
m
alizat
i
o
n
.
c: compu
t
e_shifts: remove redundant retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
l
a
e
g
e
move Free_Param
N
ames polylib and mak
e
p
a
ram names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
occ: add interface to barvin
o
k_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
e
g
e
ex_convert
.
cc:
extract ex2evalue
f
rom range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoola
e
g
e
d
oc: docu
m
ent more
-
-
s
ummation
methods
f
or barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
ola
e
ge
options
.
c
: rename
"
barvinok" summation meth
o
d to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am:
check-
e
uler
:
also chec
k
laurent
commit
|
commitdiff
|
tree
next