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 affine hull operation
2010-03-14
Sven Verdoo
l
a
e
ge
iscc
:
ad
d
a
f
fin
e
hull ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
operation t
o
construct unive
r
sal
m
ap
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: add i
n
t
e
rsect_
d
omain
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoolaege
iscc: allow overloading
b
ina
r
y ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoolaege
iscc: add
m
ore d
o
m
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
doc: reorg
a
nize
t
a
ble
o
f
i
s
c
c operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: u
p
date support in
f
or
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oo
l
ae
g
e
randomvector: dou
b
le size of coeffic
i
ents
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ol
a
e
g
e
iscc: supp
o
rt tr
a
n
sitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
ol
a
ege
update i
s
l
to
v
e
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdoolaege
barvin
o
k_e
.
c
c
: enume
r
a
t
e_vd: remove un
u
sed
variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
evalue
.
c: Polyhedron_Insert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eva
l
ue
.
c: red
u
ce_evalue
:
rem
o
v
e
u
nused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
o
laege
iscc:
add @ oper
a
to
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
ad
d
isl
_
pw_qpolynomia
l
_
upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
iscc: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolaeg
e
add isl_pw_
q
polynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
upda
t
e isl
f
or isl_p
w
_qpolynom
i
al_foreac
h
_p
i
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
r
ename e
v
alue
2
isl to isl_pw_qpolynomial_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Ve
r
doolaege
i
s
cc: detect more kinds of er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ba
r
vinok_enumerate
:
use is
l
during
the ver
i
fication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdoolaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
ad
d
isl_set_card
a
nd isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
oolaege
ev
a
lue_convert:
e
x
p
ort as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerat
e
_e: optionally use isl to proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
d
d
isl submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olae
g
e
A
X_S
U
BMODULE: ac
c
ept
"-
"
in modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolae
g
e
barvi
n
ok_e
n
umerate: retur
n
N
aN for infin
i
te problems
commit
|
commitdiff
|
tree
2010-01-28
S
ven Verdoolaege
re
m
ove_all
_
equalities:
h
andle integr
a
l
l
y, but not rational
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
barvinok_enumerate_e
:
always retu
r
n a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaege
b
a
rvinok_enumerat
e
: c
h
eck that dimension of input in
c
lu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
l
a
ege
part
i
tion2enumera
t
ion: check
that input is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Ve
r
doolaege
update piplib for change in
c
o
n
figure opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ve
r
doolaege
update omega for configur
a
tion/
c
ompilati
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
bar
v
inok_count
_
with_options:
c
h
e
ck return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
Polyhedron_Sample:
plu
g
memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoola
e
ge
su
m
mate
.
c: add m
i
ssing inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c:
suppo
r
t
newer ve
r
s
ions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
topcom
.
c:
c
ompute_domain: s
k
i
p
ve
r
tic
e
s
w
ithout do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
l
aege
po
l
ytope_minimize: take c
o
nstan
t
term to be zero wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
eg
e
d
o
c: reflect
t
h
at --
e
nable-fra
c
tional
i
s now the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_polyhed
r
on_affin
e
_s
i
g
n: spe
c
ial case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
do
o
laege
Po
l
yhedron_I
n
s
ert_Colu
m
ns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
V
er
d
o
o
laege
Polyhedr
o
n_Factor: fix u
p
dati
n
g
o
f group
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
i
n
: use A
X
_SUBMODULE in
s
tead of BV_SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdo
o
l
a
e
g
e
remove_eq
u
alities: use Polyhedron_Preimag
e
ins
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoo
l
aege
barv
i
nok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
l
a
e
g
e
doc:
a
dd exp
e
rimenta
l
compa
r
ison between
o
ld and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
e
ge
lexmin
.
cc: rem
o
ve "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
o
l
aege
doc: add
s
o
me less commo
n
.
s
t
y
files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
ge
a
dd "c
l
ever" La
u
rent expa
n
sion b
a
sed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract
o
u
t
param_polynom
i
al from l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
ven
V
erdoolaeg
e
extract
vertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdool
a
e
ge
NTL
_
QQ
.
cc
:
add stdio
in
c
lude for EO
F
h
i
dd
e
n in NTL_io_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdo
o
laege
upda
t
e p
o
lyl
i
b for speed improvement in
in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update pi
p
lib f
o
r
distribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verd
o
o
l
ae
g
e
Po
l
yhedron_
F
a
c
tor: fix me
r
ging of groups of
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdo
o
laege
ba
r
vino
k
_enumerate_series:
d
on't che
c
k for revlex po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)co
u
nter: move count
e
r::rese
t
() u
p
t
o
c
ounter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Makefile
.
am: keep b
e
t
ter
trac
k
of fa
i
led tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdool
a
ege
add sem
i
group_holes appl
i
c
a
t
ion
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
Line
_
Le
n
gth: han
d
le 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oo
l
aege
ge
n
_fun: ad
d
is_z
e
ro
m
ethod
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
o
olaeg
e
ba
r
vin
o
k_enum
e
rate_e_series
:
r
emove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaeg
e
d
o
c
: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ba
r
vino
k
_
e
numerate_e_serie
s
: hand
l
e all
e
xistentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
series
.
cc: ma
k
e proj
e
ct st
a
tic
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolae
g
e
b
a
rvino
k
_enumerate_e_s
e
ries:
h
andl
e
all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoola
e
ge
add test set fro
m
the other itsl2008
p
aper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verd
o
ola
e
g
e
.
gitign
o
re: i
g
nore
object files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verd
o
olaege
genfunc
.
cc: parallel_pol
y
topes: detect 0D pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoo
l
ae
g
e
config
u
re
.
in: set AC_CONFIG_MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n
V
erdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n
Verdoolaege
Pol
y
h
edron_Fac
t
or
:
handle
p
ol
y
hedra
w
ith a
n
on-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
ge
u
pda
t
e
pip
l
ib for ch
a
nge in c
o
n
f
i
g
ure argumen
t
s
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
test_appr
o
x
.
c:
a
dd dummy field in dummy tms
structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
r
d
o
o
la
e
ge
configure
.
in: avoid introdu
c
i
n
g empty e
l
ements in
P
KG_CONFI
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verd
o
olaege
oc
c
: define
OMIT_GETRUS
A
G
E if sys/re
s
ource
.
h can
n
ot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
o
m
e
g
a_interfa
c
e/Makefile
.
am: p
u
t d
e
pending
librarie
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolae
g
e
configure
.
i
n: add $(EX
E
EXT)
to o
p
tional occ for cygw
i
n
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
rdoola
e
g
e
upd
a
t
e omega for MinGW compati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
bernstein/
c
onfigure
.
in: ad
d
m
issing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdo
o
lae
g
e
genfun
.
c
c
:
a
dd brac
e
s round ex
t
ern "C" typed
e
f
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verdoolaege
vector_partition_cha
m
b
ers:
computes cha
m
bers of ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven V
e
r
d
oo
l
aege
bar
v
inok
.
cc: rem
o
ve u
n
used nono
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
u
p
date
p
i
plib f
o
r MinGW compa
t
i
bility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoola
e
ge
u
p
date polylib for
M
inGW
c
o
m
pat
i
b
ili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
fd
s
tream
.
c
c
: don't (re)declare
f
ileno if it's a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdool
a
e
ge
eva
l
u
e
.
c
:
in_domain: special-case 0D dom
a
i
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Av
o
id use o
f
sys/ti
m
es
.
h
header when not
a
va
i
lable
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
add gnulib getsub
o
pt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
aeg
e
README: mention t
h
at GiNaC
i
s al
s
o nee
d
ed for the Omega
.
.
.
commit
|
commitdiff
|
tree
next