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
update isl for fix in isl_map_deltas
2010-04-07
Sven Verdoolaege
update
isl
for fix in isl_map
_
del
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop bar
v
inok_enumerate_pip
_
wit
h
_options
commit
|
commitdiff
|
tree
2010-04-01
S
ven Ver
d
oolaege
i
s
c
c
: add cross product operation
s
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verd
o
olaege
is
c
c: a
d
d coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl fo
r
is
l
_pw
_
q
polynomial_co
a
l
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ver
d
ool
a
ege
drop "Omega
c
ount
i
ng calculat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
laege
test_bound
.
cc: fix pr
i
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
b
e
rnstein
.
cc
:
fi
x
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
o
o
laege
evalue_range_pr
o
pagation: fix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
bernstei
n
/configure
.
in
:
use absolute srcdir of PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoola
e
ge
only dis
t
ri
b
ute bundled s
u
b
m
odu
l
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
e
rdoolaege
update om
e
g
a fo
r
co
n
figuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verdool
a
e
g
e
configure
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n V
e
rdoolaege
isl_qpolynomi
a
l
_fol
d
_from_ginac:
han
d
le
fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
i
s
l_qpolynomial_f
r
o
m_ginac: e
x
pand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
i
s
l_obj_list
.
c:
up
d
a
t
e
t
o use of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
is
c
c: a
d
d gist
operat
i
on
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
g
e
update isl for in
t
roduction of is
l
_
p
rin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
ol
a
ege
isl_pw_qpolynomial
_
u
pp
e
r_b
o
u
n
d: set up v
a
riable vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
i
s
c
c
:
a
dd some compari
s
on operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add i
n
v
e
rse o
p
eratio
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
c
c:
fix up
t
ype of
f
ind_matc
h
ing
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
i
s
c
c
: add af
f
ine hull o
p
era
t
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd operation
t
o constru
c
t unive
r
sal
map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc:
a
dd "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: add
intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow
o
verloa
d
ing binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc:
a
dd more dom ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
oc: reorg
a
nize table of iscc oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdool
a
e
g
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdool
a
ege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AU
T
HORS: up
d
at
e
support
i
nformati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: double
s
ize of
coefficients
o
n each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doo
l
aege
i
sc
c
: sup
p
ort transi
t
i
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
u
pdate is
l
to
v
e
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
barvinok_e
.
cc:
e
nume
r
a
t
e_vd
:
remove
unu
s
ed v
a
riables
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
la
e
ge
eva
l
ue
.
c: Polyhedron_Inse
r
t: a
d
d
m
issing retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoo
l
ae
g
e
evalue
.
c: reduc
e
_evalue: remove unused varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
iscc
:
add @
o
per
a
t
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
:
a
d
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
laege
ad
d
isl_pw_
q
polynomial_upp
e
r
_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
iscc
:
add
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
add isl
_
pw_qpolyn
o
mi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
a
dd isl_pw_qpol
y
n
o
mial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
update isl
for isl_pw_qpolynomia
l
_
f
o
reac
h
_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
rename evalue2isl
to isl_pw_qpolynomial_from_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdo
o
laege
iscc:
d
ete
c
t more kinds o
f
err
o
rs
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
bar
v
inok_
e
num
e
rate: use isl during t
h
e verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aeg
e
add
iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Verdoolaege
a
d
d isl_set_card and
i
sl
_
map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
d
o
o
laeg
e
add e
v
alue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoo
l
aege
evalue_co
n
vert: export
as a
p
plicatio
n
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
r
d
o
olaege
barvinok_enumerate_e:
optionally use is
l
to
pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoola
e
ge
a
d
d isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
AX_SUBMODULE: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
barvinok_e
n
umerate: return NaN for
infin
i
te problems
commit
|
commitdiff
|
tree
2010-01-28
S
v
e
n
Verdoo
l
aege
remove_
a
l
l_equalities: handle integ
r
a
l
ly,
b
ut not ration
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verd
o
olaege
bar
v
inok
_
enumerate_e: alwa
y
s return a
partit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
a
ege
barvinok_enumerate: check that dimension of inp
u
t
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
partiti
o
n2e
n
u
m
eration:
check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
ge
update piplib fo
r
change in con
f
igu
r
e opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
update omega for configuration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
barvino
k
_cou
n
t_with_options: check return val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aeg
e
Pol
y
h
edron_Sa
m
ple: plug memory
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoo
l
aege
summ
a
te
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
t
opcom
.
c
: supp
o
rt new
e
r
versions of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doo
l
aege
t
opcom
.
c: c
o
mpute
_
domain: skip vertic
e
s wit
h
out
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
polytope_min
i
m
i
ze:
t
a
ke c
o
nsta
n
t
t
e
rm to be
zero
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: re
f
lect
t
hat -
-
enable-fracti
o
nal is now
the de
f
aul
t
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
glpk_polyhedron_affine_sig
n
: special case
0
D polyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ver
d
ool
a
eg
e
Poly
h
edron_I
n
s
ert_Columns
:
fix t
y
po
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
doola
e
ge
Polyhed
r
on_Factor: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in:
u
se AX_SUBMODUL
E
ins
t
ead of BV_SUBMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolae
g
e
remove_equalities: use Polyhe
d
r
o
n_P
r
eimage
instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
r
doolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verd
o
olaege
doc: add exper
i
men
t
al comparison between o
l
d an
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
oolaege
l
e
xmi
n
.
cc
:
remov
e
"
a
nachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
d
oc
:
ad
d
some l
e
s
s common
.
sty
files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
add "cl
e
ver" Lauren
t
ex
p
ansi
o
n based
summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
move Last_Non_Zero to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out p
a
ram_
p
olynomial
fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdo
o
laege
extract v
e
rtex_cone from
lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
N
TL_QQ
.
cc: add stdi
o
i
n
clude
f
or EOF h
i
dde
n
in NTL_io
_
vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
pdate p
o
ly
l
i
b
for
s
peed improvemen
t
in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
updat
e
pipli
b
f
o
r dist
r
i
b
u
tion iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyh
e
dron_Factor: fi
x
merging of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoolaege
barvinok_enumerate_series: d
o
n
'
t check for revlex
posit
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)c
o
unte
r
: move
c
ounter::reset()
u
p to counter_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Mak
e
file
.
a
m: keep be
t
ter
track of faile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
add semigroup
_
holes applic
a
tion
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oola
e
g
e
Lin
e
_
Length: handle
0
D
p
o
l
ytope
i
n 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
olaege
gen_fun: a
d
d
is
_
zer
o
method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
nok_e
n
umerate_e_
s
er
i
es:
r
emove equalit
i
e
s
in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
d
o
c
: fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laeg
e
barvinok_enumerate_e_series:
h
andle
al
l
e
xist
e
n
t
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: make p
r
oj
e
c
t st
a
tic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvi
n
o
k
_enu
m
erate_e_
s
eries: handl
e
all equ
a
li
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
doolaege
ad
d
t
e
st set fr
o
m
t
h
e other
itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Verdoolaege
.
git
i
gn
o
re: ignore object files
commit
|
commitdiff
|
tree
next