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
configure.in: add isl flags and libs to pkg-config file
2010-04-10
Sv
e
n Verdoolaege
configure
.
in: add is
l
f
l
ags
a
nd
l
ibs to
p
kg-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rdoo
l
aege
i
scc: test i
s
l_stream for eof ra
t
her than the under
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
iscc:
a
dd delt
a
s
o
peration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
up
d
at
e
isl for fix in
i
sl
_
map_del
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
ola
e
ge
dro
p
b
arvinok_enumerate_pip_wit
h
_opt
i
on
s
commit
|
commitdiff
|
tree
2010-04-01
S
v
en
Verdoolaege
isc
c
: add cross product o
p
e
r
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdo
o
laege
i
s
cc: a
d
d coalesc
e
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
up
d
ate isl for isl_pw_qpolynomial_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
erdoolaege
d
r
op "Omega counti
n
g calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
erdoolaege
t
e
st_bound
.
cc: fix
p
rint
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdoolaege
bernstein
.
cc
:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ve
r
doola
e
ge
eval
u
e_range_pr
o
pa
g
a
t
ion: fix substitution for ne
g
ati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bern
s
tein/configure
.
in: use ab
s
olute
srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdo
o
laege
only
distribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
erdoo
l
aege
update omega
for c
o
nfi
g
uration
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Ve
r
do
o
laege
configu
r
e
.
i
n
: allow "build"
PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_q
p
olynomial_fold_from_ginac: handle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ver
d
oolaege
isl_qpolynomial_from_ginac: expand
e
x before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_ob
j
_list
.
c: update to
u
se o
f
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n V
e
rdoola
e
ge
iscc: add gist o
p
erations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
updat
e
isl for int
r
oduction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpol
y
nomial_upper_bound: set
up variab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add some compari
s
on operations
commit
|
commitdiff
|
tree
2010-03-15
Sven
Ver
d
ool
a
e
g
e
iscc:
add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix u
p
type
of find_
m
atching_bin_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
erdoolaege
iscc: add affine h
u
ll o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: add opera
t
i
on
t
o
c
o
n
s
truct
u
n
i
versal map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
c
c: add "join"
o
per
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: add int
e
rsect_
d
omain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: allow overlo
a
ding binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
i
s
cc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: reorganize ta
b
le of is
c
c ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
ba
r
vinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
AUTHORS: update support informati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: do
u
bl
e
size of coeff
i
cie
n
t
s
on ea
c
h atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdo
o
laege
iscc
:
support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Ve
r
doolaege
update is
l
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
barv
i
n
ok_e
.
cc: enumerate
_
vd:
rem
o
ve unused v
a
riable
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
evalu
e
.
c
:
P
olyhed
r
on_I
n
sert: add missing
r
eturn type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
ev
a
lue
.
c: reduce_evalue:
r
emove un
u
se
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
sc
c
: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
ad
d
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l_pw_qpolynom
i
al_up
p
er_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdo
o
la
e
ge
add isl_pw_qpolyno
m
i
a
l
_
sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoo
l
a
e
ge
ad
d
isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
updat
e
i
s
l for isl_pw_qpolyn
o
mial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
r
e
name evalue2is
l
t
o
isl
_
pw_
q
polynomial_f
r
om_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
doo
l
aege
i
s
c
c
: d
e
tect
more kinds of
e
rrors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerat
e
:
use isl d
u
rin
g
the
v
e
r
ific
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add isl_set
_
card and isl_map
_
card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
a
d
d
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verd
o
olaege
evalue_convert: export as applicatio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barvinok_enumera
t
e_e: optiona
l
ly
us
e
i
s
l
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olae
g
e
add isl su
b
m
odule
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
A
X_SUBMOD
U
L
E
: accep
t
"-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ba
r
v
in
o
k_e
n
u
mer
a
t
e
: re
t
urn Na
N
for i
n
finite pr
o
blems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdo
o
l
a
ege
remove
_
a
l
l_equalities:
h
andle integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolae
g
e
b
a
rvino
k
_enumerate_e:
a
lways ret
u
rn a
partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoo
l
aege
barvinok_
e
num
e
rate: check that dimension of input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ve
n
V
e
r
doolaege
partition2enu
m
eration: check that input is rea
l
l
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaege
update
piplib for change in
configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oo
l
aege
up
d
ate omega
f
or
configuration/compilation issue
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_count_with_options: c
h
eck r
e
tu
r
n
value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
Verdoola
e
ge
Poly
h
e
d
r
o
n_Sampl
e
:
p
lug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laeg
e
summate
.
c: a
d
d mis
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
doo
l
a
e
ge
topcom
.
c: suppo
r
t newer v
e
rsions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_domain: skip vertic
e
s
w
ithout domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
p
oly
t
ope_mi
n
imize: take
c
o
n
sta
n
t t
e
rm to be z
e
ro when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
d
o
c: re
f
lect
t
hat --en
a
ble-fractio
n
al is now the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolae
g
e
g
l
pk_p
o
lyhedron_af
f
ine
_
sign: special case 0D
polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_I
n
se
r
t
_Colu
m
ns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaeg
e
Polyhedron_Facto
r
: fix updating
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolae
g
e
con
f
ig
u
re
.
in: use AX_SUBMODULE instead of
BV_SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdoolaege
remo
v
e_eq
u
alities: u
s
e Polyh
e
dron_Prei
m
age instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ver
d
o
o
la
e
ge
doc: add experi
m
ental comparison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ve
r
doolaege
l
exmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add
s
ome less commo
n
.
st
y
fi
l
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "cl
e
ver"
L
a
u
rent e
x
p
a
nsion
based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
move Last_Non_Zero t
o
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
e
x
tract
out param_p
o
lynomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoola
e
g
e
extrac
t
vertex
_
c
one from lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update polylib for speed
i
mprov
e
ment in in_
d
omain
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdo
o
laege
u
pdate piplib for distribu
t
ion
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sven
Verdoolaege
Polyhedron_Factor: fi
x
merging of groups
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
bar
v
inok_enumerate_series: don't
c
heck
for revl
e
x positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
(t)counter
:
mov
e
counter::re
s
et() up t
o
cou
n
ter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdo
o
laege
Makefile
.
am:
keep b
e
tter
track o
f
failed
tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add
s
emig
r
oup_hol
e
s
a
p
pl
i
c
ation
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
Line_
L
ength: handle 0D
p
olytope in 1D sp
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
gen_f
u
n: add is_z
e
r
o me
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
b
a
rvinok_
e
numerate
_
e_ser
i
es: remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdool
a
ege
barvinok_
e
nu
m
erat
e
_e_
s
eries:
handle all existen
t
ials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
series
.
cc: make pr
o
j
ect static
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
barvin
o
k_enumerate_e_series
:
h
a
nd
l
e all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
olaege
add te
s
t set from the other i
t
sl2008 paper
commit
|
commitdiff
|
tree
next