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
bernstein/configure.in: use absolute srcdir of PolyLib for include directory
2010-03-27
Sven Verdoolaege
berns
t
e
i
n/co
n
fi
g
ure
.
in: use absolute srcdir
o
f
P
o
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ve
r
doola
e
ge
only distribute bundled sub
m
odul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaeg
e
u
p
date ome
g
a
for config
u
ration issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verd
o
olaege
configure
.
in:
a
llow "build" Po
l
y
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_q
p
o
lynomi
a
l_fold_fro
m
_
ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_qpol
y
nomial_from_ginac: expand ex before ins
p
ection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
ae
g
e
isl_obj_l
i
st
.
c: update to use o
f
i
s
l_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoola
e
ge
i
s
cc: add g
i
st o
p
erations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update is
l
for introduction of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdoolaege
isl_
p
w_qpol
y
no
m
ial_upper
_
b
o
u
nd
:
set up v
a
riable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaeg
e
iscc:
a
dd some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n
Verdoolaege
iscc: fix up type of fi
n
d_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
dool
a
ege
iscc
:
add
a
ffine h
u
ll
o
pe
r
a
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
isc
c
:
add
o
p
e
r
a
tion to co
n
st
r
uct univ
e
rsal map
f
ro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: add "join
"
operatio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
la
e
ge
iscc:
a
dd i
n
tersec
t
_
dom
a
in operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: allow over
l
oading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more
d
o
m
oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: reorganiz
e
table of is
c
c operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
b
arvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
AU
T
H
O
RS:
update suppor
t
info
r
mation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
la
e
ge
random
v
ector: double size of
coe
f
ficient
s
on each att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoo
l
aege
iscc: supp
o
rt transitive
c
losure
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
d
oolaege
update
i
sl
to vers
i
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
barv
i
nok_e
.
cc: en
u
mera
t
e_v
d
:
remove unused va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
evalue
.
c: Polyhed
r
on_Insert: add missing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
e
v
alue
.
c: reduce_evalu
e
: remove unused
variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaeg
e
iscc:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoola
e
ge
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add
i
sl_pw_qpol
y
nomial_
u
pp
e
r_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_pw_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
ad
d
i
s
l_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
d
oo
l
a
ege
u
pdate isl for isl_pw_qpolynomial_for
e
ac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
rename evalue
2
isl to isl_pw
_
qpolynomia
l
_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
S
ven Ve
r
doolaege
iscc: det
e
ct more k
i
nds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
b
a
rvinok_
e
n
u
merate: us
e
isl during the
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add isl_set_car
d
and i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdool
a
ege
a
dd evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
eval
u
e_convert:
export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barv
i
no
k
_enumerate_
e
:
optional
l
y
u
se isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
laege
A
X
_SUBM
O
DULE: accept "-"
i
n
modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
bar
v
inok_enumerat
e
: return NaN for infinite
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verd
o
o
laege
remo
v
e_all_equalit
i
es: handle integ
r
ally, but not
r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdool
a
ege
barvino
k
_enumera
t
e
_
e:
a
lways retur
n
a partition f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
doolaege
barvino
k
_en
u
mer
a
te: c
h
eck that d
i
mension
o
f
input include
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n V
e
rdoolaege
partit
i
on2en
u
meration: c
h
eck that
i
nput is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update piplib
for change in configu
r
e opt
i
on
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
update omega for
c
onfi
g
ura
t
io
n
/
compi
l
ation iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaege
barvinok_count_with
_
op
t
ions:
c
heck return val
u
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
P
o
lyhedro
n
_Sample: plug memory lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
s
u
mmate
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaeg
e
topcom
.
c: support
n
ew
e
r versio
n
s of
TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
t
o
p
c
om
.
c: compute_
d
omain:
skip ve
r
tice
s
without
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
p
o
l
y
tope_mini
m
i
z
e
:
take constant term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
d
oc: ref
l
ect tha
t
--enab
l
e-fraction
a
l is now the d
e
fault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
glpk_
p
ol
y
h
ed
r
on_affine_sign: special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
P
o
lyhedron_I
n
s
e
r
t_
C
o
lumns: fix
t
y
po
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedr
o
n_Factor: fi
x
up
d
a
ting
o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven V
e
rdoola
e
ge
conf
i
gure
.
in:
use
A
X_SUBMODULE in
s
t
ead of BV_S
U
B
M
ODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaege
remove_equal
i
tie
s
:
use
Polyhe
d
ron_P
r
eimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdool
a
e
g
e
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
do
c
: add experiment
a
l
comp
a
rison b
e
tween ol
d
and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
lexmin
.
c
c
: remov
e
"anach
r
oni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ver
d
oolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
doc: add some less common
.
s
ty f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
V
erdoolaege
add
"
clever" Laurent
expansio
n
bas
e
d
s
ummatio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
mov
e
Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extra
c
t out p
a
ram
_
p
o
l
y
n
omial from
l
aure
n
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoo
l
aege
e
xtract verte
x
_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoola
e
ge
NTL_QQ
.
cc: add stdio inclu
d
e for E
O
F
h
i
dden i
n
NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Verdo
o
laege
update
p
olyl
i
b for
s
peed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdool
a
e
g
e
update piplib for
distribution
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoolaege
Polyhedr
o
n_Factor:
f
i
x
merging of
groups of c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
olaege
b
a
r
v
inok_enumera
t
e
_series: don't
check for re
v
lex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
e
rdo
o
lae
g
e
(t)counte
r
: move coun
t
er::reset
(
)
up to count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makef
i
l
e
.
a
m
: keep
b
e
tter
track
of f
a
iled tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
add semigroup_holes appli
c
atio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
ae
g
e
L
i
n
e
_L
e
ngth:
h
andle 0
D
polytope in 1D
s
p
a
c
e
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
gen_fun:
a
d
d
i
s_zero metho
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
rvinok_e
n
umera
t
e
_e
_
series: re
m
ov
e
equalities
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
b
a
rvinok_en
u
me
r
ate_e_serie
s
: handle al
l
existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
doola
e
ge
seri
e
s
.
c
c
: ma
k
e project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
dool
a
ege
barvinok_en
u
merate_e_series: hand
l
e a
l
l
equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add te
s
t set from the other it
s
l200
8
pa
p
er
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolae
g
e
.
g
itignor
e
: ignore obj
e
ct files
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
e
rd
o
olae
g
e
genfunc
.
cc: pa
r
alle
l
_polytopes
:
detect
0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Verdoola
e
ge
configure
.
in: set AC_CO
N
FIG_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoolaeg
e
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolaege
P
o
lyh
e
dron_Factor: hand
l
e polyhe
d
ra with a non-
t
rivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
olaege
u
pdate
p
i
plib for
change in c
o
nfigure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
e
ge
t
e
st_a
p
prox
.
c: add dummy fie
l
d in dummy
t
m
s structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
doolaege
configure
.
i
n: a
v
oid introduc
i
ng
empty element
s
in
P
K
G
_C
O
NFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Ver
d
oola
e
ge
occ: define OMIT_GETR
U
SAG
E
if sys/resource
.
h ca
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
omega_interface/Mak
e
f
i
l
e
.
am: pu
t
d
ependin
g
librar
i
es
.
.
.
commit
|
commitdiff
|
tree
next