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
bump version
2004-02-22
s
k
imo
b
u
m
p
v
e
rsion
commit
|
commitdiff
|
tree
2004-02-22
skimo
update ChangeLo
g
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid namespace polluti
o
n
commit
|
commitdiff
|
tree
2004-02-22
skimo
a
v
oid sub validity domains
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
DomainIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
P
o
stpone m
u
l
t
iplication with "fa
c
tor" to ha
n
dle th
e
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
actually perform
m
odu
l
o wh
e
n
c
onve
r
t
ing to
tabl
e
s
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
exte
n
d
1
D special-casin
g
to multipl
e
lower/upper bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory leaks
commit
|
commitdiff
|
tree
2004-02-15
skimo
support e
m
ul for
par
t
i
t
ions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't assume facto
r
is a
c
ons
t
a
n
t
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't
m
od
i
fy
d p
a
rameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
add pointer t
o
p
o
lylib
commit
|
commitdiff
|
tree
2004-02-15
skimo
Su
p
port reduc
t
ion
f
o
r
n
o
n-modulo by temporarily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
o
dulo to table conv
e
rsion
commit
|
commitdiff
|
tree
2004-02-15
skimo
another memor
y
leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
another memor
y
leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
expe
r
i
mental "unf
r
inge" c
o
de
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
type
commit
|
commitdiff
|
tree
2004-02-06
s
kimo
fix
d
e
composition
t
est
a
n
d ad
d
p
o
larized decom
p
ostion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
sk
i
mo
elimi
n
at
e
a variable
i
f we
c
an (not tested)
commit
|
commitdiff
|
tree
2004-01-26
skimo
o
o
p
s
; we need quotient rather th
a
n remainder
commit
|
commitdiff
|
tree
2004-01-25
skimo
handle equalit
i
es
commit
|
commitdiff
|
tree
2004-01-25
s
k
im
o
Ha
n
dle ONE_NEG for any position of the variable c
o
rrectly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle
O
N
E_NEG f
o
r an
y
position of the variable
.
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
On
l
y us
e
inde
p
e
ndent bounds to construct the one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Truly partition validity domai
n
s
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
co
p
y
in_do
m
ain fro
m
polylib
commit
|
commitdiff
|
tree
2004-01-25
s
kimo
S
p
ecial case "infinite" polyt
o
pes, i
.
e
.
, th
o
se
with
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Initia
l
implementation
o
f barvi
n
ok
_
e
numerate_
e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
Don't us
e
modulo if quo
t
ient is
t
he same
o
ver
t
he whole
commit
|
commitdiff
|
tree
2004-01-22
s
kimo
rem
o
ve note
t
o sel
f
commit
|
commitdiff
|
tree
2004-01-22
skimo
supp
o
rt add for
parti
t
ions
commit
|
commitdiff
|
tree
2004-01-21
skimo
remove debug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
support f
r
ee and dummy add for pa
r
titions
commit
|
commitdiff
|
tree
2004-01-21
skimo
support printing for partitions
commit
|
commitdiff
|
tree
2004-01-20
skimo
Calculate count as a
partit
i
on and con
v
e
r
t to Enumeration
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
s
kimo
d
efine partitio
n
type
commit
|
commitdiff
|
tree
2004-01-20
sk
i
m
o
Partial im
p
lementa
t
ion of parametric
polyhedral reduction
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/indicator/relation
/
commit
|
commitdiff
|
tree
2004-01-16
skimo
simpli
f
y Polyh
e
dron_Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
skimo
chan
g
e comment about modulo
r
e
p
commit
|
commitdiff
|
tree
2004-01-13
skimo
add
t
ests/ehrhar
t
/equal5
commit
|
commitdiff
|
tree
2004-01-13
skimo
bump version
commit
|
commitdiff
|
tree
2004-01-13
skimo
use indic
a
tor f
u
nctions to mask
w
hen using modulo ex
p
ressions
commit
|
commitdiff
|
tree
2004-01-13
skimo
p
artial "indicator fun
c
tion" support
commit
|
commitdiff
|
tree
2004-01-12
skimo
add comment o
n
factor parameter
commit
|
commitdiff
|
tree
2004-01-12
s
k
i
m
o
add cons
t
ant in mu
l
ti_mono
m
commit
|
commitdiff
|
tree
2004-01-12
skimo
free argum
e
nt of modulo whe
n
r
ed
u
cing
strength
commit
|
commitdiff
|
tree
2004-01-12
skimo
re
m
ove ty
p
o introdu
c
ed
by previous p
a
tch
commit
|
commitdiff
|
tree
2004-01-12
skimo
fix memleak in r
e
duce_evalue
commit
|
commitdiff
|
tree
2004-01-12
skimo
rem
o
ve a few memory leaks
commit
|
commitdiff
|
tree
2004-01-11
skimo
silly opt
i
mization for special cas
e
of mod 2
commit
|
commitdiff
|
tree
2004-01-11
skimo
handle sum
o
f m
o
dulo polyno
m
ials of diff
e
rent
s
i
ze
commit
|
commitdiff
|
tree
2004-01-09
s
k
imo
add wa
r
ning about modulo representat
i
on
commit
|
commitdiff
|
tree
2004-01-09
skimo
a
v
oid warnings
commit
|
commitdiff
|
tree
2004-01-09
s
kimo
bump v
e
rsi
o
n
commit
|
commitdiff
|
tree
2003-12-25
skimo
make us
e
of modulo configu
r
a
ble
commit
|
commitdiff
|
tree
2003-12-23
skimo
support for mo
d
u
l
o c
a
lculations
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick u
p
modified version
s
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
don't
cons
t
r
uct zero
t
er
m
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
p
ick up
m
odified
version
s
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
be c
a
ref
u
ll about r
o
u
n
ding and mod
u
lo
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
d
o
n't "re
p
o
s
ition" modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
exte
n
d com
p
u
te_enode fo
r
modu
l
o
commit
|
commitdiff
|
tree
2003-12-23
skimo
c
op
i
ed from
p
olylib
commit
|
commitdiff
|
tree
2003-12-23
skim
o
comp
a
r
e argument for m
o
dulo type
commit
|
commitdiff
|
tree
2003-12-23
s
k
i
mo
more canonicalization
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
sm
a
ll
c
le
a
n-
u
p
commit
|
commitdiff
|
tree
2003-12-22
skimo
add perio
d
ics "
c
anonically"
commit
|
commitdiff
|
tree
2003-12-22
skimo
add
p
olynomials "c
a
nonica
l
ly"
commit
|
commitdiff
|
tree
2003-12-22
s
ki
m
o
sma
l
l simplici
a
ti
o
n
commit
|
commitdiff
|
tree
2003-12-22
skimo
red
u
ce
supp
o
rt f
o
r modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
ead
d
a
n
d emul support for
m
odulo
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
support print
i
n
g
o
f modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "
m
odul
o
"
typ
e
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
add "copy const
r
u
c
t
or"
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
copy some printing f
u
n
c
s
from polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
fix typo in comment
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
c
o
py som
e
defs/funs from
p
olylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
incl
u
de ev_operations before b
a
rvinok
commit
|
commitdiff
|
tree
2003-12-22
skimo
small cle
a
n-u
p
s
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove u
s
e
of
e
hrhart
p
olyn
o
m
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove params
commit
|
commitdiff
|
tree
2003-12-22
skimo
conver
term
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
c
o
nv
e
rt
term_info
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
m
o
convert multi_pol
y
nom
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
"co
n
vert" constant
commit
|
commitdiff
|
tree
2003-12-22
skimo
con
v
ert
uni_polynom
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
new "co
n
s
t
r
uctor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
f
r
ee f
a
ct
o
r
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
use addeliminatedparams_evalue
commit
|
commitdiff
|
tree
2003-12-22
skimo
cop
i
ed from poly
l
ib
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
remove unne
e
ded argument
commit
|
commitdiff
|
tree
2003-12-22
skim
o
convert
f
a
ctor to e
v
a
lue
commit
|
commitdiff
|
tree
2003-12-22
skimo
int const
r
u
c
tor
commit
|
commitdiff
|
tree
2003-12-20
skimo
Keep th
e
equations that Polyhe
d
ron2Param_Simpl
i
fi
e
dDo
m
ain
commit
|
commitdiff
|
tree
2003-12-17
skim
o
check number of a
r
g
uments of c
o
unt_po
i
nts
commit
|
commitdiff
|
tree
2003-12-17
skimo
c
h
eck number of
a
r
g
uments of Polyhedron_En
u
merate
commit
|
commitdiff
|
tree
next