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
2010-04-24
Sv
e
n Verdoolae
g
e
iscc: add read ope
r
ation
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
i
s
cc: f
r
ee o
p
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
update isl for readin
g
o
f st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoo
l
aege
u
pd
a
t
e
i
sl for
fix in
isl_
p
rin
t
er_print_pw_q
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoolaege
update
i
sl-polyli
b
for change in p
k
g-conf
i
g fi
l
e
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isc
c
: allow specification
o
f outp
u
t format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
erdool
a
ege
updat
e
i
s
l for change i
n
i
s
l_set_gist
a
rgument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update
isl fo
r
rename
of is
l
_map_mov
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
c
o
n
f
igu
r
e
.
i
n: add isl flags and l
i
bs to p
k
g-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
i
scc: test isl_stream for eof ra
t
h
er than th
e
unde
r
lyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oo
l
aege
iscc: add deltas o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
ool
a
ege
up
d
a
t
e
isl fo
r
fix in isl_ma
p
_
d
el
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdoolaege
drop barvinok_e
n
um
e
rate_pip_with_o
p
ti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cross product operati
o
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolae
g
e
iscc: add coales
c
e ope
r
ations
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdo
o
laege
update isl for isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ver
d
oolaege
drop "Omega c
o
u
nting calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
test_bound
.
c
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernste
i
n
.
cc: fix p
r
intf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoola
e
ge
evalue_rang
e
_
pro
p
ag
a
tio
n
:
f
ix subs
t
i
t
u
tion for
negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
b
e
rnstein/co
n
figur
e
.
i
n
: use absolute srcdir of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaeg
e
only distri
b
ute bundled submodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
u
pdat
e
omega for configuration
i
ss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olae
g
e
configure
.
i
n: a
l
low
"
b
u
i
ld"
P
olyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Ve
r
doolaege
isl_
q
polynomial_f
o
ld_fro
m
_gi
n
ac: han
d
l
e
f
ai
l
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_qpolynomi
a
l_
f
rom_ginac: expan
d
ex befo
r
e inspection
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Ver
d
oolae
g
e
i
sl_obj_li
s
t
.
c: update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
Verdoo
l
a
ege
iscc: add g
i
st oper
a
tions
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
up
d
a
t
e isl for introducti
o
n
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdool
a
ege
i
sl_pw_qpo
l
y
nom
i
al_upp
e
r_b
o
und: set up variable vecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
isc
c
: add some
c
o
mpa
r
ison o
p
erations
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n Verdoolaege
iscc: add inverse oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
V
e
r
do
o
l
a
ege
iscc:
f
ix up t
y
pe of find_match
i
ng_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: add affi
n
e hull
o
pera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: a
d
d opera
t
io
n
to c
o
nstr
u
ct unive
r
sal map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oo
l
aege
i
s
cc: add "join" operatio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
is
c
c:
ad
d
intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
i
s
cc: allow overloading binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: a
d
d more dom ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
doc: reorganize
t
able of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
update
i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolae
g
e
bar
v
inok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
A
UTHORS: update
support
information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: d
o
uble size of coef
f
i
cients on each
att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoola
e
ge
iscc: support
t
ransitive closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
u
p
d
ate isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoo
l
aege
b
arvinok_e
.
cc: enumerate_vd: remov
e
unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c
: P
o
lyhedron_In
s
ert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
evalue
.
c: reduce
_
e
v
a
l
u
e: remov
e
unused va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
is
c
c: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
isc
c
: ad
d
"
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_pw_qpolyno
m
ial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add
i
sl_pw_qpolyn
o
m
ial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdo
o
laege
add isl_pw
_
qp
o
lyn
o
mial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Ver
d
oo
l
aege
update is
l
for isl_pw_qpolynom
i
al_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue
2
isl to isl_
p
w_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdool
a
ege
iscc: detect more
k
inds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oo
l
aege
barv
i
nok_
e
num
e
r
a
te: use isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add isl_set_card and
i
s
l
_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
oola
e
g
e
add ev
a
lue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
o
o
laege
evalue_c
o
nvert: export as a
p
plication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
ba
r
vi
n
ok
_
e
n
umerate_e: optionall
y
use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add is
l
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
AX_SUBMO
D
U
LE: acce
p
t
"-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
barvinok
_
enumerate: retur
n
NaN
f
or infinite problem
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
rem
o
v
e_all_
e
qualit
i
es: handle integ
r
ally, b
u
t
n
ot rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
barvi
n
ok_e
n
ume
r
ate_e: alw
a
ys re
t
ur
n
a pa
r
titio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
barvinok_enumerate: check
t
hat dim
e
nsion of in
p
ut in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolae
g
e
partition2enumeration: check
that input is re
a
l
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
e
n
Verdool
a
ege
update piplib
f
or
chan
g
e in c
o
nfigu
r
e options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
update omega for con
f
iguration/compi
l
a
t
i
o
n issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
barvino
k
_count_with_opti
o
ns: check
r
eturn
value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoolaege
Polyhedron_
S
a
m
ple: plug memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
to
p
com
.
c
:
sup
p
ort newer versi
o
ns of
T
OPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaeg
e
to
p
com
.
c: c
o
mpute_d
o
main: skip verti
c
es without
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_mini
m
ize: tak
e
c
o
ns
t
an
t
term
t
o
be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolae
g
e
doc:
reflect that --enab
l
e-fractional is now t
h
e d
e
fault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
glpk_po
l
yhed
r
on_af
f
ine_sign: special case 0
D
polyhe
d
ra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
P
olyhe
d
ron_Insert_Co
l
umns: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
doolaege
P
o
lyhedro
n
_Factor: fix updatin
g
o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoolaege
c
o
nf
i
gu
r
e
.
i
n: use AX_SUBMODULE instead of BV_SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verd
o
o
l
a
ege
remo
v
e_equ
a
lities: use P
o
lyhedr
o
n
_Preimage instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
ola
e
ge
barvino
k
0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaeg
e
doc:
a
dd
experimental com
p
arison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
lexmin
.
cc: remove "an
a
chronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
doc: add some less common
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoola
e
ge
a
d
d "clever"
Lau
r
ent expansion based s
u
mmati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n V
e
r
d
o
o
laeg
e
move La
s
t_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
Ver
d
oolaege
extract out param_polyno
m
ial
from l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
ext
r
ac
t
vertex_co
n
e
fr
o
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
NTL_QQ
.
cc: add stdio includ
e
for
EO
F
hidden in N
T
L
_i
o
_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Verdoolaege
update po
l
ylib for spe
e
d im
p
r
o
ve
m
ent i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
pdat
e
p
iplib f
o
r d
i
stribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verd
o
olaege
P
o
l
yhedron_Factor: fix merg
i
ng of
groups of
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
b
a
rvinok_enumerat
e
_ser
i
e
s: d
o
n't check
f
or
r
evlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(
t
)
c
ounter: move cou
n
te
r
::
r
e
set() up to counter
_
base
.
.
.
commit
|
commitdiff
|
tree
next