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
isl_qpolynomial_from_ginac: expand ex before inspection
2010-03-25
Sven Ver
d
oo
l
aege
isl_qpolynomial_fr
o
m
_
gina
c
: e
x
pand ex befo
r
e inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
i
s
l_obj_list
.
c: update to use of i
s
l_
p
rinte
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gi
s
t op
e
r
ations
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n V
e
rdool
a
ege
isl
_
p
w_qpolynomial_upper_bound:
s
et up var
i
able
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven
Verdoolaege
iscc:
a
dd some comp
a
rison operat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
d
oolaege
iscc: a
d
d
i
nverse
o
p
eration
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
iscc: fix
up ty
p
e of find_matchin
g
_b
i
n_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add af
f
ine hull operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoola
e
ge
is
c
c:
a
dd ope
r
ation t
o
construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erd
o
olaege
isc
c
: add "joi
n
" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add inters
e
ct
_
domain
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow overloading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
V
e
r
d
oolaege
iscc: add more dom opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
d
o
c: reorganize table of i
s
c
c
op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvin
o
k 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUT
H
ORS: update s
u
pport info
r
m
a
t
ion
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verd
o
olaege
r
a
n
dom
v
ec
t
or: do
u
ble
s
ize of
coe
f
f
icie
n
ts on
each a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
S
ve
n
V
e
rdoolaege
i
sc
c
: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
updat
e
isl to versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolae
g
e
b
a
r
v
inok_e
.
cc: enum
e
rate_v
d
: remove
u
nused variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
eva
l
ue
.
c: Polyhedron_In
s
ert:
a
dd missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
evalue
.
c: reduce_evalue
:
remove unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
i
s
cc
:
add
@ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolae
g
e
add isl_
p
w
_qpolynomial_
u
pper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc
:
add su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl
_
pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
laege
add isl_pw_qpolynomial_to_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
rdoolaege
update is
l
for isl_pw_qp
o
lynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
r
e
nam
e
evalue2
i
sl to is
l
_pw_qpolynomial_from
_
e
v
alue
commit
|
commitdiff
|
tree
2010-03-06
Sven V
e
rdoolaege
iscc: detect more
k
inds
of
errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate: use isl during the
verificatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdo
o
l
a
ege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
ge
add isl
_
s
e
t_card an
d
isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
eval
u
e
_
c
o
nvert: export as
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
ool
a
ege
b
arvinok_enumerat
e
_e: optiona
l
ly
u
se isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
a
d
d isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMOD
U
LE: acc
e
p
t
"-" in modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaeg
e
ba
r
vinok_enumerate:
r
et
u
rn NaN for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
erdoolaege
remove_all
_
e
q
ualit
i
es: handle int
e
g
r
a
l
l
y, but not
r
a
t
io
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
barvinok_enumerate_e:
a
lwa
y
s return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Ve
r
d
o
olae
g
e
barvinok
_
enumerate: c
h
e
ck that
dimension
o
f input
i
ncl
u
de
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
l
aege
partition2en
u
meration:
c
he
c
k
that input is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doolaege
u
pdate piplib fo
r
c
h
a
n
ge
i
n configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
u
p
d
ate omega for config
u
ration/co
m
pilatio
n
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_cou
n
t_
w
ith_o
p
tions: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
P
o
l
y
hed
r
o
n
_Sa
m
p
l
e:
p
l
u
g memory
l
ea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
summ
a
te
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
o
o
l
aege
top
c
o
m
.
c
:
s
upport newer vers
i
ons of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaege
t
o
pc
o
m
.
c: compute_d
o
m
a
in: skip
v
ertices without
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc:
r
ef
l
ect that --enable-fr
a
ct
i
o
n
a
l is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verd
o
ol
a
ege
g
l
pk_p
o
lyhedron_affin
e
_s
i
gn
:
special case 0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
Verdoola
e
ge
Polyhedron_Insert_Columns: fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_F
a
c
tor: fix updat
i
ng o
f
g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erdoolaege
confi
g
ure
.
in: use AX_SUBMODULE instead
of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equa
l
ities: use Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
barvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimental compari
s
o
n
be
t
ween o
l
d a
n
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
l
exmin
.
c
c
:
r
emov
e
"a
n
achronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc:
add some less common
.
sty
fil
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
l
aege
a
d
d "clever" L
a
urent expansio
n
based su
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
Verdoolaege
move La
s
t
_N
o
n_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaeg
e
extract
out param_polynomial
from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
extr
a
c
t v
e
r
t
e
x_co
n
e f
r
o
m
lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
p
date
p
o
lylib for speed improve
m
ent
i
n in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Ver
d
oo
l
aege
upd
a
t
e piplib
for distribution
i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
S
v
e
n V
e
rdoolaege
Polyhed
r
on_Factor
:
fix merging of gro
u
ps
of
c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
(t
)
counter: move
c
oun
t
er
:
:reset()
u
p to counter
_
b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoola
e
ge
Makefile
.
am: keep better
t
rack of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
Lin
e
_L
e
n
gth: handle
0
D p
o
lytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
oolaege
Polyh
e
dron_Fa
c
tor: handle polyhedra with a non-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
upd
a
te pip
l
ib for change in co
n
figure ar
g
uments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvino
k
.
cc:
r
em
o
v
e unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ven V
e
rdoolaege
update piplib for MinGW
compatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olae
g
e
upd
a
te
poly
l
ib
f
or MinGW
co
m
p
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
eval
u
e
.
c: in_domain: spec
i
al-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verd
o
olaege
Avoid use of sys/times
.
h header when
not avail
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
d
d
g
n
uli
b
getsubopt m
o
dule for Mi
n
G
W
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
R
E
ADME
:
ment
i
on that GiNaC is
a
lso need
e
d for
the Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolae
g
e
Al
l
ow build of o
c
c when
u
sing bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verd
o
ola
e
ge
doc: add a r
e
f
e
r
ence to a
master
thesis act
u
ally us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: f
i
x up inst
a
llation
i
nstructions
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdool
a
eg
e
Add files
generated by
b
ison and flex t
o
th
e
distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
u
p
d
a
te polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
update pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoola
e
ge
evalue
.
c: af
f
ine2evalue: redu
c
e coe
f
fici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
al
u
e
.
c: evalue_le
v
el_cm
p
:
p
rod
u
ce
more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdoolaege
do
c
: add another p
a
pe
r
referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewise_lst
.
h: avoid dupl
i
cate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdoolaege
evalue_read
.
c: fix minor bug
s
in to
k
enizer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en
V
erdool
a
e
g
e
updat
e
omega
f
or missin
g
files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
b
a
rvinok_enumerate_e: a
v
o
i
d infinite loop
when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
move omega
s
ubd
i
r to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaeg
e
NTL_QQ
.
cc: add stdlib in
c
lude f
o
r
abort hidden
in
NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
re
m
ove g
n
u
lib link-warn
i
ng module com
p
letely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
u
pdate polyli
b
w
ith extra field in Param_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ver
d
o
o
laege
doc:
f
ix typos
commit
|
commitdiff
|
tree
next