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
Sv
e
n
V
erdoolaege
drop barvinok_enumerate_pip_with_option
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
eg
e
isc
c
: add cross produ
c
t
operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en
V
erd
o
olaeg
e
i
s
cc: add coalesce operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
upd
a
te isl
f
or isl
_
pw_
q
polynomial_
c
oales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
dro
p
"Omega counting calculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoola
e
ge
test
_
bound
.
cc
:
fi
x
p
r
intf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
V
erdoolae
g
e
bern
s
t
ei
n
.
cc:
f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
evalue
_
range_prop
a
gation:
fi
x
su
b
sti
t
ution f
o
r negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
e
r
doolaeg
e
berns
t
ein
/
conf
i
gure
.
in
:
use abso
l
ute sr
c
dir of Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
onl
y
d
istribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
erdo
o
laege
upd
a
te
o
mega for
c
onfigurati
o
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
configure
.
in: allow
"build" Pol
y
L
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaeg
e
i
sl_qpolynomial_fold
_
from_ginac: handle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
o
laege
isl_qp
o
lynomial_fr
o
m
_
ginac
:
expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_obj_list
.
c: update to
u
se
of isl_
p
rint
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
iscc: add gist
operations
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
u
p
date i
s
l for i
n
troduc
t
ion of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoolaege
isl_pw_qpolynom
i
al_u
p
per_bound: s
e
t up va
r
iable vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
l
aege
iscc: add some com
p
arison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add
in
v
erse
o
peration
commit
|
commitdiff
|
tree
2010-03-15
S
ven
Verdo
o
laeg
e
iscc: fix up type o
f
find_matchi
n
g_b
i
n_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
a
e
ge
iscc: ad
d
affine h
u
ll ope
r
a
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc:
a
d
d
ope
r
ati
o
n to
c
o
n
struct universal map
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolae
g
e
iscc: add "jo
i
n
" op
e
ra
t
io
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
ege
iscc
:
add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdo
o
laege
i
scc
:
allow
o
ver
l
oading binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolae
g
e
iscc: add more dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdo
o
l
a
e
g
e
d
o
c: reorganize ta
b
l
e of
iscc
o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
doolae
g
e
u
p
date
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaeg
e
A
U
THORS: update su
p
port
i
n
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
randomvector: doubl
e
s
ize
of coefficient
s
on
each a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
ae
g
e
iscc: supp
o
rt transitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verd
o
o
l
aege
upd
a
t
e
i
sl to ver
s
i
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
barvinok_e
.
cc:
en
u
merate_v
d
: remove unuse
d
v
ariables
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaege
evalue
.
c: Polyhedron_Inser
t
: add miss
i
ng return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
olaeg
e
e
v
alue
.
c: redu
c
e_eva
l
u
e: re
m
ove unused variabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: a
d
d
@
operator
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add i
s
l
_
pw_qpolyn
o
mi
a
l_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
do
o
laege
iscc
:
add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_pw_qpo
l
y
nomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
ae
g
e
add
isl_p
w
_qpol
y
n
omial_t
o
_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
update isl for isl_pw_qpolynomial_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
rename
e
v
a
lue2isl to i
s
l_pw_q
p
olynomia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdool
a
ege
iscc: detect more kinds
of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvi
n
ok_enumerat
e
: use
i
sl dur
i
ng
the ve
r
i
fi
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
a
ege
add
i
sl_set_card and i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add ev
a
lue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolae
g
e
evalue_convert: export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
b
a
rvi
n
o
k
_enumer
a
te
_
e:
o
p
tionally use isl to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add i
s
l submodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX_SUBMODULE: ac
c
ept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Ver
d
oo
l
ae
g
e
barvinok_enumerate: return
N
aN fo
r
infi
n
ite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
ege
remove_
a
ll_equalities:
h
andle integrally,
b
ut
n
o
t
r
ation
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
o
o
laege
barvinok_enum
e
r
a
te_e: always return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
barvi
n
ok_enumerate: check that dimension of
i
np
u
t in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoola
e
ge
partiti
o
n2enumeration: chec
k
that input
i
s really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en V
e
rdoolaege
u
p
d
ate piplib for chan
g
e in
c
o
n
f
igure opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdo
o
la
e
ge
update omega for configu
r
a
t
ion/compil
a
t
ion issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
e
ge
b
a
r
vinok_count_w
i
th_opti
o
ns: check return val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdo
o
laege
Pol
y
hedron_
S
am
p
le:
p
l
ug
memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
s
u
mmate
.
c: add missi
n
g inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support
n
ewer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_do
m
ain: skip vertices without dom
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaeg
e
polyto
p
e_m
i
n
i
m
ize: ta
k
e constant
ter
m
t
o
be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoo
l
aeg
e
d
oc: ref
l
ect t
h
at --e
n
a
b
l
e
-
f
r
actional i
s
now the defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
ae
g
e
glpk_p
o
ly
h
edr
o
n_a
f
fine_sign:
sp
e
c
i
al case 0D p
o
lyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
g
e
Polyhedron_In
s
e
r
t_Columns:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oolaege
Pol
y
h
e
d
ron_Facto
r
:
f
ix u
p
d
ati
n
g of gro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdool
a
ege
c
onfigure
.
i
n: use AX_SUBM
O
DULE instead
o
f BV_SUB
M
ODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaege
r
emove_
e
qualit
i
es: use Polyhed
r
on_Preimage inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimental comparison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoo
l
a
e
ge
le
x
min
.
cc:
remove "anachr
o
nism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaeg
e
doc: add
some less c
o
mmon
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "cleve
r
" L
a
u
r
ent exp
a
nsion
bas
e
d
summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
move Last_Non_Zero to
u
ti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
extract out param_polyn
o
mial from la
u
ren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
extract v
e
rtex_cone from l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
v
en
V
erdoolaege
update polylib
f
or spe
e
d
imp
r
ovement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update
p
i
pli
b
for
d
i
st
r
ibution issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven
Verdoolaege
P
olyhedron_Factor: fix m
e
rging of groups
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
nok_e
n
umera
t
e_serie
s
:
do
n
'
t
check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdool
a
eg
e
(t)cou
n
ter: move counter::reset() up to c
o
u
nter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
M
a
kef
i
l
e
.
am:
ke
e
p
better track of
f
ailed t
e
sts
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
erdoolaeg
e
a
dd
semigrou
p
_hole
s
appli
c
atio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Len
g
th:
h
andle 0D polyto
p
e in
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen
_
f
un: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolaege
barvinok_
e
numerate_e_se
r
ies: remov
e
equaliti
e
s i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
doola
e
g
e
barvinok_enume
r
ate_e_series: handle
all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doo
l
aege
serie
s
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
barvinok_enumerate_e_series:
handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdool
a
ege
add tes
t
set from the oth
e
r itsl2008
paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Fa
c
tor: handle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
olaege
u
p
d
a
te pipli
b
for change
i
n configure a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
o
l
aege
test_app
r
ox
.
c: ad
d
dummy field in dumm
y
tms stru
c
tu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
confi
g
ure
.
i
n
:
avoi
d
introducing empty elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
next