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
test_bound: use isl interface for computing bounds
2010-05-15
Sven V
e
r
doolaege
test_bound: use isl interf
a
ce for com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdo
o
la
e
g
e
barvinok_bound: use isl inte
r
f
ace for
c
omputing bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
iscc: support ub even if
GiNaC suppor
t
was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
ge
ad
d
ge
n
eric
i
sl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
up
d
a
t
e isl
f
or isl_pw_qpolynomi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
test_
b
o
u
nd: use isl d
u
ri
n
g verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaege
barvinok_bound: u
s
e isl d
u
ring
verification
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aeg
e
verify
.
c: extract some helper funct
i
on
s
for isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
intr
o
d
uce "bound"
optio
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdoolaege
op
t
ions
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
rdoolae
g
e
iscc:
add application oper
a
tions
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Ve
r
doolaege
i
s
cc: add read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
u
p
dat
e
isl for
r
ea
d
i
n
g of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
updat
e
isl for f
i
x
in isl_printer_prin
t
_
pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aeg
e
update isl-polylib for change in pkg-config
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
scc: allow specification
o
f
output
f
or
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolae
g
e
update isl for change i
n
i
s
l
_
set_g
i
st
ar
g
umen
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolae
g
e
update isl for rename of i
s
l_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
con
f
igure
.
i
n: add
i
sl flags and libs
to pkg-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
scc: t
e
s
t isl_stream for eof
r
ather than the
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
iscc: a
d
d deltas operation
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdoolaeg
e
update isl for fix
i
n i
s
l_map_delta
s
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n
V
e
rdo
o
laege
drop bar
v
inok
_
enumerate_pip_with_op
t
i
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaege
iscc:
a
dd cr
o
ss product operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Verd
o
olaeg
e
iscc: add coalesce o
p
er
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdool
a
ege
up
d
ate
isl
f
or isl_pw
_
q
polynomi
a
l_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
drop "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
test_bound
.
cc
:
fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein
.
cc: fix print
f
forma
t
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
eval
u
e_range_prop
a
gation: fix substi
t
utio
n
f
o
r
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
ber
n
stein/configur
e
.
in: use a
b
solu
t
e srcdir of
PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
Verdoolaege
only dis
t
r
ibu
t
e bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
u
pdate
o
mega for
con
f
i
guratio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
co
n
figure
.
in: all
o
w "build"
Poly
L
i
b
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolae
g
e
is
l
_qpolyn
o
mial_fold_fr
o
m
_
g
inac:
h
andle fail no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolyn
o
mial_from_ginac:
expand e
x
befor
e
i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verd
o
olaege
i
s
l_obj_list
.
c:
updat
e
to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
scc: ad
d
g
ist oper
a
tions
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Verdoolaege
up
d
ate isl for introduction of
isl_pri
n
t
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rd
o
olaege
isl_pw_qpolynom
i
al_upper
_
b
o
un
d
:
set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
V
e
rdoolae
g
e
iscc: a
d
d some
c
omparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
cc: a
d
d inverse operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoola
e
ge
iscc: fix up t
y
pe of fi
n
d_matchi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verd
o
olaege
iscc: add affine hul
l
op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
operation to con
s
t
r
uct unive
r
sal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
iscc: add "join" opera
t
io
n
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: a
d
d int
e
rs
e
ct_
d
omain operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
ege
iscc: allow overloading
b
ina
r
y ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: add
more dom
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
aege
do
c
: reorganize table
o
f iscc
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdool
a
ege
AUTHO
R
S:
u
p
date s
u
pport informa
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
doolae
g
e
ra
n
d
o
mvector: double size
o
f
coef
f
ic
i
ents on e
a
ch attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isc
c
: support transi
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
Verdo
o
laege
upd
a
te isl
to versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oo
l
aege
b
a
rvinok_e
.
cc: enumerate_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
evalue
.
c: Polyhedron_I
n
sert: add
m
i
s
s
ing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
evalue
.
c: reduce_evalue: remove unu
s
ed variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc: add @ op
e
rat
o
r
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
iscc:
a
d
d
"
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Ver
d
o
o
laeg
e
add isl_pw_qpol
y
nomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdoolaege
is
c
c:
a
dd sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
ad
d
i
sl_
p
w_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolae
g
e
upda
t
e isl for isl_p
w
_
q
p
olynomi
a
l_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaeg
e
rename evalue2isl to isl_pw_qp
o
l
ynomi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n V
e
rdoolaege
iscc: detect more
kin
d
s
o
f er
r
o
rs
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
ba
r
vinok_enumera
t
e: use isl du
r
ing t
h
e v
e
rification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
oolaege
add isl_set_
c
a
r
d and isl_
m
ap
_
card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
olaege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
e
va
l
ue_conv
e
rt: export as appl
i
cation
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdo
o
laege
barvinok_e
n
umerate
_
e
:
o
p
t
i
onally use
isl t
o
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoo
l
aege
add is
l
su
b
m
odu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMO
D
ULE: accep
t
"-
"
in modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
o
olaege
b
arvinok_enumerate: return NaN for inf
i
nit
e
prob
l
ems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolae
g
e
remove_all_equalities:
h
andle i
n
t
egral
l
y,
but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
barvinok_e
n
umer
a
te_e:
always re
t
u
r
n a
pa
r
t
itio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
bar
v
inok_enumerate: check that
d
imension of inp
u
t includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
par
t
i
t
ion2enumer
a
tion:
check th
a
t inpu
t
i
s
r
eally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
oolaege
update piplib for c
h
ang
e
in configu
r
e optio
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rd
o
ola
e
ge
update omega fo
r
config
u
rat
i
o
n/compi
l
ati
o
n issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolaege
barvi
n
ok_count_with_options
:
check re
t
urn v
a
lue
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
V
e
r
doola
e
ge
P
o
lyhed
r
on_S
a
mple: pl
u
g memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ver
d
o
olaege
summate
.
c
:
add
m
issing i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
top
c
o
m
.
c
: suppo
r
t newer ver
s
ions of T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compu
t
e_d
o
main:
skip vertices
without do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
polytope_minimize: take con
s
tant term
to
be z
e
ro whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
e
r
doolaege
doc: reflect that
-
-enable-fraction
a
l is now t
h
e
d
e
fault
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
dool
a
ege
glp
k
_poly
h
edron_affine_sign
:
speci
a
l
ca
s
e
0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verd
o
olaege
Polyhedron_
I
nsert_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdo
o
laege
Polyhe
d
ron_Factor:
fix updati
n
g
o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
S
ve
n
V
er
d
oolaege
configu
r
e
.
in: use AX_SUBM
O
D
ULE
i
nstead of BV
_
SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdoolaeg
e
remove_
e
qualities
:
use Polyhedron_Preimage
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaeg
e
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
ol
a
ege
doc: add experimental
c
o
mparison
b
et
w
e
en
old and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdo
o
laege
lexmin
.
c
c:
re
m
ove "a
n
achron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
ae
g
e
doc: fix
t
y
po
commit
|
commitdiff
|
tree
next