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
add denominator to dpoly_r and split div method
2004-11-17
skimo
a
d
d denomin
a
tor
to d
p
oly_r and split div
method
commit
|
commitdiff
|
tree
2004-11-16
skimo
chang
e
argu
m
ents o
f
normalize methods
commit
|
commitdiff
|
tree
2004-11-03
skimo
r
ea
l
ly only remove
r
edu
n
d
a
nt constraints when
f
actor==0
commit
|
commitdiff
|
tree
2004-10-31
skimo
co
n
version to explicit function on requ
e
s
t
commit
|
commitdiff
|
tree
2004-10-31
sk
i
mo
c
o
nversion fr
o
m gen
f
un to evalue
commit
|
commitdiff
|
tree
2004-10-31
skimo
export zz
2
v
alue
commit
|
commitdiff
|
tree
2004-10-31
s
kimo
"s
u
pport" floor conversion f
o
r parametric pol
y
to
p
es
commit
|
commitdiff
|
tree
2004-10-31
skimo
u
se
evalue
in
s
tead of E
n
umeration
commit
|
commitdiff
|
tree
2004-10-31
skimo
p
r
int different
statis
t
ics
commit
|
commitdiff
|
tree
2004-10-31
skimo
r
e
move redundant
c
ode
commit
|
commitdiff
|
tree
2004-10-16
s
kimo
b
u
mp vers
i
on
commit
|
commitdiff
|
tree
2004-10-12
s
k
imo
Test
w
h
e
t
her li
n
ear combination of existent
i
al v
a
riables
commit
|
commitdiff
|
tree
2004-10-12
s
k
imo
hand
l
e
c
ase where fir
s
t part does n
o
t h
a
ve a
so
l
ution
commit
|
commitdiff
|
tree
2004-10-06
skimo
smal
l
t
o
ol
f
or removing redundan
t
equalities
commit
|
commitdiff
|
tree
2004-10-06
ski
m
o
use bigger values for
rando
m
ve
c
t
o
r
commit
|
commitdiff
|
tree
2004-10-05
s
k
i
mo
warn on floo
r
c
o
n
v
e
rsion
commit
|
commitdiff
|
tree
2004-10-05
skim
o
ad
d
collect
_
poly
t
o
p
es2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
reduce constant after inve
r
sion;
a
void infinite loop
commit
|
commitdiff
|
tree
2004-10-04
skimo
don
'
t c
a
ll pip
w
he
n
there are no existent
i
al
variab
l
es
commit
|
commitdiff
|
tree
2004-10-03
skimo
bu
m
p
v
e
rs
i
on
commit
|
commitdiff
|
tree
2004-10-03
skimo
furt
h
er merge
commit
|
commitdiff
|
tree
2004-10-03
skim
o
more m
e
r
ging
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute EP only once for each vertex, at the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skim
o
minor extra merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
remove bottleneck
+
merge
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
a
dd NTL_5_3_2
.
patc
h
commit
|
commitdiff
|
tree
2004-10-01
skimo
dee
p
er loop merge
commit
|
commitdiff
|
tree
2004-09-30
skimo
dea
d
code
commit
|
commitdiff
|
tree
2004-09-30
skimo
arr
a
y
c
ontraction
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
remo
v
e bottleneck + merge loops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo
i
n comment
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
distribute
cdd2polylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skimo
ensure all rays are positive
commit
|
commitdiff
|
tree
2004-09-30
skimo
u
s
e provided param
e
ter names
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
mo
a
v
oid
+-
commit
|
commitdiff
|
tree
2004-09-30
skimo
collect
t
erms with the same d
e
nomina
t
or
commit
|
commitdiff
|
tree
2004-09-30
skimo
ignore zer
o
ter
m
s
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
typo
commit
|
commitdiff
|
tree
2004-09-29
sk
i
mo
include unistd
.
h for pl
a
t
f
o
r
m
s wi
t
hout
g
etopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to ignore
r
ays
commit
|
commitdiff
|
tree
2004-09-19
sk
i
mo
make ray lexico-po
s
iti
v
e
commit
|
commitdiff
|
tree
2004-09-19
skimo
i
nitial su
p
por
t
for Ehrhart series
commit
|
commitdiff
|
tree
2004-09-19
ski
m
o
allow constru
c
tion of
0
D "
n
onorthogon
a
l" vec
t
o
r
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract che
c
k for
i
nfin
i
te para
m
etric polyto
p
es
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
m
o
ch
a
nge latti
c
e_poin
t
slightly
(used in previous p
a
tch)
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
don't make numerat
o
r power p
o
s
i
tive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
don't m
a
ke numerator powe
r
po
s
itive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
s
kim
o
a
llow negative pow
e
rs
commit
|
commitdiff
|
tree
2004-09-18
skimo
ty
p
o
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
bump ve
r
sion
commit
|
commitdiff
|
tree
2004-09-18
skimo
update
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
point to
P
I
P
l
o
cat
i
on
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift
p
olytope for PIP
i
f
variables
rang
e
o
v
er negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
allow verification of direct pip use
commit
|
commitdiff
|
tree
2004-09-18
skim
o
d
on'
t
overal
l
o
cate if
we don't have t
o
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't overa
l
lo
c
a
t
e
if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
ove
r
ride barvin
o
k_enumerate_ev i
n
stea
d
of barvinok
_
enumerat
e
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
o
ptional
l
y
use
p
ip
commit
|
commitdiff
|
tree
2004-09-18
skimo
r
ena
m
e and export pip-bas
e
d enumeration
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
o
nverte
r
for c
d
d input to p
o
lylib
input
commit
|
commitdiff
|
tree
2004-09-18
skimo
co
n
form to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks
t
o c
o
un
t
the inp
u
t an
d
output size in bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
skimo
be careful a
b
out what t
o
n
e
g
a
te
commit
|
commitdiff
|
tree
2004-09-04
s
k
i
m
o
some vector partition examples
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid
gccisms
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
include string nee
d
f
or memcp
y
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
a
v
oid gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++ linking i
n
ste
a
d o
f
linking in
libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
f
orce
install
a
tion
o
f (possi
b
ly) n
e
w
v
ersion
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
check for g
e
topt
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
move "consta
n
t"
c
onstant
pa
r
t
o
utside
of frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
small m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
p
i
p if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for piplib
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
convert to lookup-table i
f
requ
e
sted
commit
|
commitdiff
|
tree
2004-08-29
skimo
test program
for
p
i
p suppor
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
dd support
f
or computing
t
he lexicographical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
lso loo
k
at denominator of t
h
e constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
mor
e
part
i
al ray
r
emoval (largely
u
nte
s
ted
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/v
d
/v
e
rtices
/
commit
|
commitdiff
|
tree
2004-08-23
skimo
c
h
ec
k
tha
t
polyl
i
b is recent eno
u
gh to co
r
r
e
c
tly
compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
add t12
.
in e
s
um
.
in
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
new
t
ests from po
l
ylib
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
pe
r
form correct
per
i
odic
n
u
mber lo
o
kup fo
r
negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skim
o
more info
commit
|
commitdiff
|
tree
2004-08-14
skim
o
typo
commit
|
commitdiff
|
tree
2004-08-14
s
k
i
mo
co
r
re
c
t
test for mpz_
d
ivisible_p
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
r
epeat wo
r
karou
n
d in loop
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
older gmps
s
eem to have p
r
o
bl
e
ms with
a strin
g
constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
support older gmp versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
r
emove code duplication
commit
|
commitdiff
|
tree
2004-08-09
skim
o
extract out common c
o
de
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out code
to
c
o
n
st
r
u
c
t
negative test constra
i
nt
commit
|
commitdiff
|
tree
2004-08-09
skimo
code re
u
s
e
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more unh
a
ndled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify
s
ome co
d
e
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
rem
o
ve re
d
undant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow any number of part
s
in enume
r
ate_or
commit
|
commitdiff
|
tree
next