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
evalue_range_propagation: fix substitution for negative variables
2010-03-27
Sven V
e
rdoolae
g
e
ev
a
lue_range_propa
g
a
t
i
on: f
i
x
subst
i
tution f
o
r ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
bernst
e
in/config
u
re
.
i
n
: use absolute
s
rcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
o
nly distribute bundled
submodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verd
o
o
l
aege
u
p
date omega for configurat
i
on issu
e
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdo
o
laege
configure
.
i
n: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
V
er
d
ool
a
e
g
e
isl_qpolyn
o
mial_
f
old_from_ginac: ha
n
dle fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ve
r
doolaege
isl_qpolynomi
a
l
_
from_ginac: e
x
pand
ex b
e
fore ins
p
ection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_obj_list
.
c:
u
pdate to
u
se of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
i
scc: add gi
s
t o
p
erations
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
d
o
olaege
update isl for introduction of isl_pri
n
t
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
isl_
p
w_qpolynomial_upper_bound: s
e
t up variabl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
ool
a
ege
is
c
c: add som
e
c
o
m
pa
r
i
s
o
n
operations
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n Ver
d
ool
a
ege
isc
c
: add
i
n
v
erse o
p
eration
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
iscc: fix up typ
e
of find_matching_b
i
n_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
iscc: add affine
hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc:
a
d
d o
p
eration
to con
s
t
r
uct un
i
ve
r
sa
l
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
isc
c
:
a
dd "jo
i
n" opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdool
a
ege
i
s
c
c
: add
i
ntersect_domai
n
o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc:
allow
o
verl
o
a
d
ing
binary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
laege
iscc:
add more dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoo
l
aege
doc: reorganize t
a
ble of i
s
cc o
p
era
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
aege
upd
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
ba
r
vinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ve
r
doolae
g
e
A
U
THORS: update s
u
pport
i
nformation
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
olaege
ran
d
omvector: double size of coefficients on eac
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
is
c
c
:
support t
r
ans
i
tive closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdoolaege
u
p
date isl t
o
v
e
r
s
i
on 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
bar
v
i
nok_e
.
cc: enumer
a
te_vd:
r
e
m
ov
e
u
nused varia
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoola
e
ge
evalue
.
c: P
o
lyhedron_Inser
t
:
add mis
s
ing
r
e
t
urn
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
evalue
.
c: r
e
duc
e
_e
v
al
u
e: remove
u
nused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdool
a
ege
add isl_pw_qpolyn
o
mial
_
upper_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
c
c: a
d
d sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdool
a
e
ge
a
d
d isl_
p
w_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdoolaege
add
i
sl_pw_qpolynomial_to_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
update
i
sl fo
r
i
s
l_pw_qpolyno
m
ial
_
f
ore
a
c
h_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
re
n
ame ev
a
l
ue2isl to isl_pw_qpol
y
nomial_from_ev
a
lu
e
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Verdoolaege
iscc: detect m
o
re kinds of e
r
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaeg
e
barvi
n
ok_enumerate: use isl dur
i
ng the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add
i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add isl_set_ca
r
d
a
nd is
l
_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add
evalu
e
2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oola
e
ge
ev
a
lue_co
n
v
e
rt: export as
app
l
icat
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_
e
n
umerate_e
:
op
t
ionally use
i
s
l
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add i
s
l submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
A
X
_
SUB
M
O
DULE: accept
"
-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
barvinok_
e
numerate: ret
u
rn NaN for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ve
r
doolaege
r
emove_all_equalit
i
es
:
handle integrally, but
not rationa
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvin
o
k
_enum
e
rate_e: always ret
u
rn a
p
artition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barvin
o
k_enumerate
:
check t
h
a
t dimension of input
i
n
cl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
Verdoolaege
partition2enumeration: c
h
eck that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaege
update
p
iplib for
c
hange in
configur
e
o
pti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
update omega
for c
o
nfigu
r
ation/
c
ompilatio
n
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdo
o
l
a
e
ge
bar
v
i
n
ok_count_with_options
:
check return
value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
Po
l
y
h
edron_Sam
p
l
e
: plug memo
r
y leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ve
r
dool
a
e
ge
sum
m
ate
.
c:
a
d
d mis
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
topcom
.
c
:
suppo
r
t newe
r
v
ersions of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
topcom
.
c: compute_domain: s
k
ip
v
e
rtices without doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
p
o
lyt
o
p
e_minimi
z
e:
t
ake const
a
nt term
to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verd
o
olaeg
e
doc
:
re
f
lect th
a
t --enable-fraction
a
l is now
th
e
defaul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
glpk_po
l
yhedron_affine_sign:
spe
c
i
al case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhed
r
on_
I
nser
t
_
C
olumns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n
Verdoolaege
P
o
lyhe
d
ron
_
Fac
t
or: fix updatin
g
of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
S
ven Verdoola
e
g
e
configure
.
in: use A
X
_
S
UBMODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
oolaege
remove_equali
t
ie
s
: use Polyhedron_P
r
eimage inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
e
rdoolaege
ba
r
v
i
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc: add experimental com
p
ari
s
on
b
etwee
n
old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Ver
d
oolaege
lex
m
in
.
cc:
r
emove "anachron
i
s
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add
s
o
m
e less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoola
e
ge
add "cle
v
er" L
a
urent expansion based summa
t
ion
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
move Las
t
_
N
o
n_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
doolaege
extract out param_p
o
lyn
o
m
i
al fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Ver
d
oolaeg
e
ext
r
act vertex_cone
from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
N
TL_QQ
.
cc: add
s
tdio include
f
or EOF hidden in NTL_io_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
ven Verdoolaege
update p
o
lylib for speed imp
r
ovement in
i
n
_
d
o
m
ain
commit
|
commitdiff
|
tree
2009-06-12
S
v
e
n Verdoolaeg
e
update piplib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erdoolaeg
e
Polyhedron_Fac
t
or: fix
mer
g
ing of gr
o
ups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
doolae
g
e
b
a
rvino
k
_enume
r
ate_series:
d
on
'
t check for r
e
vlex posit
i
ve
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
(t)cou
n
ter: move co
u
nter::
r
eset() up to cou
n
ter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
l
a
ege
Makefile
.
am: keep better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ve
r
doolaege
a
dd semigroup_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
Line_Len
g
th: hand
l
e 0
D
polytope i
n
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdool
a
ege
gen_fu
n
: add is_ze
r
o meth
o
d
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
barvinok_enu
m
erate_e
_
series:
r
emove
equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoo
l
aege
doc: fix
ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
ege
ba
r
vinok_enume
r
ate
_
e_series
:
handle all exist
e
ntials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
s
erie
s
.
cc: m
a
ke project static
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaege
barvino
k
_enumer
a
te_e_series:
handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test
se
t
from the other i
t
sl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
e
r
doolaege
.
g
i
t
ignore
:
ignore object files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdool
a
ege
genfunc
.
c
c
:
parall
e
l
_
polytop
e
s: detect 0
D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven V
e
rd
o
olaege
configure
.
in: set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoola
e
ge
add
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
P
o
lyhedron_Factor: han
d
l
e
poly
h
edra with a non-tri
v
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verd
o
o
l
a
ege
up
d
a
t
e p
i
pl
i
b for
change in configure ar
g
umen
t
s
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
doolaege
t
e
s
t
_
approx
.
c: add
dummy field
i
n dum
m
y tms s
t
r
uctur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: avoid introd
u
cing empty elements in PKG
_
CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
occ: def
i
ne
O
MIT_GETRUSAGE if sys/resource
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
next