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
avoid use of isl_dim internals
2010-03-10
Sven
V
erdoolaege
AU
T
H
ORS: update su
p
port information
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
r
a
n
domve
c
tor: double size of
coef
f
icients o
n
each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
rdoo
l
a
eg
e
iscc: support tra
n
sitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
u
p
date
i
sl to ver
s
i
o
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
ba
r
vinok_e
.
cc: enu
m
er
a
te
_
vd
:
remove unused
variable
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Verdool
a
ege
ev
a
lue
.
c: P
o
l
y
h
e
dr
o
n
_
Ins
e
r
t
:
add missing
r
eturn type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
ola
e
ge
evalue
.
c: re
d
uce_evalu
e
:
r
e
mov
e
unused
v
ariable
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
ola
e
g
e
add isl_p
w
_qpoly
n
omi
a
l_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_p
w
_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
add isl_
p
w_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doola
e
ge
updat
e
isl
f
or
i
sl_
p
w_qpol
y
n
o
mial_foreach_
p
i
ec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
rename
evalue2isl
to isl_pw_q
p
olynomial_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Ve
r
doolaege
i
scc: detect more
kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
ba
r
vin
o
k_
e
num
e
rate: use is
l
duri
n
g the
v
e
r
ification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add isl_set_card and isl_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
ad
d
e
value2is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
a
eg
e
evalue_convert:
e
xport as appl
i
c
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdo
o
la
e
g
e
barvinok
_
enumerat
e
_
e: optiona
l
ly
use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
oolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE: accept "-" i
n
modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doola
e
ge
barvinok
_
enumera
t
e: return NaN for infinit
e
p
r
oblems
commit
|
commitdiff
|
tree
2010-01-28
Sven V
e
rdoo
l
ae
g
e
r
e
move_
a
l
l
_equalit
i
es: handle integrally, but no
t
rati
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
Verd
o
olaege
b
arvinok_enumerate_e: a
l
ways return
a
p
a
rtition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verd
o
o
l
aege
barvin
o
k_enumerate: check
t
hat dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
partition
2
enumera
t
ion: check that i
n
p
ut is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ve
n
Verdo
o
laege
update pipl
i
b f
o
r
change in
configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
up
d
ate ome
g
a for
c
onfigu
r
ation/compilation is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
Ver
d
oolaege
barvi
n
ok_count
_
w
ith_optio
n
s: ch
e
c
k
retu
r
n value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
P
o
lyhedron_Sample:
plug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
summa
t
e
.
c
:
ad
d
missing in
c
lu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
top
c
om
.
c:
s
u
pport newer versi
o
ns
o
f TOP
C
OM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
pco
m
.
c: co
m
put
e
_domain: skip
verti
c
e
s
w
i
thout d
o
mai
n
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
doc: reflect tha
t
--e
n
able-fractional is no
w
t
he default
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n V
e
rdoolaege
glpk_polyhedron_affine_sign:
s
pec
i
al case 0D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erdoolaege
P
o
l
yhedron_Insert_C
o
lumns:
f
ix t
y
po
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Ve
r
doolaege
Polyhedron_Factor: fix u
p
da
t
ing of gro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaeg
e
c
o
n
figure
.
in: use AX_SUBMODULE
i
nst
e
ad of
B
V_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Ve
r
doolaege
r
emove_equa
l
i
t
ies
:
use Polyhedron
_
P
r
eimag
e
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
V
e
rdoolae
g
e
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaeg
e
doc
:
add experimental compariso
n
b
e
tween
o
ld
a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
l
exmin
.
cc: rem
o
ve "anachr
o
nism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
doc: ad
d
some less
common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever
"
Laurent expa
n
sion
b
ased summatio
n
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolae
g
e
move La
s
t_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out
param_
p
olynomial fro
m
l
aure
n
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
eg
e
extract ve
r
t
e
x
_cone from l
a
ure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
ven V
e
r
d
oolaege
updat
e
poly
l
ib for sp
e
ed impro
v
ement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolae
g
e
upd
a
te piplib fo
r
distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Pol
y
hedron_Factor: fix merging of grou
p
s of columns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoo
l
aege
(t)counte
r
: mo
v
e
counter::reset
(
) up to counter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefil
e
.
am
:
keep
bet
t
er track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
ae
g
e
Line_L
e
ngt
h
:
handle 0D
polytope in
1
D space
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdoolaege
Po
l
y
h
edron_Factor: handle polyhedra with a no
n
-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdo
o
laege
u
p
date piplib fo
r
change
in configure
a
rguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoo
l
aege
barvi
n
ok
.
c
c: rem
o
v
e
unused n
o
northo
g
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
V
erdoo
l
aege
update pipli
b
for MinGW compatibi
l
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
up
d
ate
p
olylib
f
or
M
inGW c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
evalue
.
c: in_
d
omain: s
p
ec
i
al-c
a
se 0D doma
i
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
r
d
oolae
g
e
Av
o
i
d use of sys/times
.
h header wh
e
n not
available
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n
Verdoolaege
add gnul
i
b
g
etsubopt modu
l
e for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoolaege
READM
E
: me
n
tion th
a
t
GiNaC is
also nee
d
ed for
t
h
e
O
m
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow
b
u
ild
o
f occ when us
i
ng bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
e
r
doolaege
doc:
add a reference to
a
master thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
bar
v
inok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
READ
M
E: fix up inst
a
ll
a
tion instru
c
tions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
A
dd files g
e
nerated by bis
o
n
and flex to the
d
istribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update
polylib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdo
o
laege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
olaege
evalue
.
c: affine2eva
l
ue:
r
edu
c
e coef
f
icients
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaeg
e
evalue
.
c
:
evalue_lev
e
l_cmp: pro
d
uce mor
e
co
n
sistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
e
n Verdo
o
la
e
ge
doc: add another pap
e
r ref
e
r
ring to t
h
e library
commit
|
commitdiff
|
tree
2008-09-16
S
ven Verdoo
l
aege
piecewise_lst
.
h: avoid d
u
p
l
i
c
a
t
e
param
e
ter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdo
o
laege
evalue_read
.
c: fix minor bugs in to
k
eni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
laege
update omeg
a
fo
r
missing fi
l
es i
n
distr
i
bution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolae
g
e
barvinok_enum
e
r
ate_e:
a
void infini
t
e loop whe
n
present
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
doolaege
move omega
subdir to
o
me
g
a_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
cc
:
add
s
t
dlib
i
ncl
u
de fo
r
abort
hidde
n
i
n
NTL_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
remo
v
e gnulib link-warning module
co
m
pl
e
tely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update polyl
i
b with extra fi
e
ld in Para
m
_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc
:
fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Ve
r
doola
e
ge
update gnulib function to last
pre-GP
L
v
3
versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerator::
h
andle: re
p
l
ace inco
r
re
c
t
delete
b
y free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
up
d
ate
p
iplib for corrected Ur
s
_parms handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
e
n Verdool
a
ege
co
n
figur
e
: use
correct header files in case o
f
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
r
dool
a
ege
o
m
eg
a
/oc
c
: only o
p
en debug output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
b
arvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
add som
e
test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoo
l
ae
g
e
d
oc: ad
d
late
s
t (acc
e
pted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaeg
e
Makefile
.
a
m:
a
d
d section_ar
r
ay
.
h to
d
i
stributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normali
z
ation
.
c:
c
omput
e
_shi
f
ts: r
e
mo
v
e redu
n
da
n
t retur
n
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verdoolaege
m
o
v
e Free
_
ParamNames
p
oly
l
ib and make param
n
ames
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
occ: ad
d
inter
f
ace to
b
arvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
e
g
e
ex
_
c
o
n
vert
.
cc: ext
r
act
ex2evalue fr
o
m range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
do
c
: doc
u
ment more --summati
o
n
m
e
thod
s
for bar
v
inok
_
summate
commit
|
commitdiff
|
tree
next