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
iscc: plug memory leak on error path
2010-04-13
Sven Verdoolaege
updat
e
isl for cha
n
ge in isl_set_gist argum
e
nt
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdo
o
laege
update isl for r
e
name of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
ven V
e
rdoo
l
aeg
e
configu
r
e
.
in: add isl flags and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
i
scc: test isl_stream
f
o
r
e
o
f
r
ather
than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdo
o
lae
g
e
iscc:
a
dd del
t
as operatio
n
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ver
d
ool
a
e
g
e
update isl for
fix in isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
olaege
dro
p
barvi
n
ok_enumera
t
e_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
i
s
cc: add
cross pro
d
uct o
p
erations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
i
s
cc: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
update isl for isl
_
pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
dr
o
p "Omega counting calculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
test_bo
u
nd
.
cc: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
bernstein
.
c
c
:
fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
evalue_ran
g
e_propagation:
fix substitutio
n
f
or negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ver
d
oolaege
bern
s
t
e
in/co
n
figur
e
.
in:
use
a
bsolut
e
s
r
c
di
r
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
o
n
ly distribute bu
n
dled
s
u
b
modules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
d
o
olaege
u
p
d
a
te omega for confi
g
uration issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
configure
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdo
o
laege
is
l
_qpolyn
o
mial_fo
l
d_from_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_from_ginac:
expand ex be
f
ore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoo
l
a
e
g
e
isl_obj_list
.
c: update to use of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
s
c
c:
a
dd gist
o
perations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
u
pdate isl for
i
ntroduction of is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
rdoola
e
ge
isl_p
w
_q
p
olynomial_upper_b
o
und: set u
p
va
r
iable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc:
a
dd some co
m
parison opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
i
s
cc: add
inverse operatio
n
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: fix up type o
f
find_matching_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdo
o
la
e
g
e
iscc: add affine hull
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
is
c
c: ad
d
oper
a
ti
o
n
to construct universal
map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
l
ae
g
e
iscc: a
d
d "join" opera
t
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c:
a
dd intersect_domain ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaeg
e
i
scc: allo
w
ove
r
l
o
ading binary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more dom operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
doc: reorganize table of
i
scc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoo
l
aege
upd
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
Verdoolaege
bar
v
i
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS:
upda
t
e suppo
r
t infor
m
at
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
o
la
e
ge
randomvector: double size of coefficients
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
Ver
d
o
ol
a
ege
iscc: s
u
p
p
o
rt
transitive closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
upda
t
e i
s
l to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
ba
r
vinok_e
.
cc: e
n
u
m
er
a
te_vd: r
e
move unused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
ege
e
value
.
c: Polyhedr
o
n_Insert: ad
d
missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c:
r
educ
e
_ev
a
lue:
r
emove u
n
u
s
ed variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add
@
o
perator
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
i
s
cc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolae
g
e
add isl_pw_qpolynomi
a
l_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
i
scc:
a
dd sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
r
doolae
g
e
a
d
d
is
l
_pw_qp
o
ly
n
omial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolae
g
e
a
dd isl_
p
w_qpolynomial
_
to_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
u
pdate
isl for isl_pw_qpolynomial_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
r
ename evalu
e
2isl to isl_pw_qpolynomial
_
f
r
o
m
_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sven Verd
o
ol
a
ege
i
s
cc: det
e
c
t
m
ore kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
bar
v
inok_e
n
u
me
r
ate: use isl du
r
ing the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
dool
a
e
ge
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add isl_s
e
t_card
and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doola
e
ge
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
evalue_convert: exp
o
rt a
s
appl
i
cation
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdo
o
laege
barvinok_enumera
t
e_e:
o
ptiona
l
l
y
use isl to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdo
o
la
e
ge
add is
l
submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX_
S
UBMOD
U
LE
:
a
ccept
"-"
i
n modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doola
e
ge
bar
v
inok
_
enu
m
er
a
te: r
e
t
u
r
n N
a
N for infi
n
ite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove
_
all_equalitie
s
: handle integrally,
but not rati
o
n
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
er
d
oolaege
barvinok_enumera
t
e_e: always re
t
u
rn
a
par
t
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_e
n
umerate: check that d
i
mension of
i
n
p
ut inclu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
o
laege
pa
r
tit
i
on2enumerat
i
on
:
che
c
k t
h
at input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update piplib
for cha
n
ge in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
u
p
date omega for con
f
iguration/compi
l
ati
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdoolaege
barvinok_coun
t
_with
_
o
p
tions: check return
value o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolaege
Polyhedron_Samp
l
e: p
l
u
g
memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
summa
t
e
.
c: add m
i
s
sing include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
t
op
c
om
.
c: support newer
versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topcom
.
c: compute
_
dom
a
in: sk
i
p vertices
w
i
thout
d
om
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
polytope_
m
inimize:
t
ake constant term
t
o be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolae
g
e
doc: reflect that --enable-fra
c
t
i
onal is now
t
he
d
efau
l
t
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
glpk_pol
y
hedron_affine_sign: special ca
s
e 0D p
o
lyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ver
d
oo
l
a
e
ge
Polyhedron_
I
nsert_Columns
:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdool
a
ege
Po
l
yhedron_Factor: fix updati
n
g of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoo
l
aege
con
f
igur
e
.
in: use AX_S
U
BMODULE
instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoo
l
aege
remove_equalities:
u
se Polyhedron_Pr
e
i
mage
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ve
r
doolaege
doc: add experimental
c
omparison between ol
d
and
ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc: remo
v
e "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
doc: add some less common
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Ve
r
do
o
laege
add "clever
"
La
u
re
n
t e
x
pansion based su
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
m
ove
L
a
s
t_
N
on_Zero to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
extract out
param_polyno
m
ial f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdo
o
laege
extract vertex_cone fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
NTL_Q
Q
.
cc: add st
d
io incl
u
de for EO
F
hidden in NTL_i
o
_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
aege
u
pdate polylib for spe
e
d
i
m
provement i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
aege
upda
t
e
p
iplib for distr
i
bution
i
s
s
u
e
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verd
o
olaeg
e
Polyhedron_Fa
c
tor: fix mergin
g
of groups of co
l
umn
s
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
e
rdoolaeg
e
b
a
rv
i
nok_enumer
a
te_series:
don't check for re
v
l
e
x po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdo
o
laege
(t)c
o
unter: m
o
ve c
o
unter::reset()
u
p to counter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Mak
e
file
.
am: k
e
ep better
track
o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
aege
add semi
g
r
o
u
p
_
hol
e
s application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Lin
e
_
L
en
g
t
h
: handle 0D polyt
o
pe
i
n 1D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
gen
_
f
un:
a
d
d
is
_
z
ero met
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
barv
i
nok_enumerate_e_seri
e
s: re
m
ov
e
equal
i
ties in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
ool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
next