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 fix in isl_map_deltas
2010-04-07
Sven Ver
d
oolaeg
e
update
i
sl for f
i
x in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
b
arvinok_
e
n
um
e
r
a
te_pip_with_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
ool
a
e
g
e
is
c
c: add coalesce
operation
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
u
p
da
t
e isl for
i
sl_pw
_
qpolyno
m
ial
_
coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
d
o
olaege
drop "Omeg
a
c
oun
t
ing calcu
l
at
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
test
_
b
o
und
.
cc:
f
i
x
p
ri
n
tf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
be
r
nstein
.
cc:
fi
x
pri
n
tf
f
orma
t
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdool
a
e
g
e
e
va
l
u
e
_range
_
propagation: fix
s
ubst
i
t
u
t
ion f
o
r
negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
oolaege
b
e
rns
t
ein/configure
.
i
n
: use abs
o
lute srcdir of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distri
b
u
te b
u
ndled su
b
module
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
o
l
aege
update om
e
ga
f
o
r configuration i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoo
l
aege
config
u
re
.
i
n
:
a
llow "build" P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl
_
q
p
olynomial_fold_from_
g
inac
:
han
d
le
f
ail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_q
p
olyn
o
mial_from_g
i
nac: expa
n
d ex
before inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl
_
obj_
l
ist
.
c: update to
u
se of
isl_p
r
in
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdool
a
ege
i
scc: add
gist opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Ver
d
oolaege
update
isl for introdu
c
tion
of
i
sl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ve
n
Verdoolaege
isl_pw_q
p
olynom
i
al_upper_bound
:
set
up
v
a
ria
b
le vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
is
c
c: add so
m
e comparison
o
perations
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n
Verdoolaege
is
c
c: add in
v
erse o
p
eration
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: f
i
x up type o
f
find_match
i
ng_b
i
n_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdo
o
laege
iscc:
add affine hull oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
e
rdoo
l
aege
iscc: add operation
to
c
onstruct unive
r
sal map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdo
o
l
a
e
ge
iscc: add
"joi
n
" ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
e
rdo
o
laege
i
s
cc:
ad
d
inters
e
ct_do
m
ain ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdo
o
laege
i
s
cc: allo
w
overloading b
i
n
a
r
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ol
a
ege
iscc: add more dom o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolae
g
e
doc:
r
e
o
r
ganize
t
ab
l
e
of iscc oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Verd
o
olaege
b
a
rvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdoo
l
aege
AUTHORS: upd
a
t
e
support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
r
an
d
omvector: double size of
c
oefficients on each attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven
Ve
r
doolae
g
e
iscc:
s
up
p
ort transit
i
ve closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update i
s
l to
v
ersion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oolaege
ba
r
vinok_e
.
cc: enumerate_vd: remove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
evalue
.
c: Poly
h
edron_In
s
ert: add mi
s
sing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
l
a
ege
e
v
alu
e
.
c
:
redu
c
e_evalue: remove
unuse
d
variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
is
c
c:
a
dd @
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
ge
is
c
c
:
a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
ge
a
d
d
i
sl_
p
w_qpolynomial
_
upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdool
a
e
g
e
i
s
c
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaeg
e
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
upd
a
t
e
isl
f
or
i
sl_
p
w_qpoly
n
omial_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaeg
e
rena
m
e evalue2isl to isl_pw_qpo
l
yno
m
ial_from_
e
value
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdoolaege
i
scc:
detec
t
mo
r
e
k
inds of er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ba
r
v
i
nok_enumerate:
use
is
l
during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaeg
e
add isl_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add eva
l
ue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolae
g
e
eva
l
ue_convert: ex
p
ort
a
s appli
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
bar
v
ino
k
_enumerate_
e
: optio
n
ally use
i
sl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdo
o
laege
a
d
d isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
AX_SUBMODULE
:
accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
do
o
laege
barvin
o
k_enumerate:
r
e
tu
r
n NaN for infini
t
e pro
b
l
ems
commit
|
commitdiff
|
tree
2010-01-28
S
ven Verdoolaeg
e
remove_all_equ
a
litie
s
: handle i
n
t
eg
r
ally, but not
r
ationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate_e: a
l
ways return a pa
r
t
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvinok_enu
m
erate: ch
e
c
k
t
h
at dimensio
n
o
f input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdo
o
la
e
ge
p
artition2en
u
merati
o
n: check
t
ha
t
i
nput is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verdoolaege
u
p
date piplib for
c
hange in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ve
r
d
o
o
l
aege
update omega
f
or
c
onf
i
guratio
n
/co
m
pi
l
ation i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
ba
r
vinok
_
count_with
_
option
s
:
c
heck
ret
u
rn value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolaege
P
o
lyhedron_Sam
p
le: plug
m
emory
leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
summat
e
.
c
:
add missing
include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
t
o
p
c
om
.
c
:
su
p
p
o
rt newer ver
s
ion
s
o
f
TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c:
c
ompute_d
o
m
ain:
skip
v
e
r
tices wit
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polyt
o
pe_minimize:
t
ake
co
n
stant
t
erm to
b
e zero
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
do
c
: r
e
f
l
ect
t
h
at --
e
nable-fractional is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
glpk_po
l
yhedro
n
_affine_s
i
gn
:
s
p
ecia
l
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n V
e
rd
o
o
l
ae
g
e
Polyhedron_Insert_Col
u
mn
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaeg
e
Polyhedr
o
n_Fact
o
r
:
f
i
x u
p
dating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoolaege
config
u
re
.
i
n
:
use A
X
_SUBMODULE i
n
stead of BV_SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
r
emove_
e
qualities: u
s
e Polyh
e
dron_Pr
e
image
i
n
s
te
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdool
a
ege
b
a
rvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven
V
e
r
doolaege
doc: add
experimental compari
s
o
n betwee
n
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
Verdoolaege
lexmin
.
c
c: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
doc:
a
dd
s
ome less com
m
on
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdoo
l
aege
a
dd "
c
l
ever" Laur
e
nt expansion based
s
um
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
move
Last_
N
o
n_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Ve
r
doolaeg
e
extract out par
a
m_poly
n
omial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
e
x
tract vertex_
c
one from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
NTL_QQ
.
cc: add stdi
o
i
nclude for EOF h
i
dden
i
n NTL_io_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en
V
e
rdoolaeg
e
update polylib
fo
r
speed improv
e
me
n
t
i
n in_d
o
mai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
updat
e
piplib for distribution
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron_Factor: fix merging of gro
u
ps
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoola
e
ge
ba
r
vinok
_
enum
e
rate_
s
eries: don't check for re
v
l
e
x positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(
t)counte
r
:
m
ove counter::reset()
u
p to
c
ounter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laeg
e
Makefile
.
am:
keep
b
etter track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
add semigroup
_
hole
s
applic
a
tion
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Line_Length
:
handle
0
D polytope
in 1D
s
pace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
g
e
n
_fun: add is
_
zero meth
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
ba
r
v
i
n
ok_en
u
mera
t
e_e_series:
r
emo
v
e
equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc
:
fix typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
barvi
n
ok_enumerat
e
_e_ser
i
es: han
d
le all
e
xistentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
ege
s
eri
e
s
.
cc:
m
ake projec
t
static
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oo
l
a
e
ge
barvinok_en
u
merat
e
_e_seri
e
s: handle a
l
l equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaeg
e
a
dd t
e
st
s
et
from the
other
itsl
2
008
p
aper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdo
o
laege
.
gitignore: ignor
e
objec
t
files
commit
|
commitdiff
|
tree
next