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 fix in isl_printer_print_pw_qpolynomial C format printing
2010-04-21
Sven Verdoo
l
aege
update isl
for
fix in isl_printer_prin
t
_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
update
i
s
l-polylib for
c
hange in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verd
o
o
l
aege
i
s
cc: allow specifi
c
ation of
o
utput format
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Ver
d
oo
l
aeg
e
upda
t
e isl
for change in isl_s
e
t_gist
argum
e
nt
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
update i
s
l
for re
n
ame of isl_
m
ap
_
m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
configure
.
in: add isl
flag
s
a
n
d l
i
bs to
p
kg-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
is
c
c: test
isl
_
str
e
a
m
for
e
of rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
g
e
iscc: add delt
a
s op
e
r
a
ti
o
n
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaeg
e
update
i
sl fo
r
fix in isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
S
v
e
n Verdoolaege
drop barvin
o
k_en
u
merate_pi
p
_
w
i
th_
o
ptions
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
iscc: add cros
s
pr
o
duct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
oolaege
is
c
c: a
d
d
coale
s
ce oper
a
tion
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
upda
t
e
isl for isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
erd
o
olaeg
e
dro
p
"Ome
g
a co
u
nting
c
alcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
ae
g
e
test_bound
.
cc: fix
pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
bernstein
.
cc: fix p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
evalue_range_propagation: fix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
bernstein/configure
.
in: us
e
a
bsol
u
te s
r
cdir o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
only
di
s
tribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
rdoolaege
update omega for configuratio
n
i
ss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ver
d
oolaege
configure
.
i
n
:
a
llow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en V
e
rdool
a
ege
isl
_
q
polynomial_fold_from_ginac: h
a
ndle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
isl_qpoly
n
o
m
ial_
f
rom_gin
a
c:
e
x
pand ex before ins
p
ecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_obj_list
.
c: upd
a
te to use of
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdool
a
ege
iscc
:
add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
u
p
date i
s
l
f
or intr
o
d
uction
o
f is
l
_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_
p
w
_
q
p
oly
n
omial_upper_bound: set up variable vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoo
l
aege
i
s
cc: add some
comparison oper
a
tions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoola
e
ge
iscc: a
d
d inver
s
e opera
t
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
lae
g
e
isc
c
: fix
u
p type of find_mat
c
h
i
ng_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
a
ege
i
scc: add affine hull o
p
eratio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olae
g
e
i
scc: add operat
i
on to
constr
u
ct univers
a
l map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: add "join" o
p
er
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
scc: add inters
e
c
t
_
d
om
a
in operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
iscc: allow ove
r
loa
d
in
g
binary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc
:
add m
o
re dom operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Verdoolae
g
e
do
c
: reorganize tabl
e
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
aege
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
o
l
aege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
A
U
T
HORS: update supp
o
rt information
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
randomvector: doub
l
e
s
ize
o
f coe
f
f
ic
i
ents
o
n each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
erdoolaege
iscc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaeg
e
updat
e
isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
o
l
aeg
e
barvinok_e
.
c
c: enumera
t
e_vd:
remove unu
s
ed variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
evalue
.
c: P
o
lyhedron_Insert:
add
m
i
ssing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
evalue
.
c: r
e
duce_e
v
al
u
e: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
is
c
c: add
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolae
g
e
a
d
d isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
add isl_pw_
q
polynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update is
l
for isl_pw_qpo
l
ynomial_
f
oreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
ge
ren
a
me ev
a
lue2isl to isl_pw_qpolynomi
a
l_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
scc: detect m
o
re kinds
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
barvinok_enumera
t
e: use
i
sl d
u
ring the ve
r
i
ficat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoo
l
aege
a
dd iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ve
r
doolaege
add is
l
_se
t
_
c
ar
d
and
i
sl
_
map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoo
l
aege
add
eval
u
e2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
oo
l
aege
eva
l
ue_
c
onvert:
e
x
port as applicati
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvin
o
k_
e
nume
r
ate_e: optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoola
e
ge
a
d
d isl
s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoo
l
aege
AX_SUBMODULE
:
a
c
cept "-" i
n
modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ba
r
vinok_e
n
umerate:
r
eturn NaN for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdoolaege
remove_al
l
_
e
q
u
a
lities:
h
andle
i
ntegrally, b
u
t
n
o
t r
a
ti
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
o
laege
barvi
n
ok_
e
numerate_e: always return a
p
a
r
titi
o
n f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoolaege
barvinok_en
u
merate: check that
dimension
o
f
input inclu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdo
o
laege
part
i
tio
n
2enu
m
e
rati
o
n: check th
a
t input is
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdool
a
ege
update piplib
for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Ve
r
doolaeg
e
update omega fo
r
co
n
f
i
gura
t
i
o
n
/
compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
barvinok_count_with_opt
i
ons:
check r
e
turn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
Verdo
o
l
a
ege
Polyhedron_Sample
:
p
l
u
g
memo
r
y
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
summate
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erd
o
olaege
topcom
.
c: suppor
t
n
ewer
vers
i
ons o
f
T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verd
o
olaege
topcom
.
c:
c
ompu
t
e_d
o
m
ain:
skip vertices
w
ith
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
p
o
ly
t
o
pe_minimize
:
take con
s
tan
t
term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en V
e
rdoo
l
aege
doc: reflect that -
-
enabl
e
-fra
c
tio
n
al
i
s
now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_polyhedron_affine_sig
n
: s
p
ecial case 0D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
Polyhedron_Insert_Columns:
fix
t
yp
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oolaege
Polyh
e
dr
o
n_Fac
t
or: fix updating
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdo
o
lae
g
e
configure
.
in: us
e
AX_SUB
M
ODULE instead of BV_SUBMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdo
o
laege
remo
v
e_equalities: u
s
e Polyhedron_Preimage inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
barvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
d
oc
:
add e
x
p
eriment
a
l
co
m
parison bet
w
een old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
l
e
xmin
.
c
c
:
remov
e
"anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: a
d
d so
m
e
l
ess common
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" La
u
r
e
nt expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
V
e
rdool
a
e
ge
mov
e
Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ve
r
do
o
laege
extra
c
t out param_polynomial from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
extract vertex_co
n
e from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
ven V
e
rdoolaeg
e
NTL_QQ
.
cc: add stdi
o
include fo
r
EOF hidden in NTL_io
_
vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdo
o
l
a
ege
update
p
o
l
ylib for spee
d
im
p
rovement
i
n in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
v
e
n
Verdoolaeg
e
u
p
d
a
te
p
iplib for
d
i
stri
b
ution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoola
e
ge
Polyhedron
_
Factor: fix mer
g
ing of group
s
of c
o
lum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
d
o
o
laege
ba
r
vinok_enumerate_series:
d
on't
check for revlex positiv
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
erdoo
l
aege
(t)counte
r
: move counter::reset() up to counter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
Mak
e
file
.
a
m
: keep
b
etter track of fa
i
led
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
add semigroup_hol
e
s application
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaeg
e
Lin
e
_Length: handle 0D
polytop
e
in 1D space
commit
|
commitdiff
|
tree
next