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: add deltas operation
2010-04-07
Sven Verd
o
ol
a
ege
iscc:
add deltas operat
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
update isl for
f
ix in
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
drop
b
arvinok_enumer
a
t
e
_pip_with
_
options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verd
o
o
laege
iscc: add cross
product
o
perations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Ver
d
oola
e
ge
iscc: add coalesce o
p
e
rations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
u
p
date is
l
fo
r
isl
_
pw_qpo
l
ynomial_
c
oal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
d
r
op "Omega counting c
a
l
c
u
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_boun
d
.
cc:
fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verd
o
olaege
bernstein
.
c
c
: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaeg
e
e
va
l
ue_range_pro
p
agati
o
n: fix su
b
stituti
o
n for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
bernst
e
in/con
f
i
g
ure
.
in:
use abs
o
lute srcdir of Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
on
l
y dist
r
ibute bundled
submodules
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n V
e
rd
o
ol
a
ege
update
o
mega for c
o
nfiguration issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdo
o
l
aege
c
o
nfigure
.
in: allo
w
"build"
P
olyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_qpolynomi
a
l_fold_from_ginac
:
handle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
isl_qp
o
lynom
i
al_from_ginac: expan
d
ex before inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
i
sl_obj_list
.
c:
u
pdate to use of
isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoola
e
g
e
isc
c
: add g
i
st opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-18
S
ven
V
erdoolaeg
e
up
d
ate isl for introd
u
c
tion o
f
i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
isl_pw_
q
polynomial_upper_bound:
s
et
up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
iscc: a
d
d some comparison
o
perations
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n Verd
o
olaege
i
scc: ad
d
i
nver
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
ool
a
ege
iscc: f
i
x
u
p
type of find_mat
c
hing_b
i
n_
o
p
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: add affine
hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
ege
iscc: add ope
r
ation to construct un
i
versal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdoolaege
i
scc: add "j
o
in" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doola
e
g
e
i
s
cc: add inte
r
sect_domain operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c:
a
l
l
ow overl
o
ading
binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
e
r
doolaege
iscc: add more dom o
p
e
r
at
i
ons
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdo
o
laege
d
o
c: re
o
rgani
z
e table of iscc opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
ba
r
vinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Ve
r
doolaege
AUTHORS: update support inf
o
rmatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
ran
d
omvector: double size of coefficient
s
on ea
c
h at
t
emp
t
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoo
l
aege
iscc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
e
r
d
oolaege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
barvino
k
_e
.
cc: enumera
t
e_vd: remove unused va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c
: Polyhedron_Ins
e
rt: add mi
s
si
n
g
r
eturn ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verd
o
olaege
evalue
.
c: re
d
uce_evalue: r
e
move unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oo
l
aeg
e
i
s
cc: a
d
d @ o
p
e
rator
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add isl_pw_qpolynomial_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd isl_pw_qpol
y
nomial_s
u
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
olaege
add isl_pw_
q
polyno
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
updat
e
i
sl for isl_pw_qpolynomial_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaeg
e
r
ename evalue
2
isl t
o
i
sl_p
w
_qpol
y
no
m
ial
_
fr
o
m_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
S
v
e
n
Verdoola
e
ge
is
c
c
: detect
more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
rvi
n
ok
_
enumerate: use
is
l
during
the
v
erification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verd
o
olaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdo
o
lae
g
e
add
i
s
l
_
s
e
t_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
en V
e
r
d
ool
a
ege
evalue_convert
:
export as ap
p
l
i
catio
n
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
barvinok_enumerate_e: optionally
u
se isl to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE: a
c
ce
p
t
"
-
" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doola
e
ge
barvinok_enumerate:
return
NaN for infin
i
te proble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
ege
r
emove_all_
e
qualities
:
handle
i
n
t
egra
l
ly, bu
t
n
o
t ra
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
Verdoolaege
barvinok_
e
numerate_
e
:
al
w
ays return a partition
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
barvinok_e
n
umerate: c
h
eck that dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
er
d
oo
l
aege
pa
r
ti
t
ion
2
enumera
t
ion: check
that i
n
put is re
a
lly
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
e
n
V
erdoolaege
u
p
date piplib for change i
n
configure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n
V
erdo
o
laege
update omega for c
o
n
figura
t
ion/compilatio
n
issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
barvinok_co
u
nt_with_options
:
check
r
eturn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Sample
:
plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topc
o
m
.
c: support newer
ver
s
ions of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
:
compute_d
o
m
a
in: ski
p
vertices without doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polyto
p
e
_
minim
i
ze:
t
ake constant t
e
r
m
to
b
e zero
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
doc: reflect that --enable-fractional i
s
now the defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_polyhe
d
ro
n
_aff
i
n
e
_
s
i
g
n: special cas
e
0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdo
o
laege
Polyhedron_Insert_Colum
n
s: fix typo
commit
|
commitdiff
|
tree
2009-11-11
S
v
en V
e
rdoolaege
P
o
l
yhedron_
F
act
o
r: fix
up
d
ati
n
g
o
f groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
co
n
f
igure
.
in: u
s
e
AX
_
SUB
M
ODUL
E
inste
a
d of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ve
r
doolaege
remov
e
_
equali
t
ies: use P
o
l
yhed
r
o
n
_
Preimage
i
nstea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
d
o
c
:
a
d
d
experimental comparison between old and
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
c
c
:
remove "anac
h
ronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc:
a
dd
s
o
me less common
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaege
add "clever" Laurent expa
n
sion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
m
o
ve Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
o
o
l
a
e
g
e
ex
t
ract
out
param_polynomial fro
m
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
ext
r
a
ct verte
x
_
c
one from lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
ven Ver
d
oolaege
update polylib for s
p
eed
i
mpr
o
vement
i
n
in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
p
dat
e
p
iplib f
o
r distrib
u
t
i
on i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhed
r
on_Factor: fix m
e
rg
i
ng of
group
s
of
colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
ol
a
ege
b
a
rvin
o
k_enumer
a
te_series: don't check
f
o
r
revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counter: mov
e
coun
t
er::reset() u
p
to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
laege
Makefi
l
e
.
am: keep better t
r
ack of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
ege
add semigro
u
p_h
o
les
a
p
pli
c
ation
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolae
g
e
Line_Le
n
gth: handle 0
D
polytope
i
n
1D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun
:
add is_ze
r
o metho
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
nok_enumerat
e
_e_series: remove
equ
a
l
ities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k_enumer
a
te_e
_
series:
h
andle
a
ll
e
xistentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
ege
serie
s
.
cc:
make p
r
oje
c
t stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
barvinok_enumerate_e_s
e
ries: handl
e
a
l
l e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolaege
a
d
d test set from
t
he other itsl2008
paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Po
l
yhe
d
ron
_
Factor: handle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
upd
a
te piplib
f
or change in configur
e
arguments
commit
|
commitdiff
|
tree
next