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
configure.in: allow "build" PolyLib
2010-03-25
Sven Verdool
a
ege
configur
e
.
in: al
l
ow "bui
l
d" PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolae
g
e
isl_qpolynomial_fold
_
f
r
o
m
_
gin
a
c: handle
f
ail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
doolaege
i
s
l
_qpolynom
i
al_f
r
om_gin
a
c:
ex
p
and ex b
e
fore in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoo
l
aege
isl_obj_list
.
c: update
to use of
i
sl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
updat
e
isl for introduction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
d
oolaege
i
s
l
_pw_qpolyno
m
ial_upper_bound: set up
variable vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
V
erdoolae
g
e
i
s
c
c
: add some compariso
n
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-15
S
ven V
e
rdoolaege
iscc: add
inverse oper
a
tio
n
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
i
s
cc
:
fix up ty
p
e o
f
find_m
a
t
c
hing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
iscc: add affine hull o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolaege
iscc
:
add oper
a
tion to construct
u
ni
v
er
s
a
l map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add "joi
n
" operat
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
isc
c
:
a
dd intersect_doma
i
n
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdool
a
ege
i
s
c
c
: a
l
low o
v
erloadi
n
g binary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add m
o
re dom
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
d
o
c:
reorganiz
e
table o
f
iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
up
d
a
t
e isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
ba
r
v
inok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: update sup
p
ort information
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
olae
g
e
rando
m
v
ector: double siz
e
of coefficients
o
n each atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verd
o
olaege
iscc: su
p
port transiti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
update isl to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
bar
v
inok_e
.
cc: enumerate_vd: remove
u
nused vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
evalue
.
c:
Polyhedron
_
In
s
ert: add missing re
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
evalue
.
c
:
reduce
_
eva
l
ue: remove
unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
a
d
d @ op
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
rdoolae
g
e
add isl_pw_qpolynomial_upper_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
i
scc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add
i
sl_pw
_
qpolynomial_s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
e
g
e
a
d
d
isl_
p
w_qpolynomia
l
_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
l
aege
update is
l
for isl_
p
w_qpolyno
m
ial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoo
l
aege
rena
m
e
evalue2isl to isl_pw_q
p
olyn
o
m
ial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
S
ven Verdoolae
g
e
iscc: d
e
tec
t
more kinds of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok
_
enu
m
erate: use isl
d
urin
g
the verifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
d
o
o
l
aege
add isl_set_
c
ard and i
s
l_map
_
c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolaege
add
e
v
alue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
evalue_convert: ex
p
o
r
t as app
l
i
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
barv
i
nok_
e
numerat
e
_e: op
t
ion
a
lly
u
se isl
to projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
sl s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
S
ven
Verdoolaeg
e
AX_SUBMOD
U
LE:
a
ccept "-"
i
n
modu
l
enam
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
barvinok_enumerate: return NaN for in
f
inite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdo
o
laeg
e
remove_all_equalit
i
es: han
d
le inte
g
rally, but
n
ot rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n
Verdoolaege
barvinok
_
enumerate_e:
a
lways return a partition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
barvinok_enumerate: check
that dimension
of inpu
t
in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
part
i
tion2enumeration: check that inpu
t
is re
a
lly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n V
e
rd
o
o
laege
u
p
date piplib
fo
r
chang
e
in configure
o
p
tions
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
update
o
mega for configuration/c
o
mp
i
la
t
ion issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
b
a
r
v
in
o
k_count_wit
h
_options: che
c
k
r
e
t
urn
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdo
o
laege
Polyhedron_Sample: p
l
ug memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
laege
topc
o
m
.
c
:
s
u
p
port newer versions o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topc
o
m
.
c: compute_do
m
ain: skip
vertices
wit
h
o
u
t
doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ver
d
oola
e
ge
poly
t
ope_
m
inimize: t
a
ke consta
n
t term to be z
e
ro
whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflec
t
that --
e
nable-fra
c
tional is
n
ow the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
g
e
g
l
pk_polyhe
d
ron_a
f
fine_sign:
s
p
ecial case 0D poly
h
ed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolaege
Polyhe
d
r
on_
I
nsert_Co
l
u
m
ns
:
f
i
x typ
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhe
d
ron_Factor
:
fix updat
i
ng
o
f groups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verdoo
l
aege
configure
.
in
:
use AX_SUBMO
D
ULE in
s
tead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
oolaege
remove_equalities:
use Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Verdoo
l
aege
barv
i
nok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
doc: ad
d
exper
i
mental comparison between o
l
d and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
le
x
min
.
cc: remove "anachr
o
nism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc: fix
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
doc: ad
d
some
le
s
s
common
.
s
t
y file
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
ge
add "c
l
ever
"
Laurent expansion based summa
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
a
e
g
e
move
L
ast_Non_Zero to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
extract ou
t
par
a
m_p
o
lynomial from laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Ve
r
d
oolaege
ext
r
act vertex_cone from
l
a
uren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
aege
NTL_QQ
.
cc: add stdio include for EOF hi
d
den in NT
L
_io_
v
e
c
to
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verd
o
ol
a
eg
e
update poly
l
i
b
for speed
improveme
n
t in in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolae
g
e
updat
e
pipli
b
for di
s
tribu
t
ion issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaeg
e
Polyh
e
dron_Factor: fi
x
me
r
ging of groups of c
o
l
u
mns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k_enumerate_series: don't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
l
aege
(t)c
o
u
n
te
r
: move cou
n
ter::reset() up to counter
_
ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Makefile
.
am: k
e
e
p
bette
r
t
r
ack of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigro
u
p
_holes appli
c
ation
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
doolaege
Li
n
e_Length: handle
0
D polytope i
n
1D
space
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Ve
r
doolaege
ge
n
_fun: add is_z
e
r
o method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
ba
r
vinok_enum
e
rate_e_
s
eries
:
remove equalit
i
e
s
in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
rvinok_enumerate_e_s
e
ries: hand
l
e
a
ll exist
e
nti
a
ls
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdool
a
ege
series
.
cc: ma
k
e project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e
_
se
r
ies: ha
n
d
l
e all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
add test set from t
h
e other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdoolaege
.
gi
t
ignor
e
: ignore object files
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
ool
a
ege
genfunc
.
cc: pa
r
allel_poly
t
opes: detect
0
D p
o
ly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Verdoo
l
aege
configure
.
i
n: se
t
A
C
_CONFIG_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolae
g
e
add pkg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoola
e
ge
Polyh
e
dro
n
_
F
acto
r
:
h
andle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doo
l
aege
update piplib for change
in configure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
ae
g
e
te
s
t_app
r
ox
.
c: ad
d
dummy
field
i
n dummy tms
s
tr
u
cture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verd
o
olaege
con
f
i
gu
r
e
.
in: a
v
oid introducing empty e
l
e
m
ents in
PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolae
g
e
occ: define OMIT
_
G
E
TRUSAGE if
sys/resource
.
h
c
anno
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verd
o
olaeg
e
omega
_
i
nterface/Makefile
.
am: put depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
configure
.
in:
add
$
(EXEEXT) to option
a
l
o
c
c
for
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Verd
o
olaege
update omega
fo
r
Mi
n
GW compatib
i
lity
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstein
/
co
n
fig
u
r
e
.
i
n
:
a
d
d mis
s
ing
AC_PROG_CXX
commit
|
commitdiff
|
tree
next