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
update isl for help message printing
2010-05-19
Sv
e
n Verdoolaege
up
d
a
t
e isl
for help message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
r
emove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
Verdo
o
lae
g
e
re
m
ove
e
value_r
a
nge_propa
g
ation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verd
o
olaeg
e
t
est_bound: u
s
e isl i
n
terf
a
ce
for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
barvinok_bound: use i
s
l interface for compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
doolaege
i
scc: suppo
r
t
ub even
i
f GiNaC support was n
o
t c
o
m
p
iled in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
d
o
olaege
add gen
e
ric isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
upd
a
te
i
sl for isl_pw_q
p
oly
n
om
i
al_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
te
s
t_
b
ound:
use isl du
r
ing v
e
rifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
barvinok_bo
u
n
d: use isl during verific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoo
l
aege
ver
i
fy
.
c: ex
t
ract some helper functi
o
n
s for isl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
i
n
t
r
oduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
doolaege
options
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add appli
c
a
t
ion ope
r
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
rd
o
olaege
is
c
c: add read o
p
eration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: f
r
e
e
o
ption
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
update isl fo
r
reading of
stri
n
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
upd
a
te is
l
for fix in isl_p
r
in
t
er_print_pw
_
q
polynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upd
a
t
e
i
sl-polylib fo
r
change
in p
k
g-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
iscc: allo
w
specification of ou
t
put format
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
up
d
ate isl
f
or change
in isl_s
e
t
_
gist argumen
t
commit
|
commitdiff
|
tree
2010-04-11
S
v
en V
e
rd
o
olaege
upda
t
e
isl for rename
o
f isl_map_
m
ov
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
dool
a
ege
confi
g
ure
.
in: add is
l
flags and
l
i
bs t
o
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolae
g
e
iscc: test isl_stream for eof rath
e
r than the underly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
iscc
:
add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
up
d
ate
i
sl fo
r
fix in isl_
m
a
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erdoola
e
ge
d
rop barvin
o
k_e
n
umerate_pip_wi
t
h_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
iscc: ad
d
cross product ope
r
ations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verd
o
olaege
iscc:
a
dd coalesc
e
ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaeg
e
u
pdat
e
isl for isl_pw_qp
o
lynomial_coal
e
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
drop
"
Omeg
a
c
o
unting calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
test_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
dool
a
ege
bernstei
n
.
cc
:
fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
eva
l
ue_r
a
nge_propa
g
at
i
o
n: fix su
b
stitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
ernstein/confi
g
u
re
.
i
n
: use absolute src
d
ir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
only dis
t
ribu
t
e
bundled
s
ubmod
u
les
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
update
o
m
ega f
o
r configur
a
tion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
co
n
figure
.
in: allow "
b
ui
l
d" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_qpolynomia
l
_fold_from_
g
inac: h
a
n
d
le fail n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_qpolynom
i
al_fro
m
_ginac: ex
p
and ex before i
n
spe
c
tion
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
is
l
_
obj_list
.
c:
u
p
date
to
u
se of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add
gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Ve
r
doola
e
ge
upd
a
te
i
sl f
o
r introduct
i
on of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaeg
e
isl_pw_qpolynomial_upper_bound
:
set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven
Verdool
a
eg
e
isc
c
:
add some comparison
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
iscc: add inverse operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
S
ve
n
Verdoolaege
iscc:
fi
x
up type
o
f find_match
i
ng
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdo
o
l
aege
i
scc: add
affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oo
l
aeg
e
is
c
c: add operation to co
n
st
r
uct univers
a
l map
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ve
r
doolaege
iscc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add intersect_domai
n
o
p
eration
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: all
o
w overloading binary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: add more dom
operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdo
o
laege
doc
:
reorganize table of iscc
o
p
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
AUTHORS: upd
a
te support information
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
randomvector: dou
b
le
s
iz
e
o
f co
e
ffic
i
e
n
ts on eac
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
iscc:
s
u
pport tr
a
nsitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
ool
a
ege
update isl to ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
barvinok_e
.
cc: enu
m
erate_vd: r
e
m
o
ve unused vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
evalue
.
c: P
o
lyhe
d
r
on_Insert: add missing retu
r
n
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
ev
a
l
u
e
.
c: reduce_ev
a
l
ue: remove unused v
a
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
dool
a
ege
i
s
c
c
: add @ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpolynomial_upper_bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
i
s
cc: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaege
add
i
sl_pw_qpo
l
ynom
i
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add
i
sl_pw_qpol
y
nomial_
t
o_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
up
d
a
te isl for
i
sl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
dool
a
ege
r
e
na
m
e evalue2i
s
l
to isl_pw_qpolyno
m
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
e
r
doolaege
iscc
:
det
e
ct
more kind
s
o
f error
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_e
n
umerate: u
s
e
isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d
isl_set_card a
n
d isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erdoolaeg
e
a
d
d
eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
l
aege
e
v
a
lue_convert: export as app
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erd
o
olaege
barvinok_enumerate_e: optionally use isl to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add is
l
s
u
bmodul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
AX_SUBMODULE: accept "-" in modul
e
n
ame
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doola
e
ge
bar
v
inok_enumerate: ret
u
rn NaN for infin
i
te
p
roble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verd
o
olaege
re
m
ov
e
_all
_
equalitie
s
: ha
n
dl
e
integrally, b
u
t
n
ot
rati
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
ol
a
ege
b
arvinok_
e
numerate_
e
: alway
s
retur
n
a
partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n
Verdoolaege
barvinok_enu
m
erate: check that dim
e
n
s
ion of input
i
n
clu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
ol
a
ege
partition2enu
m
e
r
a
t
ion: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
e
n Verdoolaeg
e
updat
e
pipl
i
b for
change in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update
omega for configuration/c
o
mp
i
lation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
b
a
rvinok_count_
w
ith_opti
o
ns:
c
heck return v
a
lue o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolae
g
e
P
o
lyhedron_Sampl
e
: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdoolaege
summate
.
c
:
add
mis
s
ing i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
:
sup
p
ort newer
versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
doolaege
topcom
.
c
:
co
m
pu
t
e_domain: skip vertices w
i
thout
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_minimize: take cons
t
ant term to be ze
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
doc: r
e
f
lect that
--e
n
able-fractional is now the de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
oolaege
glpk
_
polyhedron_affine_sign: special case 0
D
p
o
lyhed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
Polyhedron_Insert_Columns: fi
x
t
y
po
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoola
e
ge
Polyhed
r
on_Fact
o
r: fix updatin
g
of gr
o
u
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verdoo
l
aege
configu
r
e
.
in
:
use AX_SUBMODULE instead of BV_SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Verdoolaege
remove_equa
l
i
t
ie
s
: use Po
l
yhedron_Preimage ins
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
barvinok
0
.
29
commit
|
commitdiff
|
tree
next