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
send debug output to stderr in (unused) unfringe
2004-07-30
skimo
send
debug output to stder
r
in (unused
)
unfringe
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
make debuggin easier by keep
i
ng
t
r
ac
k
of recur
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract ou
t
ro
u
tine
t
o
a
lign constraint along a l
i
nea
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If
one of t
h
e
hyperplanes ha
s
to be
indepen
d
ent a
s
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
Ensu
r
e
t
h
at first variable
is made negat
i
ve inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
Ensure that spl
i
tting will re
d
uc
e
th
e
numb
e
r of existential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract
o
ut handling of multiple val
i
d
ity
d
omains
commit
|
commitdiff
|
tree
2004-07-29
skimo
E
xtra c
h
eck t
h
at is
p
robably no
t
needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle comp
o
sed validity domains
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
reduce
a
fter su
m
mation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't
c
reate empty par
t
i
t
ions
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
allow evalua
t
ion of
floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform (trivial) re
d
uction on f
l
o
orin
g
s
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
make reorder_terms wo
r
k
f
or
floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct c
h
ec
k
for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be
mo
r
e
strict when compari
n
g two rationals
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
h
a
ndl
e
c
ase of all empty validity
d
o
mains
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polynomials in
"
re
a
l" para
m
eters
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle negat
i
ve value
s
of s
u
mme
d
variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check
w
hethe
r
POLYTOPE_PREFIX is actual
l
y set
commit
|
commitdiff
|
tree
2004-07-20
skimo
fl
o
or conv
e
rs
i
on and pa
r
t
ial implementation of esum
commit
|
commitdiff
|
tree
2004-07-20
s
k
i
mo
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
min
o
r reordering of
c
ode
commit
|
commitdiff
|
tree
2004-07-19
skimo
spl
i
t off more com
m
on code
commit
|
commitdiff
|
tree
2004-07-19
skimo
reve
r
t change commited b
y
accident
commit
|
commitdiff
|
tree
2004-07-19
s
kim
o
add collect_p
o
lytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recur
s
e into t
h
e correct versio
n
of count_po
i
nts
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
"or
"
-s
p
li
t
for ca
s
e with only existen
t
ia
l
variabl
e
s
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
a
l
l
ow split on ot
h
er than fir
s
t ex
i
stent
i
al
v
ariable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extr
a
ct o
u
t c
o
de
to
s
p
lit on
a
c
onstraint
commit
|
commitdiff
|
tree
2004-07-17
skim
o
"existen
t
ial" version of
verif_eh
r
hart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide evalue to e
n
u
m
eration c
o
nversion
commit
|
commitdiff
|
tree
2004-07-17
skimo
ada
p
t to deal with
exis
t
ent
i
a
l
var
i
abl
e
s
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied from ehrhart
.
c from Polylib
d
istribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle trivial case of only exis
t
ential variables
commit
|
commitdiff
|
tree
2004-07-14
s
k
imo
It should
b
e suffici
e
nt tha
t
one of the bounds
is
indep
e
nde
n
t
commit
|
commitdiff
|
tree
2004-07-14
s
kimo
d
on't count storage space for the
r
ays
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
bump version
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix
u
p changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version
s
ome
mo
r
e si
n
ce we changed
the i
n
te
r
face
commit
|
commitdiff
|
tree
2004-07-06
skimo
t
urn of debug
g
ing
messages
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
update
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
brie
f
description of the
i
n
p
ut
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace mo
d
ulo
b
y fraction
a
l
commit
|
commitdiff
|
tree
2004-07-06
skimo
rem
o
ve empty partitions in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
more
m
emory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memor
y
l
e
ak
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
p
o
t
ential memo
r
y
leak
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
(
p
otenti
a
l)
m
emory
l
e
aks
commit
|
commitdiff
|
tree
2004-07-06
skimo
pr
i
n
t
m
o
re in
f
o
commit
|
commitdiff
|
tree
2004-07-05
sk
i
mo
preload
library to count the number of validity domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
emory
leak
commit
|
commitdiff
|
tree
2004-06-26
skim
o
Us
e
fu
n
c
tion for copying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skim
o
order pe
r
iodics in mu
l
tipli
c
ation as
well
commit
|
commitdiff
|
tree
2004-06-26
skim
o
copy value before freei
n
g
commit
|
commitdiff
|
tree
2004-06-26
skimo
r
egression
t
est
commit
|
commitdiff
|
tree
2004-06-26
skimo
h
a
n
d
le case w
h
ere polytope ha
s
no
"
r
e
al"
dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
ski
m
o
U
s
e smalles
t
representative in abs
o
lute val
u
e
ra
t
h
er
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debugging
o
utput to
evaluate the usefulness of se
v
e
ral
commit
|
commitdiff
|
tree
2004-06-25
s
kimo
Add constrai
n
t if express
i
on is only int
e
ger
f
or a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform
r
ange reduct
i
on on condition
o
f relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully pr
o
pagate reorder
i
ng
commit
|
commitdiff
|
tree
2004-06-24
skimo
p
artially p
r
opagate reordering and reduce in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
re
m
o
ve commen
t
commit
|
commitdiff
|
tree
2004-06-24
skimo
R
a
nge redu
c
tion and som
e
aux
i
liary functions
.
commit
|
commitdiff
|
tree
2004-06-24
skim
o
Invert a fr
a
cti
o
n
al if lead
i
ng coeffic
i
ent becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
remove
de
b
u
ggin
g
output
commit
|
commitdiff
|
tree
2004-06-24
skimo
Remove invalid
me
m
ory access
.
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
recom
p
ute
domains
commit
|
commitdiff
|
tree
2004-06-23
skim
o
compute si
z
e of all subdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivial recom
b
ination
commit
|
commitdiff
|
tree
2004-06-23
skimo
al
s
o in
v
ert w
h
en consta
n
t is half
t
h
e modulo, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
A
l
low more fracitonal s
u
bstitution
s
,
i
n
part
i
cular
commit
|
commitdiff
|
tree
2004-06-23
skimo
sea
r
ch for pair
of fr
a
ctionals that can
(op
t
i
mally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
alwa
y
s provide subst structure (
e
ven
if
e
mpt
y
)
commit
|
commitdiff
|
tree
2004-06-22
skim
o
avoi
d
i
nfinite
loop cau
s
ed by
split
t
ing off nothing
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove relation
i
f
b
r
anches are identi
c
al
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove reduced rel
a
t
i
ons
commit
|
commitdiff
|
tree
2004-06-21
skimo
re
p
la
c
e { E/m } by { (E-1)/m } + 1/m if { E
/
m } != 0
commit
|
commitdiff
|
tree
2004-06-21
skim
o
numerator can never be negative inside fractional
commit
|
commitdiff
|
tree
2004-06-21
skimo
optionally print "
s
ize
"
of enumera
t
ion
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumeration_s
i
ze
commit
|
commitdiff
|
tree
2004-06-21
sk
i
mo
export
d
o
main_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
reduce after conversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
t
r
anslate relation as well
commit
|
commitdiff
|
tree
2004-06-20
skimo
use c
o
n
v
e
x
hull for equalities to use in reductio
n
commit
|
commitdiff
|
tree
2004-06-20
skimo
re
o
rder terms if needed after reduction
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
remove code mad
e
r
e
dundant
by
s
witch t
o
fractiona
l
commit
|
commitdiff
|
tree
2004-06-20
sk
i
m
o
convert from modulo to fra
c
tion
a
l
commit
|
commitdiff
|
tree
2004-06-16
ski
m
o
inform
calling procedur
e
whether
a new ent
r
y
was added
commit
|
commitdiff
|
tree
2004-06-16
s
k
i
mo
real
l
ocate
s
ubstitutions
array
i
f necessary
commit
|
commitdiff
|
tree
2004-06-15
s
k
imo
m
ultiply modulo argument if th
i
s can help to elimina
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
a
l
so
u
se equivalence
s
i
nside
m
odulo ex
p
re
s
sions
commit
|
commitdiff
|
tree
2004-06-15
skimo
all
o
w fractio
n
a
l
substitutions outside mo
d
ul
o
(not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Partial
evalu
a
tio
n
c
o
uld in p
r
inciple lead to further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
reduce
c
onstants i
n
side
modul
o
commit
|
commitdiff
|
tree
next