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 Verdool
a
ege
iscc: add deltas
operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doola
e
ge
update isl f
o
r
fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verdoolaege
d
r
op b
a
rvinok_enumerate
_
pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
g
e
iscc: add cross p
r
oduct operatio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
oolaeg
e
iscc: add coalesce operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
update isl f
o
r
i
sl_pw_qpol
y
nomial_co
a
l
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
rdoolaege
drop "
O
mega
counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
test_bound
.
cc: fix pr
i
ntf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein
.
c
c
: fix
p
rint
f
for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
value_rang
e
_propagation: fix substit
u
tion for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ve
r
d
o
olaege
b
e
rnstein
/
c
o
nfigure
.
in:
u
se absolute srcdir
of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
o
nl
y
distribute b
u
ndled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n V
e
rdoolaeg
e
update
omega for configuration
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configure
.
in: al
l
ow "build"
Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
isl_qpol
y
nomial_fold_from_ginac: handle fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qp
o
lyn
o
m
ial_
f
rom
_
g
i
n
ac: expand ex b
e
f
ore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_
o
bj_list
.
c: upda
t
e to use
o
f
isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
i
scc: add gist
operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaeg
e
update
isl
f
or introductio
n
of is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
isl_pw_qpo
l
ynomial_u
p
per_bou
n
d
: set up varia
b
l
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add some comparison opera
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add inverse o
p
e
r
a
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Ver
d
oolaege
iscc
:
fix up
t
y
p
e of find_matching
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
is
c
c: add affine hul
l
opera
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd operation to construct un
i
ve
r
sal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
ege
iscc: a
d
d "j
o
in" oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ve
r
d
oolaege
iscc: add
inters
e
ct_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: all
o
w overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
i
scc: add more
d
o
m operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: reorg
a
nize tabl
e
o
f
iscc o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
b
arvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ve
r
doolaege
AUTHOR
S
:
update support informatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
random
v
ect
o
r: do
u
ble size of coeffi
c
ients
on
each
a
ttempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaeg
e
iscc: s
u
pport t
r
an
s
i
tive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
update
i
sl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
ar
v
inok_e
.
c
c: enumer
a
t
e
_
v
d: remove unus
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Ver
d
oo
l
aege
eva
l
ue
.
c: Po
l
yhedron_In
s
ert:
ad
d
miss
i
ng return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
evalue
.
c: reduce_evalue:
r
emove
u
n
used variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
: add @ operat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
iscc
:
a
dd "
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaeg
e
add isl_pw_qpol
y
nomial_upper_bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
iscc: add
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oo
l
aege
a
dd is
l
_pw_qpolynomial_to_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
r
dool
a
ege
update isl
for
isl_pw_qpolynomial_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
rename evalue2
i
sl to is
l
_pw_q
p
olynom
i
al_from
_
evalu
e
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdoo
l
a
eg
e
iscc: detec
t
more
kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
barvinok
_
e
numerate: use isl during the verificatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaeg
e
add
i
sl_s
e
t_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add ev
a
lue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
evalue
_
c
o
nve
r
t: expo
r
t as app
l
icat
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
oo
l
a
e
ge
barvinok_enumer
a
t
e_e: optiona
l
ly use isl to
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
ge
add isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX
_
S
UBM
O
DULE: ac
c
ep
t
"-
"
in mod
u
le
n
ame
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
barvinok_enumerate:
r
eturn NaN for infinite
proble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdo
o
laege
rem
o
ve_all_equalities: han
d
l
e integr
a
lly, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enu
m
erat
e
_e: always r
e
turn a partiti
o
n
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n V
e
rdoo
l
ae
g
e
b
a
rvinok_enumerate: che
c
k that
d
imension of
i
nput includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
par
t
i
t
io
n
2enume
r
atio
n
: chec
k
that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdool
a
ege
update piplib for chang
e
in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n
Verdoolaege
update omega for conf
i
g
uratio
n
/
compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaeg
e
barvinok_count_
w
ith
_
optio
n
s
:
check
r
eturn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
Po
l
yhedron_
S
ampl
e
: plug memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
doolaege
summate
.
c: add missin
g
inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
t
opcom
.
c: support n
e
w
e
r versions of T
O
P
C
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
to
p
com
.
c:
comp
u
t
e_d
o
m
a
in
:
sk
i
p vertic
e
s without domain
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verd
o
olaege
pol
y
tope_minimize: ta
k
e c
o
nstant
t
erm to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
doc: reflect
t
hat --enable-fractional is now the defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk
_
polyhedron_affine
_
si
g
n: special
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
Polyhedro
n
_I
n
sert_
C
olumn
s
: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdo
o
laege
Polyh
e
d
r
on_Factor:
fix u
p
dating of g
r
ou
p
s
commit
|
commitdiff
|
tree
2009-10-06
S
ven Ver
d
oolaege
config
u
re
.
i
n
:
u
s
e AX_SUBM
O
DULE instead of BV_SUBM
O
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaege
remo
v
e_equalities: use Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laege
doc
:
add experimental compari
s
o
n betw
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
lexmin
.
cc: remove
"
anachr
o
nism"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ver
d
oolaege
doc: ad
d
some less comm
o
n
.
s
ty
files
commit
|
commitdiff
|
tree
2009-07-21
S
ven Ver
d
oolaege
add "c
l
ev
e
r" Laur
e
nt
expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
move La
s
t_Non_Zero t
o
u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
Ve
r
dool
a
ege
extr
a
c
t out
p
aram_polynomial from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
d
oolaege
e
xtract ver
t
e
x
_cone from la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
NTL_QQ
.
c
c:
a
d
d
stdio incl
u
de for EOF
hidden in
N
TL
_
i
o
_
vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
ven Verdoo
l
ae
g
e
update
polylib fo
r
speed impro
v
e
ment
i
n
in
_
domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
oolaeg
e
u
pdate piplib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
e
n
Ver
d
oolaege
Pol
y
hedron_Factor: f
i
x
m
erging o
f
gro
u
ps of
col
u
mn
s
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
b
a
rvinok_e
n
umera
t
e_series: don't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oo
l
aege
(t)counter:
m
ove counter::res
e
t()
up
to cou
n
ter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
doolaege
Makefile
.
am:
k
eep b
e
tter track of
faile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdool
a
ege
ad
d
semigroup_holes
a
p
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: h
a
ndle 0D polyt
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_
f
un: add is_zero
m
ethod
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
d
oolaege
b
arvi
n
ok_enumerate
_
e_se
r
ies: remove e
q
ualities in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdo
o
laege
ba
r
vinok_
e
numerate
_
e_
s
er
i
e
s: handle all exist
e
ntia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaeg
e
s
e
rie
s
.
cc: make
p
roject static
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
b
a
rvinok_e
n
umerate_e_ser
i
es: han
d
le al
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
add te
s
t set from
t
he
o
ther itsl2008 paper
commit
|
commitdiff
|
tree
next