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
g
e
iscc: add affin
e
hull ope
r
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
add operation
t
o c
o
nstruct
unive
r
s
a
l m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: add "join" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add intersec
t
_
domain operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
i
s
c
c:
allow overloadin
g
binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verd
o
ol
a
eg
e
iscc: add more do
m
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
ool
a
ege
doc: r
e
organi
z
e table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
b
arvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
AUTHORS:
u
pdate support inf
o
rmation
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
randomvector: d
o
ub
l
e siz
e
o
f
coeffici
e
nts on eac
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoola
e
ge
iscc: s
u
pport
t
ransitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
do
o
laege
update
isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ola
e
ge
barvinok_e
.
cc: enumer
a
te_vd:
remove unused
variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
eval
u
e
.
c: Polyhedron_Insert: add miss
i
ng r
e
turn ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eva
l
ue
.
c:
r
e
d
uce_eval
u
e: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaeg
e
iscc:
a
d
d @
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
a
dd
i
sl_pw_qp
o
lynomi
a
l_up
p
er_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
d
oolaege
add isl_
p
w_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
a
d
d isl_p
w
_qpolynomia
l
_t
o
_e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaeg
e
u
p
date isl for isl_pw_qpo
l
y
nomial_forea
c
h_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
rena
m
e evalue2isl
t
o isl_p
w
_
q
po
l
ynom
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
ven Verdoo
l
aege
iscc: detec
t
more kinds of
e
rrors
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
d
o
olaege
ba
r
vinok_en
u
merate: use isl d
u
ring the verifi
c
atio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
oolaege
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add isl_set_card and isl_
m
ap_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdo
o
laege
evalue_conver
t
: export as application
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ver
d
oola
e
ge
barvin
o
k_enumerate_e
:
optionally use is
l
t
o project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add isl su
b
mo
d
ule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMO
D
U
L
E: acce
p
t
"
-"
i
n
modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
la
e
ge
b
a
rvinok_enume
r
ate: retur
n
NaN for i
n
finite
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoo
l
ae
g
e
remo
v
e_all_equa
l
ities: handle
i
ntegrall
y
,
but no
t
r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdool
a
ege
bar
v
in
o
k_e
n
u
m
erate_e: a
l
ways
return a par
t
ition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
barvinok_enumerate:
check that dime
n
sion
of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
partition2enum
e
ration:
c
heck
t
hat input
i
s really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdoola
e
ge
up
d
ate
p
iplib for change
i
n configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
update omega f
o
r config
u
ration/compilat
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
barv
i
nok_co
u
n
t_with_options: check ret
u
rn value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Ver
d
oo
l
aege
Polyhedron_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdool
a
e
ge
summ
a
te
.
c:
add missin
g
include
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verd
o
o
l
aege
topcom
.
c:
s
upp
o
rt newer ver
s
ions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaeg
e
topcom
.
c: compute_domain: skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
p
olytope_minimize
:
take constan
t
term to be zer
o
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
la
e
ge
doc: re
f
l
e
c
t
th
a
t --ena
b
le-fractional is n
o
w the de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laeg
e
glpk
_
p
o
lyhedron_af
f
i
ne_sign
:
special
case
0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Poly
h
edron
_
I
nsert_Co
l
umns: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoo
l
aege
Polyhedron_Fa
c
tor: fi
x
u
p
dating of grou
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in: use AX_S
U
BMODULE instead o
f
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
Ver
d
oolaege
remove_equalit
i
es: us
e
Polyhedron
_
Preima
g
e in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ver
d
oolaege
d
oc:
a
dd
ex
p
erimental
c
om
p
ariso
n
betw
e
en old and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc:
r
emove "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some
l
ess common
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolaege
add "c
l
ever" Laure
n
t expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
mov
e
La
s
t_Non_Zero
t
o ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
extract out para
m
_polyno
m
ial from
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
a
e
ge
ext
r
act vertex_cone
fr
o
m
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
l
a
ege
NTL_QQ
.
cc: add stdio inclu
d
e for EOF
h
idd
e
n in NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verd
o
olaege
u
p
d
ate polylib for spe
e
d improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoo
l
ae
g
e
update piplib f
o
r d
i
str
i
bution iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
rdoolaege
Polyhedr
o
n_Factor: fi
x
mergin
g
of grou
p
s of columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
ba
r
vinok_enumerate_series: don't c
h
eck for revl
e
x
p
osi
t
ive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
(t)counter: move counter::reset
(
) up to c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
Makefile
.
am:
k
e
ep b
e
tter tr
a
ck o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoolaege
add sem
i
g
roup_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oola
e
ge
Line_Le
n
gth: ha
n
dle 0D polyt
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
gen_fu
n
: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
b
a
rvin
o
k_enumer
a
te_e_
s
eries: remove
e
q
u
alities in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k
_enumer
a
te_e_series: hand
l
e a
l
l existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
e
r
d
oolaege
series
.
cc: make pro
j
ect s
t
atic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ba
r
vi
n
ok_enumerate_e_ser
i
e
s: handle
a
ll
equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
ad
d
t
e
st set from the oth
e
r itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
S
ven
V
e
rdoolaege
.
gitignore:
i
gn
o
re object
f
iles
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdoolaege
g
e
nfunc
.
cc
:
parallel_polyt
o
p
e
s: detect
0D
poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
in:
set AC
_
CO
N
F
I
G_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdo
o
la
e
ge
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Ver
d
o
o
laeg
e
Polyhedro
n
_Fac
t
or:
handle
polyh
e
dra with a
non
-
triv
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update pipl
i
b for change in configure
a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
t
e
st_approx
.
c: a
d
d du
m
my
f
iel
d
in dummy t
m
s
structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
Ve
r
d
oolaege
c
o
nfigu
r
e
.
in: avoid i
n
troduc
i
ng
em
p
ty
e
l
e
ments in PKG
_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
occ:
defin
e
OMIT
_
GET
R
USAGE if sys/resourc
e
.
h
c
a
nnot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
ome
g
a_interface/Makefile
.
am: put depend
i
ng libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
configu
r
e
.
i
n
: add $(EXEEX
T
) to opti
o
n
a
l
oc
c
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
update omega for MinGW compatib
i
l
i
t
y
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolae
g
e
bernst
e
in/configure
.
i
n
: add
missing
AC_
P
ROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdo
o
lae
g
e
genfun
.
cc: add braces r
o
u
n
d extern "C"
t
ypede
f
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolaege
vecto
r
_partitio
n
_cham
b
ers: computes
c
h
am
b
er
s
of vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvi
n
ok
.
cc
:
remo
v
e unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update pi
p
lib
for MinGW
co
m
pati
b
i
lity
commit
|
commitdiff
|
tree
2008-12-26
S
ven
V
erdoolaege
update polylib for Min
G
W compatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven
Ve
r
doolaege
fdstrea
m
.
cc: don'
t
(re)declare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_domai
n
: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oo
l
ae
g
e
Avo
i
d
use of sys
/
t
i
mes
.
h heade
r
when
not ava
i
lab
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verdoolaege
add gnulib gets
u
b
o
pt module
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaeg
e
README: mention that GiNaC is also nee
d
ed for
the Omega
.
.
.
commit
|
commitdiff
|
tree
next