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
update isl for introduction of isl_printer
2010-03-18
Sven Verdoolaege
upda
t
e i
s
l for int
r
oduction
of i
s
l_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
is
l
_pw_qpo
l
y
n
omi
a
l_upp
e
r_bound: set up variab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
isc
c
: add
s
ome comparison operatio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
isc
c
: add
inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdo
o
laege
iscc: fix up type of find_
m
atchi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
a
f
f
ine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add operation to construct univ
e
rs
a
l map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc:
a
dd "
j
oi
n
" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
i
sc
c
: add i
n
tersect_doma
i
n operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: a
l
low overloadi
n
g binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
i
s
c
c
:
add mor
e
dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoola
e
g
e
d
o
c
:
reo
r
ganize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaeg
e
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
o
l
aege
AUTHO
R
S: update support i
n
formation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: d
o
uble size o
f
coef
f
icients on
ea
c
h attempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verd
o
olaege
isc
c
: support transitive clo
s
ure
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
rdool
a
ege
updat
e
isl to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
barv
i
no
k
_e
.
cc: enumerate_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
la
e
g
e
e
v
alue
.
c: Poly
h
e
dron
_
Insert:
a
d
d m
i
ssing retur
n
t
y
p
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
eva
l
u
e
.
c: reduce_evalue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc: add
@
o
perato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdo
o
laege
add
i
sl_pw_
q
polynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
olaeg
e
i
scc:
a
dd
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laeg
e
add isl_p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomia
l
_
t
o_
e
value
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
u
p
d
at
e
i
s
l for
isl_pw_qp
o
lynomial
_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue2isl to isl_pw_qpo
l
y
n
omial_fro
m
_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaeg
e
i
scc: dete
c
t more
k
inds
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erd
o
olaeg
e
b
a
r
vinok_en
u
m
e
rate
:
use isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oola
e
ge
add isl_set_card and
i
sl_map_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doo
l
aeg
e
evalue_conve
r
t: export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
rvinok_enumerate_e:
o
ptionally u
s
e isl t
o
p
r
ojec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
d
d
isl
submodul
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
AX_SUBMODULE: acc
e
pt "-" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
V
e
r
doolaege
barvin
o
k_enumera
t
e:
r
e
t
u
rn NaN for infinite probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
S
ven Ver
d
oolaege
rem
o
ve_all_equa
l
it
i
es: handle
i
n
t
e
g
rally, but
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
o
o
laege
bar
v
inok
_
enu
m
erate_e: always retur
n
a
partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barvinok
_
e
n
um
e
ra
t
e: check that dimensi
o
n
of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
partiti
o
n
2enumeration: check tha
t
input
is
r
e
a
lly
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verdool
a
ege
update pipli
b
for change in
c
onfigure
o
p
tions
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
updat
e
o
m
ega
for configuration/c
o
m
p
ilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
o
o
laege
barvino
k
_count_with
_
options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
Polyhedron_
S
amp
l
e:
plug memory
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
su
m
mate
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdoolaege
topcom
.
c: support newer vers
i
ons of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
ola
e
ge
topc
o
m
.
c: com
p
u
t
e
_
d
omain
:
skip vertices
w
ithout
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
do
o
laeg
e
polytope_min
i
mize: ta
k
e const
a
nt
term to be zer
o
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect that --enable-f
r
actional
i
s now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
g
lpk_poly
h
edron_affin
e
_
sign: spe
c
ial
case
0
D po
l
y
h
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
Polyhedron_I
n
s
ert_Colu
m
ns:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
doolaege
Polyhedron_
F
actor: fix updating of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoo
l
ae
g
e
configu
r
e
.
i
n: use AX_SUBMODU
L
E instead o
f
BV_SUBMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sv
e
n Verdoolaege
remove_equalities:
use P
o
lyhedr
o
n_Preimage inst
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: ad
d
experimental comparison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
lex
m
in
.
cc: re
m
o
v
e
"
a
na
c
hroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
doc: add some
less common
.
st
y
files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever"
Laurent expansion based summat
i
on
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolae
g
e
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
extract
o
u
t
param_pol
y
nomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract vertex_c
o
ne from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdool
a
ege
update poly
l
ib for sp
e
e
d
impro
v
ement
in
in_doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdool
a
ege
update pipli
b
for
dis
t
ribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verdoo
l
aege
Polyhedron_Facto
r
: fix merg
i
ng of
g
r
o
u
p
s
of colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
erdoolaege
barvinok_e
n
umerat
e
_series:
don't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
(t)counter:
move
coun
t
er:
:
re
s
et() up
t
o counter_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefi
l
e
.
am: kee
p
be
t
ter track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add semigroup_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: h
a
ndle 0D
p
olytope in
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaeg
e
g
en_fun: add is_
z
ero met
h
od
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvinok_enumerate_e_ser
i
e
s
:
remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaeg
e
bar
v
inok_enumer
a
te
_
e_series: han
d
le
a
ll ex
i
stentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
series
.
cc: make
project s
t
atic
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
doolaege
barvinok_enumerate_e
_
seri
e
s
: handle
a
ll
e
q
ualit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
a
d
d t
e
st set from the ot
h
er itsl2008 pa
p
er
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Fa
c
tor: handle polyhedra
wi
t
h a non-trivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n
V
erdoolaege
upda
t
e pipli
b
for change in configu
r
e argume
n
ts
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
tes
t
_approx
.
c: add
d
ummy field in dummy tms structur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ver
d
oolae
g
e
configure
.
in: avoid
i
ntroducing empty elemen
t
s in P
K
G_CON
F
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
doolaege
occ
:
define OMI
T
_GETR
U
SAGE if s
y
s/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
me
g
a_interfac
e
/Makefile
.
am: put depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdoola
e
ge
c
o
nfigure
.
in: add $(EX
E
EXT) to optional occ
f
o
r
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdo
o
lae
g
e
update om
e
ga fo
r
MinGW co
m
patibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
b
ernstein/configure
.
in: add mi
s
si
n
g AC_P
R
OG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdo
o
laege
vector_p
a
r
tition_chambers: co
m
pu
t
es cham
b
ers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barv
i
nok
.
c
c: re
m
ove unused nonor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verd
o
olaege
u
p
date piplib for MinG
W
co
m
patibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update poly
l
ib
for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
f
dstream
.
cc: do
n
't (re)declare fileno if it's
a
m
a
cro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
e
v
alu
e
.
c
:
in_doma
i
n: spe
c
ial-case 0
D
domains
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
Avo
i
d
u
se of sys/time
s
.
h header
when not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib
g
etsubopt modul
e
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdoolaege
R
EADME: m
e
ntion
t
hat
G
iNaC is also needed
for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
A
llow build of
o
c
c
when usi
n
g bu
n
dled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven V
e
rdoolaege
doc: a
d
d a refer
e
nce to a master
t
hesis actuall
y
usin
g
.
.
.
commit
|
commitdiff
|
tree
next