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 Verdoolaege
co
n
figure
.
in: all
o
w
"build"
P
olyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aege
isl_qpolyno
m
ial_f
o
ld
_
fr
o
m
_
g
inac
:
handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
i
s
l_qpol
y
nomial_from_g
i
nac: expand
e
x before insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
S
ven
Verdoolaege
isl
_
obj_list
.
c: updat
e
t
o
u
s
e
of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
V
erdoolaege
iscc: add gist operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update isl for introduction of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdo
o
l
aege
isl_pw_qpolynom
i
al_upper
_
bo
u
nd: set
u
p varia
b
le vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoola
e
ge
iscc: ad
d
some compari
s
on ope
r
ations
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoola
e
ge
isc
c
:
add inve
r
s
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdool
a
ege
isc
c
:
fix up type of find_matchi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
i
s
cc: add affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc:
ad
d
operat
i
on to construct universal ma
p
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoola
e
ge
iscc:
a
dd
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
i
scc: a
d
d intersect_do
m
a
i
n operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc:
a
llow ove
r
loadi
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoo
l
aege
iscc: add more dom
o
per
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
doc
:
reorganiz
e
table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
ae
g
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Ve
r
doolaege
b
a
rvi
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
er
d
oolaege
AUTHO
R
S: u
p
date support
i
nformation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ol
a
e
g
e
randomvector:
d
o
uble siz
e
of coeffici
e
nts on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doo
l
aege
i
s
cc: su
p
p
o
rt
tra
n
sit
i
ve closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
u
p
date isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
ool
a
ege
barvino
k
_e
.
c
c: enumerate_
v
d
:
remove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
eva
l
u
e
.
c: Polyhedron_Insert:
a
dd missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
ev
a
lue
.
c: red
u
ce_ev
a
lue: remove
u
n
used
variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
iscc
:
a
dd @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
is
c
c: ad
d
"
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
add isl_p
w
_q
p
olynomial_uppe
r
_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
a
d
d isl_pw_qpolynom
i
al_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_p
w
_qpolynomial_
t
o_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doo
l
a
e
ge
update isl for isl_p
w
_qpolyn
o
mi
a
l_foreac
h
_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalu
e
2i
s
l to isl_p
w
_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdoolaeg
e
iscc: de
t
ec
t
more kinds o
f
er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvin
o
k_enumerate: use isl during t
h
e v
e
rifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdo
o
lae
g
e
add i
s
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add isl_set_card
and isl_m
a
p_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_conve
r
t: export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
barvinok_enumerat
e
_e:
opt
i
onally
u
se isl to
p
rojec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ve
r
doolae
g
e
a
dd isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
AX_SUBMODULE:
accept "-"
i
n modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
barvinok_enumera
t
e: re
t
urn N
a
N f
o
r infinite
problems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdoolaege
r
emove_all_e
q
ualities: handle
in
t
egra
l
ly
,
but
n
ot rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
b
a
r
vino
k
_enumerate_
e
: al
w
ays re
t
urn a
pa
r
tit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
dool
a
ege
barvinok_enumer
a
te:
c
h
eck that dimens
i
on of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
ola
e
ge
partition2enumerat
i
on: check that input
is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolae
g
e
up
d
ate p
i
plib for c
h
ange
i
n configure
o
p
tio
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolae
g
e
u
p
d
a
t
e omega for
c
on
f
iguration
/
compil
a
tion
is
s
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
do
o
laege
ba
r
vinok_co
u
nt_with_op
t
ions: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
e
g
e
Polyhedron_Sa
m
ple: plug memory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
summate
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoolaege
t
opco
m
.
c: support ne
w
er version
s
o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
topcom
.
c: compute_do
m
ai
n
:
sk
i
p vertices
w
itho
u
t d
o
main
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_minimize:
t
a
ke
co
n
s
t
a
n
t term
to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: ref
l
ect
that -
-
enable
-
fractional
i
s no
w
the
defa
u
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glp
k
_polyhedron_
a
ffin
e
_sign:
s
pe
c
ia
l
c
a
se 0D polyhe
d
ra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
Polyhedr
o
n_Insert_Co
l
umns:
fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Pol
y
hed
r
o
n
_Fac
t
or: fix updating of gro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdoolaege
configu
r
e
.
in: use AX_SUBMODULE instead of BV_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdoolaege
remove_equalit
i
es: use
P
olyhedr
o
n_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven V
e
rdoolaeg
e
b
arvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ver
d
oolaege
doc: add ex
p
erimental compa
r
ison b
e
tween
o
ld and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdool
a
ege
l
e
x
min
.
cc:
r
emove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdoolaege
d
oc: add some less
com
m
on
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
S
v
e
n Verdoolaege
add "clever" Lau
r
ent
e
x
p
a
nsion bas
e
d
summ
a
t
i
on
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
move Las
t
_No
n
_
Z
ero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Ver
d
oolaege
extract out param_
p
o
lynomial from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
e
ge
extract
v
er
t
ex_con
e
fr
o
m l
a
ur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoola
e
ge
upd
a
te polylib for speed
improveme
n
t i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolaege
update piplib for di
s
tribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verdoola
e
ge
Polyhed
r
on_Factor
:
fi
x
merging of
groups
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
barvinok
_
enumerat
e
_ser
i
e
s
: don't c
h
eck for r
e
vl
e
x posi
t
ive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdool
a
ege
(t)cou
n
ter: move co
u
nter::reset
(
)
u
p to
c
ounter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
a
ege
M
akefile
.
a
m: keep better
track
of fai
l
ed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigrou
p
_holes
applic
a
ti
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
Li
n
e_Length: handle 0D poly
t
op
e
in 1D sp
a
c
e
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolaege
gen_fun:
add
is_zero
m
ethod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
bar
v
ino
k
_enumerate_e_series: re
m
ov
e
eq
u
alities in
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
doc:
f
ix typo
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Ver
d
oolaege
barvinok
_
enum
e
rate_e_series: handle all
exis
t
en
t
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdo
o
laege
series
.
c
c: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumera
t
e_e_series: handle al
l
e
quali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
ad
d
test
s
e
t from the o
t
her its
l
20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoola
e
ge
Polyhedron
_
Fa
c
tor: handle po
l
yhed
r
a wit
h
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
upd
a
te piplib
f
o
r
c
h
ange in configure argument
s
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
te
s
t_app
r
ox
.
c: add
dummy
field in dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
e
rdoolae
g
e
configure
.
in: avoid introducing empty elemen
t
s in
PKG_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolae
g
e
occ: define OMIT
_
GETR
U
SAG
E
i
f sys/resource
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoola
e
g
e
omega_interfa
c
e/
M
akefil
e
.
am
:
pu
t
dependi
n
g
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: a
d
d $(EX
E
EXT
)
to opti
o
nal occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
up
d
ate omega for
M
i
nGW compati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
be
r
nstei
n
/configure
.
i
n
: add missing AC_PR
O
G
_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven
V
erdoolae
g
e
vector_
p
artiti
o
n_cha
m
bers: computes chamb
e
rs of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
v
e
n
V
e
rd
o
olaege
b
a
rvi
n
ok
.
cc: remove unused
n
onorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaeg
e
update piplib for Min
G
W co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
S
ven
V
e
rdoo
l
aege
u
p
date p
o
lylib for M
i
n
G
W compati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc: do
n
't (re)
d
eclare fileno i
f
it's a m
a
c
r
o
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c
:
i
n
_
d
omain: speci
a
l-case
0
D dom
a
i
ns
commit
|
commitdiff
|
tree
next