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 isl_pw_qpolynomial_coalesce
2010-03-30
S
ven V
e
rdoolaege
u
p
date isl f
o
r
isl_pw_qpo
l
ynom
i
al_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
d
r
o
p
"Omega
c
oun
t
ing
calc
u
lato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
t
e
st_bound
.
cc: f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
erdoolaeg
e
bernste
i
n
.
cc: f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
er
d
o
o
l
a
ege
evalue_ran
g
e_propagation
:
fix s
u
b
s
titution for n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
be
r
n
s
tein/config
u
re
.
in: use absolute src
d
i
r
of
P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ve
r
doola
e
ge
only distribu
t
e bun
d
l
ed su
b
modules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
u
p
d
a
t
e
omega for c
o
nf
i
guration i
s
s
ue
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Ver
d
oolaege
conf
i
gure
.
in
:
allow "bu
i
ld" P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
erdoolaege
isl_qp
o
lynomial
_
f
old_from_ginac:
h
a
n
dle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoo
l
aege
isl_qpolynomial_f
r
om_g
i
nac: expand ex bef
o
re inspect
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl
_
obj_list
.
c: update
t
o use o
f
isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oola
e
ge
iscc: add gis
t
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update
isl
f
o
r in
t
roduction of
i
sl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdoolae
g
e
isl
_
p
w
_q
p
olynom
i
a
l_upper_
b
ound: set u
p
variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add
s
ome
comparison operat
i
o
ns
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoola
e
ge
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n Verdoolaege
iscc:
f
i
x up type of find_mat
c
hing_bin_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add affi
n
e h
u
ll operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ola
e
ge
iscc: add oper
a
t
i
on
to construct unive
r
sal map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: a
d
d "join" operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Ve
r
doolaege
is
c
c: add intersect
_
domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: a
l
low overloading
b
inary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
olaege
is
c
c: add m
o
re dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
doc: r
e
o
r
gan
i
z
e
t
a
ble of
i
scc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ver
d
oolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barv
i
nok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
AUTHO
R
S:
u
pdate
s
u
p
port
infor
m
at
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
a
ndom
v
e
c
t
or: d
o
uble size of c
o
ef
f
icients on e
a
c
h attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isc
c
:
s
upport t
r
ansitive clo
s
u
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
laege
update
isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
b
a
rvi
n
ok_e
.
cc:
enu
m
erate_vd:
r
e
move unused v
a
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Poly
h
edron
_
Insert:
a
dd m
i
ssin
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: r
e
duce_eva
l
u
e: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verd
o
olae
g
e
i
s
cc: add @ o
p
e
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_upper_bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
c
c: add
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_pw_q
p
olyno
m
i
al_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdo
o
laege
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
update isl fo
r
isl_pw
_
qpolyno
m
ial_fo
r
each_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename eva
l
ue2isl to isl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
doola
e
ge
iscc: dete
c
t
more kinds of e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaeg
e
barv
i
nok_enum
e
rate: use isl during the ve
r
if
i
cation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rd
o
olaege
add isl
_
set_ca
r
d
a
nd isl_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add
evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_co
n
v
e
rt
:
export
a
s application
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
barvinok_enumerate_e: optional
l
y
u
se isl to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
a
ege
a
d
d
isl subm
o
du
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
AX_SUBMO
D
ULE: accept
"-" in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
b
arvinok_
e
numerate: return
NaN for
infini
t
e prob
l
ems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Ver
d
ool
a
ege
r
e
mov
e
_all_equalit
i
es: han
d
l
e i
n
tegrally, b
u
t not
r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_en
u
merate_e: always retur
n
a part
i
t
ion
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoola
e
ge
barvinok_
e
n
u
merate:
check th
a
t dimension
of input inclu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erd
o
ola
e
ge
p
a
r
t
ition2
e
num
e
ration
:
check
that inp
u
t is reall
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
e
r
d
o
olaege
u
p
d
at
e
p
iplib for chan
g
e in confi
g
u
r
e
o
ption
s
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolae
g
e
u
pdate omega
f
or configuration/compilation
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barv
i
no
k
_co
u
nt_wi
t
h_options: check
r
eturn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
Po
l
yhe
d
r
o
n
_
Sample: pl
u
g mem
o
ry l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
doolaege
s
u
mm
a
te
.
c: add missin
g
include
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
topcom
.
c: support newe
r
versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
en V
e
rdoolaege
t
o
pcom
.
c: compute_domain:
s
kip
v
ertices withou
t
doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolae
g
e
polytope_minimize: take co
n
stant term to be zero whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erd
o
olaege
d
oc:
r
eflec
t
t
h
a
t
--enable-fracti
o
nal is
n
ow t
h
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
glpk_polyhedron
_
af
f
ine_sign: special
c
ase 0D poly
h
edra
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoola
e
g
e
Polyh
e
dr
o
n_Insert_Columns: f
i
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n Verdoolaeg
e
P
olyhedron_Factor: fi
x
updatin
g
of group
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
con
f
ig
u
re
.
in: use AX_SUBM
O
DULE instea
d
of BV_SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven V
e
rdoolaege
remove_equali
t
ies: u
s
e Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimental c
o
m
pariso
n
between old
a
nd n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdo
o
laege
l
e
x
min
.
cc: remov
e
"an
a
chron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdool
a
ege
doc: add some l
e
ss co
m
mon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
V
e
rdoolaeg
e
add "clever" L
a
ur
e
nt e
x
pansion based summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
Verd
o
olaege
mo
v
e Las
t
_Non_Zero
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
ext
r
act out param_polynomial fro
m
laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaeg
e
extr
a
ct vertex
_
cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoola
e
ge
N
T
L_QQ
.
cc: a
d
d stdio include f
o
r EOF
h
i
dde
n
in NTL_io_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Ver
d
oolaege
up
d
ate polylib for s
p
ee
d
improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
dool
a
ege
u
p
date pipl
i
b f
o
r dist
r
ibution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
oolaege
Poly
h
edr
o
n_Fa
c
tor: fix mer
g
ing of groups of colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
no
k
_enum
e
r
ate_series: do
n
't ch
e
ck for re
v
lex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
(t
)
counter:
m
ov
e
coun
t
er::reset(
)
u
p
t
o counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
Makefile
.
am: keep b
e
t
ter track of failed tes
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
ol
a
eg
e
add semi
g
ro
u
p_holes application
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
Line_Length: handle
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
ge
n
_fun: add is_zer
o
method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e_series:
r
emove eq
u
alities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
g
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k_enum
e
rate_e_series:
handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven
Verdoolaege
se
r
ies
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k_enumera
t
e_e
_
se
r
ies: handl
e
all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ver
d
o
o
l
aeg
e
a
d
d test set from the other its
l
2
008 pa
p
er
commit
|
commitdiff
|
tree
2009-04-28
S
ven
V
e
rdoola
e
ge
.
gi
t
igno
r
e: ignore objec
t
f
i
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
erdoolaeg
e
g
e
nfun
c
.
c
c: parallel_pol
y
topes: dete
c
t 0D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven V
e
rdoolaege
c
o
nfigure
.
in
:
set AC
_
CONFIG_MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n Verdoolaege
Polyhedron_Fa
c
tor: handle poly
h
edra
with
a
no
n
-trivial
.
.
.
commit
|
commitdiff
|
tree
next