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 operation to construct universal map from domain to range
2010-03-14
Sven Verdoolaege
iscc: a
d
d operat
i
on to construct un
i
versa
l
map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc:
add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
a
e
ge
iscc: add intersect_domain oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc: allow overloading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
ege
iscc: add
more dom
op
e
r
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
doc:
r
eorg
a
n
ize table o
f
iscc
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolae
g
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
AU
T
HORS:
u
pdate support information
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdoolae
g
e
ran
d
omvector: double size of
co
e
ff
i
c
ients on each
attemp
t
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoo
l
aege
i
scc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
update isl t
o
ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
cc: enumerate_vd: re
m
ove unuse
d
vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
evalue
.
c: Polyhed
r
on_
I
nser
t
:
add missing
retu
r
n
t
ype
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
evalue
.
c: reduce_ev
a
l
u
e: r
e
m
ove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add
@ operato
r
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdool
a
ege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add i
s
l_pw_qpolynomial_upper_
b
oun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
iscc:
add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd is
l
_p
w
_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add
i
sl_pw_q
p
olynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolae
g
e
update i
s
l
for is
l
_
pw_qpolynomial_for
e
ach_
p
i
e
ce
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
rename eval
u
e2isl to is
l
_pw_qpolyn
o
m
i
al_f
r
o
m
_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolae
g
e
iscc: detect more ki
n
ds of
e
rror
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
barvino
k
_en
u
merate: use isl
du
r
ing the ve
r
ification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
olae
g
e
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
laege
add isl_set_
c
a
r
d a
n
d i
s
l_
m
ap_card
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
a
dd evalue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
ev
a
lue_convert: exp
o
rt as applica
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvin
o
k_enumerate_e: opt
i
onally u
s
e isl to p
r
oje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Ve
r
dool
a
ege
add isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaege
A
X
_SUBMODULE: ac
c
ept "-"
in
m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
doola
e
ge
barvi
n
ok_enumerate: return
N
a
N
for
infi
n
ite
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
re
m
o
v
e_all
_
e
q
ualities: handle
integrally, but
n
ot ra
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
barvinok_enumerate_e: a
l
w
ays re
t
urn
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoo
l
aege
barvinok_
e
numer
a
t
e
: check that di
m
ensi
o
n
of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
partition2enu
m
eration
:
c
h
eck t
h
at inp
u
t is
r
eally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
up
d
ate piplib for
change in confi
g
ur
e
op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolae
g
e
update omega fo
r
con
f
igurati
o
n/co
m
pilat
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolaege
barvi
n
ok_count_w
i
th_opti
o
n
s: check return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
rdoolaege
Polyhedron_Sample: plug memory lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
summat
e
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
oolaeg
e
to
p
c
o
m
.
c: su
p
port newer
versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c:
co
m
put
e
_
d
omain: s
k
ip
v
ert
i
ces with
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verd
o
olaege
polytope_minimiz
e
: t
a
ke constan
t
term to be zer
o
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
doc: reflect that -
-
enable-f
r
acti
o
n
a
l
is now t
h
e defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
glpk_polyhed
r
on_
a
ffine_sign: special case 0D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
e
ge
Polyhedro
n
_Inser
t
_Columns
:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
Verdoolaege
P
oly
h
edron_F
a
ctor:
f
ix updati
n
g o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ve
r
doolaege
configure
.
in: use AX_SUBMODULE
i
nstead
o
f BV_SUBMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ve
r
doolaege
remove_eq
u
alitie
s
: u
s
e
Poly
h
edron_Preim
a
ge in
s
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
b
a
rvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add exper
i
men
t
al comparison
between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
doolaege
lexmin
.
cc: remove "an
a
chron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
Ve
r
doolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
r
doola
e
ge
d
oc: ad
d
so
m
e less common
.
sty f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
ol
a
ege
add "clever" Laurent expansion ba
s
e
d summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
m
ove Last_Non_
Z
ero
t
o util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaeg
e
ext
r
act ou
t
param_poly
n
o
m
ial from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extra
c
t
vertex_cone from
la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdo
o
laege
NTL_
Q
Q
.
cc: add
std
i
o
i
n
clude for EOF h
i
dd
e
n in
NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
ven
V
erd
o
olaege
u
pda
t
e po
l
ylib for speed improvement in i
n
_
d
o
mai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
aege
update pi
p
lib for
d
istr
i
b
u
tion issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verd
o
olaege
Polyhedron_F
a
ctor:
fix
merging of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
barvi
n
ok_e
n
ume
r
ate_se
r
ies:
d
on't check
f
or revlex positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counter: move counter::reset()
up to cou
n
ter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
Ma
k
efile
.
am: keep bet
t
er
t
rack
o
f fai
l
ed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add
s
emi
g
r
o
u
p_ho
l
es ap
p
licatio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdool
a
ege
Line_
L
en
g
th: handle
0
D p
o
lyt
o
pe i
n
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun: add is_
z
ero met
h
od
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
r
vinok_enumera
t
e_e_
s
eries: remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
d
oolaege
doc:
fix t
y
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok_enumerate_e_series: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdo
o
laege
series
.
cc: make pro
j
ect static
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
e
r
doolaeg
e
barvi
n
ok_enu
m
er
a
te_e_
s
eries: h
a
ndle all equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test
set from the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
e
rdoolaeg
e
.
gitignore
:
i
g
nore o
b
ject files
commit
|
commitdiff
|
tree
2009-04-28
Sven V
e
rd
o
olae
g
e
genfunc
.
cc: pa
r
allel_polytopes: det
e
ct 0D poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Ver
d
oolaege
configure
.
in: set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven
V
erdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Ve
r
d
o
olaeg
e
Po
l
yhedro
n
_Factor: h
a
ndle
p
olyhe
d
ra w
i
th a
n
on-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
u
pdate pip
l
ib f
o
r change
i
n configur
e
arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
t
e
s
t
_appr
o
x
.
c:
a
d
d
du
m
m
y
f
i
eld in dummy tms s
t
ru
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
confi
g
ure
.
i
n
: avoid int
r
odu
c
in
g
empty elements in P
K
G_CO
N
FI
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
occ: define OMIT
_
GETRUSAGE if sys/resou
r
ce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Ve
r
doolaege
o
m
ega_inte
r
face/Makefile
.
a
m: put
depending
l
ibra
r
ies
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
configure
.
in
:
add
$
(E
X
EEXT)
to opt
i
o
n
al occ for cy
g
win
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
up
d
ate omega
for MinGW compa
t
i
bil
i
t
y
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
bernstein/
c
on
f
igure
.
in
:
a
d
d missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
o
olaege
genfun
.
cc
:
ad
d
b
rac
e
s round e
x
tern "
C
"
type
d
e
f
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verdoolaege
ve
c
tor_partition_cha
m
bers: computes chambers o
f
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc: remove un
u
s
ed nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
update pipli
b
f
or
MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
updat
e
polyli
b
for Min
G
W comp
a
t
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
f
dstream
.
cc: d
o
n't (re
)
declare
fil
e
no if
i
t's
a macro
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
V
erd
o
olaege
ev
a
lue
.
c: in_domain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olaege
Avoid use
o
f
sys/
t
imes
.
h
h
ea
d
er wh
e
n n
o
t availabl
e
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoo
l
aeg
e
add gnulib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
R
EAD
M
E
:
ment
i
on that GiNaC
is als
o
nee
d
e
d
for t
h
e Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdo
o
l
a
ege
Allow build o
f
occ when u
s
ing bundled omega
commit
|
commitdiff
|
tree
next