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
comply with C standard :-)
2004-03-28
s
k
imo
comp
l
y w
i
th C standard :-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
export _ev
v
e
r
s
i
on
commit
|
commitdiff
|
tree
2004-02-29
skimo
b
ump ve
r
sion
commit
|
commitdiff
|
tree
2004-02-28
skimo
regressio
n
tests
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
E
g
on Spengl
e
r:
The
r
e
'
s so
m
e
t
hing very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
bump
version
commit
|
commitdiff
|
tree
2004-02-22
skim
o
updat
e
C
hangeLog
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid namespace
pollution
commit
|
commitdiff
|
tree
2004-02-22
s
k
i
mo
avoid s
u
b
validity
d
omains
commit
|
commitdiff
|
tree
2004-02-22
skimo
DomainIn
c
lud
e
s
commit
|
commitdiff
|
tree
2004-02-22
skimo
P
o
st
p
o
n
e
mult
i
p
l
ication with "factor"
to handle t
h
e
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
actually perform modulo
w
hen converting to t
a
ble
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
extend 1
D
sp
e
cial-casi
n
g
to multipl
e
lower/upper bounds
commit
|
commitdiff
|
tree
2004-02-15
skim
o
memory leaks
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
support
emul
f
or partitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't assume factor is a cons
t
ant
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
don't modify
d p
a
rameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
add
p
ointer
to
p
o
lyli
b
commit
|
commitdiff
|
tree
2004-02-15
skimo
Support red
u
ction for non
-
modulo by te
m
p
o
rarily
using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
modulo to table convers
i
on
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
a
n
other memory leak
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
an
o
t
her
me
m
ory le
a
k
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
m
e
mory
leak
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
experim
e
n
t
al
"
un
f
ringe" code
commit
|
commitdiff
|
tree
2004-02-15
skimo
type
commit
|
commitdiff
|
tree
2004-02-06
ski
m
o
f
i
x de
c
om
p
os
i
tion test and add polarized decompo
s
tion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
s
k
imo
eli
m
ina
t
e
a var
i
able if we
c
an (n
o
t tested)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oops; w
e
need quot
i
ent rather than remainder
commit
|
commitdiff
|
tree
2004-01-25
skimo
ha
n
dle eq
u
al
i
ties
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle
ONE_NEG for a
n
y pos
i
tion of
the v
a
riable correctly
commit
|
commitdiff
|
tree
2004-01-25
skimo
H
a
ndle
ONE_NEG for any posi
t
ion
o
f the va
r
iable
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
O
nly use independent bounds to
c
o
n
s
t
r
uct the one_d
e
p
.
commit
|
commitdiff
|
tree
2004-01-25
ski
m
o
Truly partition validity domains
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
copy in_domain
fr
o
m polyl
i
b
commit
|
commitdiff
|
tree
2004-01-25
skimo
Special case "i
n
fin
i
te"
poly
t
o
pes, i
.
e
.
, th
o
se w
i
th
commit
|
commitdiff
|
tree
2004-01-25
skimo
Initial impleme
n
t
a
t
i
on of
b
arvinok_
e
num
e
rate_
e
.
commit
|
commitdiff
|
tree
2004-01-23
skim
o
Don't use
m
od
u
lo
i
f quotien
t
i
s the sa
m
e
over th
e
whole
commit
|
commitdiff
|
tree
2004-01-22
skimo
remov
e
note to self
commit
|
commitdiff
|
tree
2004-01-22
s
kimo
s
u
pport a
d
d
for part
i
t
i
ons
commit
|
commitdiff
|
tree
2004-01-21
s
kimo
remo
v
e d
e
bug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
s
k
i
mo
support free and
d
u
mmy add for
p
artit
i
ons
commit
|
commitdiff
|
tree
2004-01-21
skimo
support
p
rinting f
o
r
partitions
commit
|
commitdiff
|
tree
2004-01-20
ski
m
o
Calculate count
as
a
partition an
d
convert to Enumeration
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skim
o
define p
a
r
tition
t
ype
commit
|
commitdiff
|
tree
2004-01-20
s
k
imo
P
a
r
tial i
m
pleme
n
tation of parametric polyh
e
dral reductio
n
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s
/
indicator/relation/
commit
|
commitdiff
|
tree
2004-01-16
skimo
simplify
Pol
y
h
e
dron_Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
skim
o
c
hange comment about modulo rep
commit
|
commitdiff
|
tree
2004-01-13
skimo
add tests/ehr
h
art/eq
u
al
5
commit
|
commitdiff
|
tree
2004-01-13
skimo
bum
p
version
commit
|
commitdiff
|
tree
2004-01-13
sk
i
mo
use indicator
f
u
nctions to mask when using modul
o
expressi
o
ns
commit
|
commitdiff
|
tree
2004-01-13
skimo
partial "indicator functio
n
"
support
commit
|
commitdiff
|
tree
2004-01-12
s
kimo
add
comment
o
n factor
p
arame
t
er
commit
|
commitdiff
|
tree
2004-01-12
skimo
add consta
n
t in m
u
lti_monom
commit
|
commitdiff
|
tree
2004-01-12
skimo
free argument of
m
odu
l
o when red
u
cin
g
strength
commit
|
commitdiff
|
tree
2004-01-12
skimo
remove typo in
t
r
oduced
b
y previous patch
commit
|
commitdiff
|
tree
2004-01-12
skimo
fix me
m
leak in r
e
duce
_
evalue
commit
|
commitdiff
|
tree
2004-01-12
skimo
remov
e
a few memory leaks
commit
|
commitdiff
|
tree
2004-01-11
skimo
silly optim
i
zation
f
or s
p
ecial cas
e
of
m
od 2
commit
|
commitdiff
|
tree
2004-01-11
ski
m
o
handle sum of modulo polynom
i
als of different size
commit
|
commitdiff
|
tree
2004-01-09
skimo
add
warnin
g
a
b
o
u
t
mo
d
u
lo
represe
n
tation
commit
|
commitdiff
|
tree
2004-01-09
skimo
a
void warnings
commit
|
commitdiff
|
tree
2004-01-09
s
k
imo
bump version
commit
|
commitdiff
|
tree
2003-12-25
ski
m
o
make use
of m
o
dulo configurable
commit
|
commitdiff
|
tree
2003-12-23
skimo
s
upp
o
rt for modu
l
o cal
c
ulations
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick
u
p
modifie
d
version
s
commit
|
commitdiff
|
tree
2003-12-23
skimo
don'
t
cons
t
ruc
t
z
e
ro term
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
pick up m
o
dified ver
s
ions
commit
|
commitdiff
|
tree
2003-12-23
skimo
be c
a
r
efull about roundi
n
g
and mo
d
u
l
o
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
don't "repo
s
itio
n
" modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
extend compute_enod
e
fo
r
m
odulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
copied from p
o
lylib
commit
|
commitdiff
|
tree
2003-12-23
sk
i
m
o
compare
a
rgument
f
or modulo
t
ype
commit
|
commitdiff
|
tree
2003-12-23
skimo
more canonicalization
commit
|
commitdiff
|
tree
2003-12-22
skimo
s
mall
clean-up
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
add pe
r
iodics "canonically
"
commit
|
commitdiff
|
tree
2003-12-22
skim
o
add polynomials "
c
anonically"
commit
|
commitdiff
|
tree
2003-12-22
skim
o
s
mall simpliciatio
n
commit
|
commitdiff
|
tree
2003-12-22
skimo
reduce sup
p
ort for mod
u
lo
commit
|
commitdiff
|
tree
2003-12-22
skimo
eadd and emul su
p
p
o
r
t fo
r
mod
u
lo
commit
|
commitdiff
|
tree
2003-12-22
sk
i
m
o
support printing o
f
mod
u
lo
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
d
d "
m
odulo
"
type
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
add "copy constru
c
t
o
r"
commit
|
commitdiff
|
tree
2003-12-22
s
k
im
o
copy some print
i
ng funcs from
polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
fix typo
i
n comment
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy s
o
m
e defs/funs from polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
include ev_operations before barvinok
commit
|
commitdiff
|
tree
2003-12-22
skimo
sm
a
ll clean-
u
ps
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
m
o
remove
u
se of eh
r
hartpolynom
commit
|
commitdiff
|
tree
2003-12-22
sk
i
m
o
remove params
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
con
v
er term
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert
term_info
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert multi_p
o
lynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
"conve
r
t
" consta
n
t
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert
uni_
p
olynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
new
"
constructor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
fre
e
factor
commit
|
commitdiff
|
tree
2003-12-22
skimo
us
e
a
d
deliminatedparams_evalue
commit
|
commitdiff
|
tree
2003-12-22
skimo
copied
f
rom polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
re
m
ov
e
unn
e
eded argu
m
en
t
commit
|
commitdiff
|
tree
next