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
barvinok 0.32.1
2010-05-14
Sven Verdool
a
e
ge
opt
i
on
s
.
c: fix
p
rintf form
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add app
l
icatio
n
op
e
rations
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
iscc: add r
e
a
d
ope
r
ation
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
iscc:
free opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Ver
d
oolaege
update isl for
reading of s
t
ring
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upda
t
e
i
sl for fix in
i
s
l_printer_print_pw_q
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
u
pdate isl-polylib
f
or change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isc
c
: allow
specific
a
t
ion of output for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
update
i
s
l
for c
h
ang
e
in isl_set_gist ar
g
umen
t
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdo
o
laege
update isl f
o
r
rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
e
r
d
oolaege
conf
i
gure
.
i
n: add isl
f
lags a
n
d libs
to pkg-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven V
e
r
d
o
o
l
aeg
e
iscc: test isl_s
t
ream for eof
r
ather th
a
n the underlyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
iscc: ad
d
delt
a
s operatio
n
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
update
isl
f
or fix in i
s
l
_map_delta
s
commit
|
commitdiff
|
tree
2010-04-04
S
ven Verdoolaege
drop barvinok
_
enum
e
rate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
Ve
r
d
o
o
l
aege
iscc: add cross product
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven V
e
rdoolaege
isc
c
:
a
d
d coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Ve
r
dool
a
ege
u
p
d
ate isl fo
r
i
s
l_
p
w
_
q
po
l
ynomia
l
_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
olaege
drop "O
m
ega counting
c
alculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erd
o
ola
e
ge
test_bound
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n V
e
rdo
o
la
e
ge
e
value_range_prop
a
g
ation: fix substitutio
n
fo
r
negat
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
d
oo
l
aege
berns
t
ein/configur
e
.
in:
use
a
b
solut
e
srcdi
r
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdo
o
laege
onl
y
distribute
bundle
d
submo
d
u
les
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
upda
t
e ome
g
a for c
o
nfiguration issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
e
rdool
a
ege
conf
i
gur
e
.
in: allo
w
"build"
P
olyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolae
g
e
isl_qpolynomial_
f
old_from_g
i
nac: handle fai
l
nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdo
o
laege
isl_
q
po
l
ynomial_fr
o
m_g
i
nac: expa
n
d ex be
f
ore i
n
spec
t
ion
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
isl_
o
bj_li
s
t
.
c: up
d
ate
t
o
u
se o
f
isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
iscc: add
g
i
st opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
u
p
date isl for
introduction o
f
isl_pri
n
te
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
isl_pw_qpolyn
o
mial_up
p
er_bound: set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
V
e
r
d
ool
a
ege
iscc: add some comp
a
r
ison o
p
er
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
do
o
laege
iscc: a
d
d i
n
vers
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olae
g
e
isc
c
:
fix up typ
e
o
f
find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
i
s
cc: add affi
n
e hull operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verd
o
olaege
i
s
c
c:
a
d
d ope
r
ation to construct univers
a
l
m
ap
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: add "join" ope
r
atio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oolaege
i
s
c
c
:
a
dd inters
e
ct_domai
n
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaeg
e
i
scc: allow overl
o
ading binary
o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c
:
a
dd more dom o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
doc: re
o
rganiz
e
table of iscc
o
p
e
ration
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
u
p
d
ate
isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
ba
r
v
i
nok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
UTHOR
S
: updat
e
s
u
pport information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: doub
l
e si
z
e
of coefficie
n
ts on each a
t
te
m
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc
:
support
t
ransitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
update isl to ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
bar
v
inok_e
.
c
c
: e
n
u
m
erate_vd:
r
emov
e
unused var
i
ables
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
eval
u
e
.
c
: Polyhedron_Insert: add missin
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
evalue
.
c: re
d
uc
e
_evalue
:
remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
iscc: add @ op
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpoly
n
o
m
ial_
u
pper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_pw_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
a
dd isl_pw_qpo
l
ynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
update i
s
l for isl_pw_q
p
oly
n
omial_for
e
ach
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
r
e
name evalue2isl to isl_p
w
_qpoly
n
o
m
i
al_from_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect m
o
re kin
d
s of err
o
rs
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
b
arvi
n
ok_enumer
a
te
:
use isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n V
e
rdoo
l
ae
g
e
add i
s
l_set_card and isl_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
doo
l
aege
add
evalu
e
2is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
eva
l
ue_convert:
e
x
port as application
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
olaeg
e
barvinok_enu
m
e
rat
e
_
e
: optional
l
y us
e
isl t
o
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
AX_SUBMO
D
ULE
:
accept "-" in modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvi
n
ok
_
enumerat
e
: return Na
N
for infini
t
e problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_al
l
_equalities: handle integr
a
l
ly, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvi
n
ok_enumerate_e
:
always ret
u
rn
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaege
barv
i
n
o
k_
e
n
umerate: check that dimension
o
f
input inclu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
e
g
e
partit
i
on2enumerati
o
n
: chec
k
that
input is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven Ver
d
oolae
g
e
update
pi
p
lib for
cha
n
ge in
c
onfigure options
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaege
update omega for conf
i
g
u
ration/c
o
mp
i
lation
i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
lae
g
e
barvinok_coun
t
_
wi
t
h_o
p
t
i
ons: check re
t
u
r
n value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
l
aeg
e
P
o
l
yh
e
dron_Sample: plu
g
m
emo
r
y l
e
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doola
e
ge
sum
m
at
e
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
t
opco
m
.
c
: support newer versi
o
ns of TOP
C
OM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
to
p
com
.
c
: compute_do
m
ain: skip verti
c
es without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
pol
y
t
o
p
e_minimize
:
take constan
t
te
r
m to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect
t
hat --enable-fracti
o
nal is now
th
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_poly
h
edron_affine
_
sig
n
: speci
a
l case
0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verd
o
o
l
a
e
ge
Polyhedron_Insert_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdool
a
e
ge
P
olyhedro
n
_Factor: fix updati
n
g of groups
commit
|
commitdiff
|
tree
2009-10-06
S
v
en Verdo
o
laeg
e
configure
.
in:
u
s
e
AX_SUBM
O
DULE instead of BV_SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
Verdoo
l
a
e
ge
remov
e
_equalities: use Polyhe
d
ron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoola
e
ge
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add ex
p
erimental comparison
b
etw
e
en old and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexm
i
n
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
doc
:
fix t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verd
o
olaege
do
c
: ad
d
s
ome less co
m
m
on
.
s
t
y
f
i
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" La
u
rent expansion bas
e
d summation
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
move Last_Non_
Z
ero to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdool
a
ege
e
x
trac
t
out param_polynomial
fr
o
m laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
ex
t
ract vertex_co
n
e
from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
N
T
L
_QQ
.
c
c: add stdio include for EOF hidden i
n
NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update
p
olylib for speed
improvement in
in_do
m
ain
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdool
a
eg
e
up
d
ate pi
p
lib fo
r
distribution i
s
s
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
o
olaege
Polyhe
d
ron_F
a
ctor:
f
ix
merging of groups of columns
commit
|
commitdiff
|
tree
next