repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
drop barvinok_enumerate_pip_with_options
2010-04-04
Sve
n
Verd
o
olaege
drop barvin
o
k_enu
m
erate_pip_with_
o
ptio
n
s
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoola
e
ge
iscc:
add cr
o
s
s product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc:
ad
d
coalesce
o
p
erations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
update isl for isl_pw_qpolynomial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
r
op "Omega counting calcula
t
o
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
d
oo
l
aege
t
e
st_bound
.
c
c: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
ol
a
e
ge
bernst
e
in
.
cc:
f
ix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_propagation:
fix subs
t
itution for
n
e
g
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erd
o
olaeg
e
bernstein/config
u
re
.
i
n
: use ab
s
olute
s
r
cdir
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doo
l
aege
only distribute bundle
d
s
ub
m
odule
s
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verd
o
olaege
u
pdate omega
f
o
r configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
con
f
igure
.
in
:
allow "build"
P
oly
L
i
b
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
isl_qpolyn
o
mial_fo
l
d_fr
o
m_ginac:
h
andle fail nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
is
l
_qpo
l
ynomial_from_ginac: expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
isl_obj_list
.
c: update
t
o us
e
of isl_p
r
int
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
la
e
ge
iscc
:
add gist op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
update isl
f
or
introduct
i
on of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
isl_pw_qpolynomial
_
upper
_
bound: se
t
up variable
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
dool
a
e
g
e
iscc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Verdoolaege
iscc
:
add inverse
op
e
ra
t
io
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: fix up type of find_match
i
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
is
c
c
:
add affine
h
ull
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc
:
add operation to const
r
u
ct
u
niversal map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doola
e
ge
iscc:
add "join" operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
V
erdoolaege
iscc: ad
d
intersect_doma
i
n ope
r
at
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
doolaege
i
s
cc: allo
w
o
v
erloadi
n
g binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
i
s
c
c
:
add more
dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
doc:
reorganize tab
l
e of iscc
operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Ve
r
doolae
g
e
update is
l
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
b
a
rvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
AUT
H
ORS: up
d
ate support i
n
formation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
rand
o
mv
e
ctor:
d
ouble size o
f
coefficients on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
i
s
c
c: sup
p
o
rt trans
i
t
i
ve closure
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoo
l
aege
update
i
sl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
barvinok_e
.
cc: e
n
umerate_vd
:
re
m
ove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
evalue
.
c: Poly
h
e
d
ron
_
Insert: add mis
s
ing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
evalue
.
c
:
reduce_evalue:
remov
e
u
nused v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
rdoola
e
ge
iscc: a
d
d @ operat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
is
c
c
: add
"
u
b
"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolaege
add isl_pw_qpoly
n
omial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
add isl_pw_qpolyno
m
ial_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oo
l
aege
a
dd isl_pw_qpol
y
nomial
_
to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolae
g
e
u
p
date isl
f
or isl_
p
w_qpolynomial_fo
r
ea
c
h_piece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
olaege
rename evalue2isl
t
o
is
l
_pw_qpolynomi
a
l_f
r
om_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
doolaege
i
scc: det
e
c
t more kinds
o
f err
o
rs
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumera
t
e: use isl during th
e
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoolaege
a
d
d isl
_
se
t
_
card and
isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaeg
e
evalu
e
_convert: export as app
l
icatio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolae
g
e
barvinok_enumerate_
e
: o
p
tionally use isl to pr
o
j
ec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
add isl s
u
bmodul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olae
g
e
AX_
S
UB
M
ODULE:
accept "-"
in
m
odul
e
name
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
b
a
r
vinok
_
enu
m
erat
e
: r
e
turn NaN for infinite probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
S
v
en Verdoolaege
r
emove_al
l
_equalitie
s
: handle integra
l
ly, but not r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
barvinok_enume
r
ate_e: al
w
ays
r
e
turn
a pa
r
titi
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olae
g
e
barvino
k
_enumerate: chec
k
t
h
at dimension o
f
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n
Verdoo
l
ae
g
e
part
i
tion2en
u
meratio
n
: che
c
k
that in
p
ut is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoo
l
aeg
e
update p
i
p
lib for
c
ha
n
ge in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
V
e
rdoolaege
updat
e
omega
for confi
g
ura
t
i
o
n/compila
t
ion iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaege
barvi
n
ok_count_with_options: check re
t
u
r
n valu
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laeg
e
Pol
y
hedron
_
S
amp
l
e
:
p
l
u
g memory
l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaeg
e
summ
a
te
.
c:
a
dd m
i
ss
i
n
g
i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
t
opcom
.
c
: support
n
ewer versi
o
ns of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
topcom
.
c: co
m
pute_domain: skip ve
r
tices
w
it
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoo
l
aege
polytope_minimize: take constant term to be zero
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
doc: reflect
that -
-
e
nable-fractional is now the defaul
t
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
e
rdoolaege
g
lpk_polyhedron_affine_sign: special ca
s
e 0D poly
h
edra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
Poly
h
e
d
ron_I
n
sert_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
olae
g
e
Polyhedron_Factor: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoolaege
c
onfigure
.
in:
use AX_SU
B
MODULE instead of
B
V
_SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
V
erdoolaege
remove
_
e
qualities: u
s
e
Poly
h
edron
_
Preima
g
e instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n V
e
rdool
a
eg
e
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add e
x
perimental compa
r
is
o
n between
ol
d
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
lexmin
.
cc: remove "anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
do
c
: add
s
ome
less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdool
a
ege
a
d
d "cl
e
ve
r
"
Laur
e
nt
expans
i
on based s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
mov
e
Last_Non_Zero to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
extr
a
ct ou
t
par
a
m_polyno
m
i
al fr
o
m
l
au
r
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
extrac
t
ver
t
ex_cone
from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
NTL_QQ
.
c
c: add stdio include for E
O
F hidden
i
n
NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdool
a
e
g
e
update pol
y
li
b
for speed
improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
ven
V
erdoolaeg
e
update piplib
f
or
di
s
tribution
i
ssu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
d
oolae
g
e
Polyhedr
o
n_Factor: fix merging of g
r
oups
o
f column
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_
e
nu
m
erate
_
seri
e
s: don't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
(t)counter: mov
e
counter::r
e
s
e
t() up to co
u
n
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep be
t
ter tr
a
ck of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdool
a
ege
add se
m
i
g
r
oup_holes applicat
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erd
o
ol
a
ege
Line_
L
e
n
gt
h
: handle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Ver
d
oolaege
g
en
_
f
u
n
: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
b
arvinok_en
u
m
e
r
ate_e_se
r
ies: remove equali
t
ies in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
doc
:
fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e_ser
i
e
s
:
handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
V
erdoo
l
aege
s
e
rie
s
.
cc:
m
ake proje
c
t static
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
b
a
r
v
inok_e
n
umerate_e_ser
i
es:
ha
n
dle all equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test set from
t
he other i
t
sl2008
p
aper
commit
|
commitdiff
|
tree
2009-04-28
S
ven
V
erdoolaeg
e
.
git
i
g
nore: ignore
object fi
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
o
o
la
e
ge
genfunc
.
cc: p
a
rallel_po
l
yto
p
es: detect 0D
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
next