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
isl_pw_qpolynomial_upper_bound: set up variable vector after lifting
2010-03-18
Sven Verdoolaeg
e
isl_pw_qpolynomia
l
_upper_bound: set up variable v
e
c
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc:
add
some c
o
m
p
aris
o
n o
p
erations
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolae
g
e
iscc: ad
d
inverse o
p
erat
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
is
c
c
:
fix up t
y
p
e
of find_match
i
ng_bi
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add affine
h
u
ll ope
r
at
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc:
a
d
d operat
i
on to cons
t
r
uct
u
nivers
a
l map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
iscc: add "join"
op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoo
l
aege
isc
c
:
a
dd i
n
tersect_do
m
a
i
n
ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
iscc
:
allow o
v
er
l
oading binary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaeg
e
i
s
c
c:
a
dd more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoolaege
doc: r
e
o
r
g
an
i
ze
t
able of iscc opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
up
d
a
te i
s
l
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
b
arvi
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
Verdoo
l
aege
AU
T
HO
R
S: up
d
a
te
s
upport
information
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoola
e
ge
randomvector: doub
l
e size of
co
e
fficients on e
a
c
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
scc: support transitive c
l
osu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaege
barvinok
_
e
.
cc:
e
numerat
e
_vd: remove unused v
a
riables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
eval
u
e
.
c: Polyhe
d
ron
_
Inse
r
t: add mis
s
ing re
t
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdoolae
g
e
evalue
.
c:
reduce_evalue: rem
o
ve un
u
s
ed variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
isc
c
: add @ opera
t
o
r
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc:
a
d
d
"u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolae
g
e
add isl_pw_qpo
l
yn
o
mial
_
upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc: ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add isl_pw_qpolyn
o
mi
a
l_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
ge
a
d
d
i
sl_pw_qpoly
n
omial_t
o
_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
o
olaege
u
pdat
e
i
s
l for isl
_
p
w
_qp
o
l
ynom
i
al_foreach
_
p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
l
a
ege
rename evalue2isl to isl_pw_qpo
l
y
n
omi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more kinds of e
r
r
o
rs
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolaege
barv
i
nok_enumerat
e
: use is
l
d
u
ring the verif
i
ca
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaeg
e
add i
s
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add
i
sl_set_c
a
rd and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
ven
Ve
r
doolaege
a
d
d
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven
Verdoolaege
evalue
_
convert: export as a
p
p
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verd
o
olaege
barvinok
_
en
u
mer
a
te_e: optional
l
y
use isl
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add is
l
submod
u
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
AX_SU
B
MODULE: accept "-
"
in
modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaeg
e
barvinok
_
e
n
umerate: return NaN for
i
nfin
i
te problems
commit
|
commitdiff
|
tree
2010-01-28
S
v
en V
e
rdo
o
laege
remove_all_equalities: hand
l
e integ
r
ally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaeg
e
barvinok_enumerate_e: al
w
ays re
t
urn a
p
artition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Ver
d
oolaege
bar
v
inok_enumera
t
e: check that dim
e
nsion of input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Ve
r
d
o
olae
g
e
p
a
rtition2enumeration: chec
k
that i
n
put is
reall
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update pi
p
lib for change in conf
i
gure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Ve
r
doola
e
g
e
update o
m
ega
for config
u
r
a
t
ion/
c
o
m
p
ilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
d
o
olaege
barvinok_count_with_option
s
: c
h
e
ck return valu
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyh
e
dro
n
_Sa
m
ple:
pl
u
g mem
o
ry
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add missing in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
topcom
.
c: su
p
port newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
top
c
om
.
c: compu
t
e_do
m
ain: skip vertices without do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
p
o
lytop
e
_
m
inimi
z
e: tak
e
c
onstant te
r
m
to b
e
zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolaeg
e
doc: refle
c
t
t
hat
--
e
nable-fractional
i
s
now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
ool
a
ege
glpk_polyhedro
n
_affine_sig
n
: special case 0D polyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoo
l
aege
Po
l
yhedron_Insert
_
C
olumn
s
:
f
ix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Factor: fix up
d
ating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolae
g
e
c
onfigure
.
in
:
use AX_SUBMODULE
inste
a
d of BV_SUBMOD
U
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven V
e
rdoolaege
remove_
e
qualities: use Pol
y
hedron_P
r
eimag
e
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
b
arvino
k
0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc: add experimental comparison be
t
ween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
lexmin
.
cc: r
e
move "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ve
r
do
o
laege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
erdoolaeg
e
do
c
: add some
l
e
s
s common
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
a
d
d
"cleve
r
" Lau
r
ent expan
s
io
n
based su
m
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
move L
a
st_
N
on_Ze
r
o to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract
o
u
t
param_polynomial fro
m
laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoo
l
a
e
ge
ext
r
act vertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
NTL_
Q
Q
.
cc: add
s
tdio include for EOF hid
d
en in NT
L
_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Ver
d
oolaege
update po
l
yl
i
b for
s
peed im
p
rovement in in_doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven
Ver
d
oolaege
update pipli
b
for distribution
is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
d
oolae
g
e
P
olyhe
d
ron_Factor: f
i
x merging o
f
g
roups of c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoola
e
ge
barvinok_e
n
umera
t
e_
s
eries:
don't c
h
eck for revlex pos
i
tive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoola
e
ge
(
t)counter: move cou
n
ter::reset() u
p
t
o
counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Makefile
.
am
:
keep better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
a
dd semigroup_holes
a
p
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
Line_
L
ength:
h
andle 0D
p
ol
y
tope in 1
D
sp
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
gen_fun: ad
d
is_zero m
e
tho
d
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdool
a
eg
e
barvinok_enume
r
ate_e_series:
r
e
move equalities in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: f
i
x typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ba
r
v
i
nok_enumerate_e
_
series: handle all exis
t
entia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
c
c:
ma
k
e p
r
ojec
t
stati
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_
e
numerate_e_series: handle all
equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add te
s
t set from
t
h
e other
i
tsl2
0
0
8 p
a
per
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdoo
l
aege
.
gitignor
e
: i
g
nore object files
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdoolae
g
e
genfunc
.
cc:
p
arall
e
l_polytopes: detect 0D
p
o
ly
t
ope
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoola
e
ge
configure
.
i
n
: set AC_CONFIG_MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdool
a
ege
Polyhedr
o
n_Factor: handle polyhedra wi
t
h
a
non-
t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolae
g
e
update piplib for change in
configure
argum
e
n
ts
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaeg
e
test_ap
p
rox
.
c: add
du
m
my field in
d
um
m
y tms st
r
uctu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdo
o
laege
c
o
nfigure
.
in: avoid introducing
empty
e
lements
i
n
P
K
G
_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaeg
e
occ:
define OMIT_GETRUSAGE if sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
erdoolaeg
e
omega_interfa
c
e/Makefile
.
am:
p
ut de
p
ending librarie
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in
:
add $(
E
X
E
EX
T
) to optio
n
al
o
cc
f
or cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
update
o
mega for MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ve
r
d
ool
a
ege
bernstein/co
n
figure
.
in:
a
d
d missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
dool
a
ege
g
e
nfun
.
cc: add brac
e
s rou
n
d ext
e
rn
"C" typ
e
def
commit
|
commitdiff
|
tree
2008-12-30
Sve
n
Verd
o
o
laeg
e
vector_p
a
rtiti
o
n_ch
a
mber
s
:
c
om
p
ute
s
chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvi
n
ok
.
cc
:
remov
e
unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
upda
t
e piplib for MinGW compati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdool
a
eg
e
update
p
o
lylib for MinGW compati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
fdstrea
m
.
cc: don't (re
)
declare fileno if it's
a macr
o
commit
|
commitdiff
|
tree
next