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
introduce "bound" option
2010-05-14
S
v
e
n Verdoolaege
intro
d
uce "bou
n
d" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
options
.
c: fix print
f
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaeg
e
iscc:
add applic
a
tion operations
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Ver
d
ool
a
ege
iscc:
add re
a
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verd
o
olaege
iscc: free opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verd
o
olaege
upd
a
te isl for readi
n
g of stri
n
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for
fi
x
in isl_printer_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n V
e
rdool
a
ege
update isl-polylib for cha
n
g
e
in
p
kg-co
n
fig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaeg
e
i
scc: a
l
l
ow specif
i
cation of outp
u
t f
o
rmat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
update isl for chan
g
e in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdo
o
la
e
ge
upd
a
te isl for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoola
e
ge
c
o
nfig
u
re
.
i
n:
a
dd
i
sl flags a
n
d lib
s
t
o
pk
g
-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
i
s
cc: te
s
t isl_s
t
ream for eof rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add
de
l
tas operation
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
e
rdoolaege
u
p
dat
e
isl for fix in isl
_
ma
p
_delta
s
commit
|
commitdiff
|
tree
2010-04-04
S
ven Verdoolaege
drop barvinok
_
enumerate_pip_wit
h
_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaeg
e
i
scc: add cross
product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verd
o
o
l
a
e
ge
iscc: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaege
updat
e
is
l
for isl_p
w
_qpolynomial
_
co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoo
l
aege
dr
o
p "Omega
c
o
u
nting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoola
e
g
e
test_b
o
und
.
cc: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erd
o
olaege
bernstein
.
cc: fix
p
rint
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
eva
l
ue_ran
g
e_propaga
t
io
n
: fi
x
substitu
t
i
o
n fo
r
neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdo
o
laege
bernstein/conf
i
gu
r
e
.
in: use absol
u
t
e sr
c
di
r
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
only distribute
bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega f
o
r configuration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verdoola
e
ge
configure
.
i
n: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
i
s
l_qpolynomial_fold
_
from_ginac:
handle
fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ve
r
d
o
ola
e
ge
isl_qpolynomial_from_
g
in
a
c:
e
x
pan
d
e
x
before
i
nspe
c
tion
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
isl_obj_lis
t
.
c: update to use
o
f
isl_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
S
ven
Verdo
o
laege
iscc:
a
dd
g
ist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
Ver
d
oolaege
update is
l
for introduction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpolynomial_upper_
b
o
un
d
: se
t
up vari
a
ble vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdool
a
ege
iscc: add some comparison
operations
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
isc
c
:
a
dd
i
nv
e
rse operation
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
i
scc: f
i
x up type of find_
m
atch
i
ng_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolae
g
e
iscc:
a
d
d a
f
f
ine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
erdoolaege
iscc:
a
dd oper
a
ti
o
n to constr
u
ct u
n
ive
r
sa
l
m
ap from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
rdo
o
laege
is
c
c: add
"
j
oin" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ver
d
oolaege
iscc:
add intersect
_
domain ope
r
at
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: allow ov
e
rlo
a
di
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Ve
r
do
o
l
a
ege
iscc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoolaege
doc:
r
eorganize tabl
e
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoo
l
aege
b
arvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHO
R
S:
u
pdate supp
o
rt i
n
f
o
r
mati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
ge
rando
m
vector:
d
ou
b
le
s
i
z
e of
coefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
isc
c
:
support transitive closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
e
rdoolaege
update
isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
barvinok_e
.
cc: enumerate_vd:
r
e
m
ove unuse
d
variables
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
l
a
e
ge
ev
a
l
u
e
.
c: Polyhe
d
ron_Insert: add missing
r
eturn type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaeg
e
evalue
.
c
: reduce_
e
val
u
e: remo
v
e u
n
us
e
d v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
r
doolae
g
e
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
a
d
d
i
sl_pw_qp
o
lyno
m
i
a
l_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolae
g
e
add i
s
l_pw_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add isl_pw_qpolynomial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
u
pdate isl for isl_pw_qpoly
n
om
i
a
l_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
la
e
ge
re
n
ame
e
value2isl to isl_pw_qp
o
lynomial_fr
o
m
_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
oolaege
iscc: detect m
o
re k
i
nds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdool
a
ege
barvi
n
ok
_
enumerate: us
e
isl during the
v
eri
f
icatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en V
e
rdoo
l
aege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add isl_set_card a
n
d isl_map
_
card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
e
valu
e
_convert: exp
o
rt as a
p
pl
i
c
ation
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoolaege
b
arvinok_enumerate_e: option
a
l
l
y use isl to proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoola
e
ge
add isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
AX_SUBMO
D
ULE:
a
ccept "-" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
bar
v
inok_enume
r
ate: retur
n
NaN f
o
r infinite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ve
r
doolaege
remove_all
_
e
qualities:
h
an
d
le
i
ntegrally, but not
r
ati
o
n
al
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
V
erdoolaege
barvino
k
_enume
r
ate_e: always
r
e
t
u
r
n
a p
a
r
t
i
t
i
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_
e
nume
r
ate: chec
k
that dimens
i
on of
in
p
ut inclu
d
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
V
er
d
oo
l
aege
partition
2
e
n
u
meration: ch
e
ck
that
input is reall
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdo
o
laege
update piplib for change i
n
confi
g
ure optio
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdo
o
lae
g
e
u
pdate o
m
eg
a
f
o
r
configura
t
ion/c
o
m
pil
a
tion issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
Verdoolaege
barvinok_co
u
nt_wi
t
h_options: che
c
k return val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
r
d
o
o
lae
g
e
Po
l
yhedron_Sam
p
le: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
s
u
m
m
ate
.
c
:
a
d
d missing inc
l
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
top
c
o
m
.
c: supp
o
rt new
e
r ver
s
i
o
n
s
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdool
a
ege
topco
m
.
c: compute_domain: ski
p
ver
t
ices wi
t
hout domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
poly
t
ope_m
i
nim
i
ze
:
tak
e
con
s
t
a
nt term to be zero whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verd
o
ol
a
ege
doc:
reflect that --enable
-
fraction
a
l
i
s
n
o
w t
h
e de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ve
r
doo
l
aege
g
l
pk_polyhedron_a
f
fine_sign
:
sp
e
c
i
al case 0D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoola
e
ge
Po
l
yhedron_Insert_Colum
n
s: fix typ
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_F
a
c
tor: fix updating of
g
r
oup
s
commit
|
commitdiff
|
tree
2009-10-06
S
v
en V
e
rdoolaege
configure
.
i
n
:
use
AX_SUBMODULE instead
o
f
B
V_S
U
BMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
oolaege
remove_equalities: use Polyhedron_Preimage in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdo
o
laege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experi
m
enta
l
comp
a
rison
b
etween old and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
lexmin
.
c
c
: rem
o
ve "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
doc
:
fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoo
l
aege
doc: add
s
om
e
less common
.
s
t
y file
s
commit
|
commitdiff
|
tree
2009-07-21
S
ve
n
Verdoolaege
add "clever" Lauren
t
e
xpansion b
a
s
ed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
m
ove Last_N
o
n_Zero
t
o util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract
o
ut param_polynom
i
al from laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
e
x
tract verte
x
_
c
o
ne f
r
om laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
NTL_QQ
.
c
c: add s
t
dio include
f
or EO
F
h
i
dden in N
T
L_io_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
erdoolaege
update polylib
f
o
r speed improvement
i
n
in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
e
rdoolaege
update piplib for dis
t
ribution iss
u
e
commit
|
commitdiff
|
tree
next