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
don't make numerator power positive + merge loops
2004-07-30
skimo
unused routine for
removing double bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debug output to std
e
rr in (unused) un
f
ringe
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
ma
k
e debuggi
n
e
a
sier by
k
eeping
t
rack o
f
recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extr
a
ct
out rout
i
n
e
to
align constraint
alo
n
g
a
linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one o
f
th
e
hyper
p
lanes ha
s
to
b
e
indepe
n
dent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that
f
irs
t
variable is m
a
de ne
g
at
i
v
e insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
Ensure th
a
t
s
plitting will reduce
t
he numb
e
r of
existent
i
al
commit
|
commitdiff
|
tree
2004-07-30
skimo
ab
s
tract out h
a
ndling
of multiple
v
al
i
dity dom
a
ins
commit
|
commitdiff
|
tree
2004-07-29
skimo
Ext
r
a che
c
k that is prob
a
bly
n
ot
n
eeded
commit
|
commitdiff
|
tree
2004-07-29
skim
o
handle compose
d
val
i
dity
domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce aft
e
r sum
m
ation
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
don't create empty partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluation of floorings
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
per
f
orm (triv
i
a
l
) reduction on floorings
commit
|
commitdiff
|
tree
2004-07-29
s
k
im
o
make reorde
r
_terms work for fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
skimo
cor
r
ect check for
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
b
e
more strict when comparing two
ra
t
ion
a
ls
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
typo in comme
n
t
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
handle case of
all empt
y
v
a
l
i
dity domains
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
support
pol
y
nomials in "real"
par
a
meters
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle negative values of sum
m
ed variable
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
check whethe
r
P
O
L
Y
T
OPE_PR
E
FIX is actually set
commit
|
commitdiff
|
tree
2004-07-20
skimo
fl
o
or c
o
n
v
er
s
ion and part
i
al im
p
lementation of
esum
commit
|
commitdiff
|
tree
2004-07-20
s
k
i
mo
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
m
ino
r
reordering
o
f
code
commit
|
commitdiff
|
tree
2004-07-19
skimo
split off more common
code
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert c
h
ange commited
b
y accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add c
o
llect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
rec
u
r
s
e into the
cor
r
ect versio
n
of count_po
i
n
t
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-spli
t
f
or case with only existentia
l
v
a
r
iables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split
o
n other th
a
n first existential va
r
i
a
ble
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
extract out code to split o
n
a cons
t
ra
i
nt
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existe
n
ti
a
l" version of verif_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
p
rovide eval
u
e to
enum
e
ratio
n
convers
i
o
n
commit
|
commitdiff
|
tree
2004-07-17
skim
o
adapt to deal with
existential var
i
ables
commit
|
commitdiff
|
tree
2004-07-16
s
k
imo
copied from ehrhart
.
c
f
r
om Polyl
i
b di
s
t
ribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle trivial
case of only ex
i
stential variable
s
commit
|
commitdiff
|
tree
2004-07-14
ski
m
o
It sh
o
u
l
d
be
s
u
f
ficient
t
hat one of the boun
d
s is i
n
dependent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't c
o
unt storage space
f
o
r
the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump versi
o
n
commit
|
commitdiff
|
tree
2004-07-06
skimo
f
ix u
p
changelog
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
bump ve
r
sion
s
ome more since we cha
n
ged th
e
interface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of
de
b
ugging messages
commit
|
commitdiff
|
tree
2004-07-06
skimo
u
pdate
commit
|
commitdiff
|
tree
2004-07-06
skimo
brie
f
descript
i
o
n
of the input
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace
modulo b
y
fracti
o
nal
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
remov
e
empty partition
s
in place
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
more m
e
mory lea
k
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
potential memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) memory
l
eaks
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
prin
t
m
ore
i
nfo
commit
|
commitdiff
|
tree
2004-07-05
ski
m
o
pre
l
oad library to count the number of
v
a
lidity domain
s
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
emo
r
y leak
commit
|
commitdiff
|
tree
2004-07-01
s
kim
o
memor
y
leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use function
f
o
r
copying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order periodi
c
s in multiplicat
i
on a
s
well
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
copy
value before
freein
g
commit
|
commitdiff
|
tree
2004-06-26
skimo
reg
r
essi
o
n
test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handle c
a
se
wh
e
re
polytope h
a
s
no "real" dimensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use small
e
st representative in
a
bso
l
ute valu
e
rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debugging output to evaluate the usefulne
s
s
of several
commit
|
commitdiff
|
tree
2004-06-25
sk
i
mo
Add co
n
s
t
raint if expression is only i
n
t
eger
f
or a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform range reducti
o
n on c
o
ndit
i
on
o
f r
e
lat
i
o
n
commit
|
commitdiff
|
tree
2004-06-25
s
k
i
mo
f
u
lly pro
p
agate reo
r
dering
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
partial
l
y pro
p
aga
t
e reordering and reduc
e
in case o
f
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
sk
i
m
o
rem
o
ve comment
commit
|
commitdiff
|
tree
2004-06-24
skimo
R
a
nge reduction and so
m
e
a
uxiliary
f
unctio
n
s
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
I
n
v
er
t
a f
r
act
i
onal if leading coefficient becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove debugging output
commit
|
commitdiff
|
tree
2004-06-24
sk
i
m
o
Remo
v
e i
n
va
l
id memory access
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recomput
e
domai
n
s
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
compute siz
e
of all subdomai
n
s
commit
|
commitdiff
|
tree
2004-06-23
skimo
t
r
ivial reco
m
b
ination
commit
|
commitdiff
|
tree
2004-06-23
skim
o
also inver
t
wh
e
n constant is half the modulo
,
sin
c
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
ki
m
o
Allow more
f
raci
t
on
a
l su
b
stit
u
tio
n
s
,
in particular
commit
|
commitdiff
|
tree
2004-06-23
sk
i
mo
sear
c
h
for pair
o
f fr
a
cti
o
n
a
ls that can (o
p
timally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
always provide
s
ubst
s
t
ructure (even if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid
infinite
l
oop caused by sp
l
itting o
f
f no
t
hing
commit
|
commitdiff
|
tree
2004-06-22
skimo
re
m
ove re
l
at
i
on if branc
h
es are
i
dentical
commit
|
commitdiff
|
tree
2004-06-22
s
k
imo
remove reduce
d
relati
o
ns
commit
|
commitdiff
|
tree
2004-06-21
ski
m
o
r
e
p
lace
{
E
/
m } by { (E-
1
)
/
m } +
1
/m i
f
{
E/m }
!= 0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numera
t
or can never b
e
negative inside fractiona
l
commit
|
commitdiff
|
tree
2004-06-21
s
k
i
m
o
optionally print "size" of enumer
a
ti
o
n
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumeratio
n
_si
z
e
commit
|
commitdiff
|
tree
2004-06-21
skimo
exp
o
rt dom
a
in
_
size
commit
|
commitdiff
|
tree
2004-06-21
skim
o
r
educe after conversi
o
n
commit
|
commitdiff
|
tree
2004-06-21
ski
m
o
tra
n
slate re
l
ation as well
commit
|
commitdiff
|
tree
2004-06-20
skimo
use
c
on
v
ex hull for eq
u
al
i
t
i
es to
u
se i
n
reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
reorder terms if nee
d
ed after reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
remo
v
e code m
a
de redundant by switch to fractional
commit
|
commitdiff
|
tree
2004-06-20
skim
o
co
n
vert fr
o
m mod
u
lo to fracti
o
nal
commit
|
commitdiff
|
tree
2004-06-16
skimo
inform call
i
ng proced
u
r
e
whether a new entry was
a
dde
d
commit
|
commitdiff
|
tree
2004-06-16
s
k
imo
reallocate substi
t
utions array if
n
ecessary
commit
|
commitdiff
|
tree
2004-06-15
skimo
multiply modu
l
o argu
m
ent if
this can help to eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
a
l
s
o
use e
q
u
ivalences inside
m
odulo
e
xpressions
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow
fr
a
ctional sub
s
titutions outside modulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Partial evaluation could in princip
l
e
l
ea
d
to f
u
rther
.
.
.
commit
|
commitdiff
|
tree
next