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.35
2010-06-01
S
v
en Verdoolaege
v
erif_e
h
rhart
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoo
l
a
e
ge
con
f
i
gure
.
i
n: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
use isl
f
or argument
par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
update isl for keeping
tra
c
k
o
f
user
o
ptions
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolae
g
e
t
est_bound: rew
r
it
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
update isl for help message prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
ege
remove eval
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
remove eva
l
u
e_
r
ange_
p
r
op
a
gation
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ve
r
d
o
ol
a
e
g
e
test_bo
u
nd: use isl interface
for computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
barvinok_bound:
u
se is
l
inte
r
face for
c
o
m
puting bo
u
nds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdoolaeg
e
iscc: supp
o
r
t ub
e
ven if GiNaC support
w
as no
t
compiled
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add generic isl_pw_qpolynomial
_
boun
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
up
d
ate
isl
f
or isl_pw_qp
o
ly
n
omial_bo
u
n
d_ra
n
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
test_bound: use
is
l
during verific
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
barvinok_bound: use isl during ver
i
ficatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdoolaege
verify
.
c
:
e
xtract some helper functions for isl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdoolaege
introduce
"
bou
n
d" o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verd
o
o
l
aege
o
p
tions
.
c: fix
printf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verd
o
o
laeg
e
iscc: add
a
pplication
ope
r
ations
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
rdool
a
ege
iscc: add read o
p
eration
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
iscc: free opt
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
updat
e
isl for read
i
ng of strings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
u
p
d
a
te isl for
f
ix in isl
_
p
rinter_print
_
p
w
_qp
o
lyn
o
m
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaeg
e
update isl-polylib f
o
r ch
a
nge in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoola
e
ge
is
c
c: allow specificatio
n
of output
format
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
V
erdo
o
laege
update isl for change
i
n isl_
s
et_gi
s
t argument
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
updat
e
isl f
o
r ren
a
me of
i
sl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: add isl flags and
l
i
b
s to pkg-co
n
f
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verd
o
olae
g
e
i
scc
:
test isl_stream
f
or
e
of r
a
ther
than
t
h
e
u
n
d
erlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolae
g
e
isc
c
: add
deltas operation
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdoolaege
u
p
date isl
for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
oolaeg
e
drop barvi
n
ok_enumerate_pip_with
_
o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoo
l
aege
i
s
cc: add cr
o
ss pr
o
duct operations
commit
|
commitdiff
|
tree
2010-03-31
S
ven Verdo
o
laege
iscc: add coalesce opera
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
o
o
laege
update i
s
l for
isl_pw_qp
o
lynomial_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
drop
"
Omega counti
n
g c
a
lculator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdoo
l
aege
tes
t
_bound
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verd
o
olaege
bernstein
.
c
c
:
f
i
x
prin
t
f form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdool
a
ege
evalue_r
a
nge_propag
a
t
i
on: fix subs
t
itution fo
r
ne
g
ati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoo
l
aege
berns
t
ein/config
u
re
.
in: use absolute
s
rcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribut
e
bundle
d
sub
m
odu
l
es
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
Verdoolaege
update o
m
ega for configurat
i
o
n
issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
V
e
rdoolaege
configure
.
in: allow "
b
uild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl
_
q
pol
y
nomial_fold_fr
o
m
_ginac: handle fai
l
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_q
p
o
lynomial_f
r
om_gin
a
c: ex
p
and ex
before in
s
p
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdo
o
laege
isl_obj
_
list
.
c: u
p
date to use of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
S
ven Ver
d
oolaege
iscc: add
g
is
t
o
p
erations
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verd
o
o
lae
g
e
up
d
ate isl for i
n
troduc
t
ion of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
i
sl_pw_
q
polynomial_upper_bound: set up
v
a
riable ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
r
d
o
o
laege
i
s
cc: add s
o
me
c
ompariso
n
operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc: add
inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoo
l
ae
g
e
iscc: fi
x
u
p ty
p
e of find_
m
atching
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
g
e
isc
c
: add affine
h
ull o
p
er
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
d
o
olaege
iscc
:
add operation to cons
t
ruct un
i
versal map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add
"jo
i
n" opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add interse
c
t_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
llow overloadi
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add m
o
re
d
o
m
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
doc: reorg
a
nize
t
able
o
f i
s
c
c
op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
la
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
A
U
THO
R
S: update supp
o
rt
infor
m
atio
n
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
rand
o
mvector: double
size of co
e
ff
i
ci
e
nts on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Ve
r
doo
l
aege
i
s
c
c: support
tran
s
iti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
upda
t
e isl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
barvinok_e
.
cc: enumerate_vd: remove unused
variab
l
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalu
e
.
c: Polyh
e
dron_In
s
ert:
a
d
d
m
is
s
ing return typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
eval
u
e
.
c
: r
e
duce_evalue: remove unused varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
iscc: a
d
d @
o
pe
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolae
g
e
add isl_pw_qpolynomial_upper_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
a
d
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
ad
d
isl_pw_qpolynomial
_
sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdoolaege
add isl_pw_qpolynomial_to
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdoolaege
up
d
ate isl for
i
s
l
_
pw_qpolynom
i
al_foreach_
p
i
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
rename
e
value2isl to isl_p
w
_qp
o
lynomia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verd
o
ola
e
ge
iscc: de
t
ect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
o
l
aege
b
a
rvinok_enum
e
rate: u
s
e
i
s
l
during
the verific
a
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
a
d
d is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdool
a
ege
ad
d
i
s
l_se
t
_card and i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d evalue
2
i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdoolae
g
e
e
value_convert: ex
p
ort a
s
application
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolaege
barvinok_enumer
a
te_e: o
p
tionally use isl to p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
e
r
d
oo
l
aege
add i
s
l submodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoo
l
ae
g
e
AX_SUBMODUL
E
: accept
"
-" in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
er
d
oolaege
barvino
k
_e
n
ume
r
ate: return N
a
N for infinite pr
o
blems
commit
|
commitdiff
|
tree
2010-01-28
S
ven
Verdoola
e
ge
remove_all_e
q
ual
i
ties: handle integrally, but not ration
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
V
e
r
d
oolaege
ba
r
v
i
nok_
e
numerate_e: always
return a
p
ar
t
itio
n
fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
b
a
rvinok_enumerate: check that
d
i
m
e
nsion of
input
i
nclud
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
erdoola
e
ge
p
a
rtiti
o
n2enumeration: check that
inp
u
t is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upd
a
te piplib for change in configure op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n V
e
rdoolae
g
e
upd
a
te omega for con
f
igur
a
tio
n
/compilat
i
on i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_
c
ount
_
with_options:
c
he
c
k ret
u
rn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ve
n
Verdoolaege
Polyhedron
_
Sample:
p
lu
g
memory lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
summate
.
c: add mis
s
ing i
n
clud
e
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
d
oolaege
t
opcom
.
c: support newe
r
versions of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topco
m
.
c: co
m
pu
t
e_domain: skip
v
ertices
w
itho
u
t domai
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_mini
m
ize:
tak
e
co
n
stant term t
o
be ze
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc:
reflect th
a
t
--enable-f
r
acti
o
na
l
is now
t
he default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
e
ge
glpk_polyhedron_affi
n
e_s
i
g
n
: special case 0D
p
olyhedra
commit
|
commitdiff
|
tree
next