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
install headers
2004-03-28
skimo
insta
l
l
headers
commit
|
commitdiff
|
tree
2004-03-28
s
ki
m
o
part
i
al
i
mplem
e
ntation of "ma
s
k
"
o
pe
r
ation
commit
|
commitdiff
|
tree
2004-03-28
skimo
i
nclude a
p
propriat
e
head
e
r
commit
|
commitdiff
|
tree
2004-03-28
skimo
comply with C st
a
nd
a
r
d
:-
)
commit
|
commitdiff
|
tree
2004-03-28
s
k
i
m
o
export
_ev v
e
r
s
ion
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump
v
ers
i
on
commit
|
commitdiff
|
tree
2004-02-28
s
kim
o
regres
s
ion t
e
sts
commit
|
commitdiff
|
tree
2004-02-28
s
kimo
D
r
.
Egon Spengler: There's something very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
bump
v
ers
i
on
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
update Change
L
og
commit
|
commitdiff
|
tree
2004-02-22
skimo
avo
i
d namespace
p
olluti
o
n
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid sub validity domains
commit
|
commitdiff
|
tree
2004-02-22
skimo
Domain
I
nclu
d
e
s
commit
|
commitdiff
|
tree
2004-02-22
skimo
Po
s
tpone m
u
ltipli
c
ation
with "f
a
ctor"
t
o handle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
actually perfo
r
m modulo
when con
v
erting to tables
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
extend 1D
special-casing to multiple lower/u
p
p
er bou
n
ds
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
e
m
o
r
y l
e
aks
commit
|
commitdiff
|
tree
2004-02-15
skimo
support emul for partitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't assume
factor is a constant
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
d
o
n't modify d parameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
add pointer to polylib
commit
|
commitdiff
|
tree
2004-02-15
skimo
Su
p
port redu
c
t
i
on
for n
o
n-modulo b
y
temporarily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
mo
d
ulo
to
t
ab
l
e c
o
nversion
commit
|
commitdiff
|
tree
2004-02-15
skimo
anothe
r
memory leak
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
ano
t
her memo
r
y leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
experimental "unfringe" code
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
mo
type
commit
|
commitdiff
|
tree
2004-02-06
sk
i
m
o
fix
deco
m
positio
n
test a
n
d add polarized
d
e
c
o
m
p
o
s
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
eli
m
i
n
ate a
v
ari
a
ble if we
c
an (not teste
d
)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oops; we need
q
uotie
n
t
rather tha
n
remai
n
der
commit
|
commitdiff
|
tree
2004-01-25
skimo
ha
n
dle equalities
commit
|
commitdiff
|
tree
2004-01-25
ski
m
o
Handle ONE_
N
EG for
a
n
y position
o
f the variable correctly
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
Handle
ONE_N
E
G for an
y
posit
i
on of
the variable
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Only
use
ind
e
pendent bounds to co
n
struct the one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
T
ru
l
y pa
r
tition v
a
lidity domai
n
s
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
copy in_domain from
polylib
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
S
pecial case
"infinite" pol
y
topes, i
.
e
.
, thos
e
with
commit
|
commitdiff
|
tree
2004-01-25
skimo
I
n
i
tial implement
a
tion
of
b
arv
i
nok_e
n
umerate_e
.
commit
|
commitdiff
|
tree
2004-01-23
skim
o
Don't use modulo i
f
qu
o
tient
i
s the same
o
v
e
r the whole
commit
|
commitdiff
|
tree
2004-01-22
skimo
remo
v
e
no
t
e to self
commit
|
commitdiff
|
tree
2004-01-22
sk
i
mo
supp
o
r
t
a
d
d for p
a
r
titions
commit
|
commitdiff
|
tree
2004-01-21
skimo
remove debug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
sk
i
mo
support f
r
e
e
a
n
d dummy add for partitions
commit
|
commitdiff
|
tree
2004-01-21
s
kimo
supp
o
r
t
pr
i
n
ting for partitions
commit
|
commitdiff
|
tree
2004-01-20
skimo
C
a
lculate
c
ount as a partition and convert to Enumeration
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
d
ef
i
ne partit
i
on
t
ype
commit
|
commitdiff
|
tree
2004-01-20
skimo
P
ar
t
ial implementation of pa
r
am
e
tric poly
h
edral re
d
ucti
o
n
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s
/
indicator/r
e
lat
i
on/
commit
|
commitdiff
|
tree
2004-01-16
skimo
simplify Polyhedro
n
_Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
skimo
change com
m
ent abou
t
m
o
dulo rep
commit
|
commitdiff
|
tree
2004-01-13
skimo
a
dd te
s
ts/
e
hrhart/equ
a
l5
commit
|
commitdiff
|
tree
2004-01-13
s
k
i
mo
bump v
e
rsion
commit
|
commitdiff
|
tree
2004-01-13
ski
m
o
use i
n
dicator functions to mask when
using modulo expressions
commit
|
commitdiff
|
tree
2004-01-13
skimo
part
i
al "in
d
icator functio
n
"
support
commit
|
commitdiff
|
tree
2004-01-12
sk
i
m
o
a
d
d comm
e
nt on factor parameter
commit
|
commitdiff
|
tree
2004-01-12
skimo
add
c
onstant in
mu
l
ti
_
monom
commit
|
commitdiff
|
tree
2004-01-12
skimo
f
ree argument of modu
l
o when
r
e
ducing strength
commit
|
commitdiff
|
tree
2004-01-12
skimo
re
m
ove t
y
po introduc
e
d by previous patch
commit
|
commitdiff
|
tree
2004-01-12
s
kimo
fi
x
memleak in
red
u
ce_evalu
e
commit
|
commitdiff
|
tree
2004-01-12
skimo
remove a few memo
r
y leaks
commit
|
commitdiff
|
tree
2004-01-11
s
k
i
mo
silly opt
i
mization fo
r
special case
o
f
mod 2
commit
|
commitdiff
|
tree
2004-01-11
s
ki
m
o
h
andle sum of modulo polynomials of different size
commit
|
commitdiff
|
tree
2004-01-09
ski
m
o
add warning about modulo representation
commit
|
commitdiff
|
tree
2004-01-09
skimo
avoi
d
warnings
commit
|
commitdiff
|
tree
2004-01-09
skim
o
bump version
commit
|
commitdiff
|
tree
2003-12-25
skimo
mak
e
use o
f
modulo configur
a
b
le
commit
|
commitdiff
|
tree
2003-12-23
skimo
support for mod
u
lo calculations
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick up modified vers
i
ons
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
don't cons
t
ru
c
t zero term
commit
|
commitdiff
|
tree
2003-12-23
s
k
imo
pick up
m
odif
i
ed versions
commit
|
commitdiff
|
tree
2003-12-23
skimo
be caref
u
ll
about rou
n
d
i
ng and mod
u
lo
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't "r
e
position" modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
extend
c
ompute_en
o
d
e for modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
copied fro
m
polyli
b
commit
|
commitdiff
|
tree
2003-12-23
skimo
compare
a
rgument for mod
u
l
o
t
ype
commit
|
commitdiff
|
tree
2003-12-23
skimo
m
ore canonicali
z
atio
n
commit
|
commitdiff
|
tree
2003-12-22
skimo
small clea
n
-up
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
a
dd periodics "ca
n
on
i
cally"
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
add poly
n
omials "c
a
nonicall
y
"
commit
|
commitdiff
|
tree
2003-12-22
skimo
small
s
i
m
p
l
iciation
commit
|
commitdiff
|
tree
2003-12-22
skimo
reduce supp
o
rt for modu
l
o
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
eadd and emul su
p
port for modulo
commit
|
commitdiff
|
tree
2003-12-22
skim
o
support printi
n
g of modul
o
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
ad
d
"modulo"
t
ype
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "copy constructor"
commit
|
commitdiff
|
tree
2003-12-22
sk
i
m
o
c
opy some prin
t
ing fu
n
cs
from
p
olylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
fix typo in
c
om
m
ent
commit
|
commitdiff
|
tree
2003-12-22
skimo
co
p
y some
def
s
/funs from polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
i
nclude ev
_
op
e
rations bef
o
re barv
i
nok
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
small clean-ups
commit
|
commitdiff
|
tree
2003-12-22
skim
o
remove us
e
o
f
ehrhartpolynom
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
remove
params
commit
|
commitdiff
|
tree
2003-12-22
skimo
conv
e
r term
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert term_info
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert multi_polyno
m
commit
|
commitdiff
|
tree
2003-12-22
skimo
"convert
"
c
o
ns
t
a
n
t
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
convert uni_polyno
m
commit
|
commitdiff
|
tree
2003-12-22
skim
o
new "co
n
structor"
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
free factor
commit
|
commitdiff
|
tree
next