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
update ChangeLog
2004-02-22
s
k
imo
update
C
h
a
n
g
eL
o
g
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
av
o
id name
s
pace po
l
l
u
tion
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid su
b
validity domains
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
DomainInclu
d
es
commit
|
commitdiff
|
tree
2004-02-22
s
kimo
P
ostpone m
u
ltipl
i
cation wit
h
"
facto
r
"
to
hand
l
e the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
actually perfor
m
mo
d
ulo when converting to tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
extend
1D specia
l
-casing to multiple lowe
r
/upp
e
r bo
u
nds
commit
|
commitdiff
|
tree
2004-02-15
s
ki
m
o
memory
l
eaks
commit
|
commitdiff
|
tree
2004-02-15
skimo
s
u
pport emul for partitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't assume factor is a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
d
on't modify d paramete
r
commit
|
commitdiff
|
tree
2004-02-15
s
kim
o
add pointer to polyli
b
commit
|
commitdiff
|
tree
2004-02-15
skimo
Support reduction
f
or n
o
n-modulo by temporarily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
modulo to table conversi
o
n
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
mo
an
o
ther memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
nother mem
o
ry leak
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
m
emory
lea
k
commit
|
commitdiff
|
tree
2004-02-15
skimo
e
x
p
e
ri
m
e
ntal
"unfringe" co
d
e
commit
|
commitdiff
|
tree
2004-02-15
skimo
t
ype
commit
|
commitdiff
|
tree
2004-02-06
skimo
fix decompo
s
ition test a
n
d add polarized de
c
o
m
postion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
eliminate a variable if we
c
an
(
not t
e
s
ted)
commit
|
commitdiff
|
tree
2004-01-26
skim
o
oops; we
need
q
uotien
t
rather than remainder
commit
|
commitdiff
|
tree
2004-01-25
skimo
handle
equalities
commit
|
commitdiff
|
tree
2004-01-25
skimo
Han
d
le
ONE_N
E
G for
any position of
t
h
e
variable c
o
rr
e
ctly
commit
|
commitdiff
|
tree
2004-01-25
skimo
H
a
n
dle ONE_NEG for any
position of the va
r
iable
.
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Onl
y
use
i
nde
p
end
e
n
t bounds to cons
t
ruct th
e
one
_
dep
.
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
Tru
l
y partition validit
y
d
o
mains
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
copy
i
n_domain from pol
y
lib
commit
|
commitdiff
|
tree
2004-01-25
ski
m
o
S
pecial
c
a
se "infinite" polytopes, i
.
e
.
, those
with
commit
|
commitdiff
|
tree
2004-01-25
s
kim
o
Initial implementation of b
a
rvinok_enumerat
e
_e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
Do
n
'
t u
s
e m
o
dulo if quo
t
ient is the same over
t
h
e
w
h
ole
commit
|
commitdiff
|
tree
2004-01-22
skimo
re
m
ove n
o
te to self
commit
|
commitdiff
|
tree
2004-01-22
s
kimo
s
u
pport ad
d
f
o
r
partitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
r
e
m
ove debug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
support fr
e
e an
d
dummy add for partitions
commit
|
commitdiff
|
tree
2004-01-21
s
kimo
s
upport
prin
t
i
n
g
for partitions
commit
|
commitdiff
|
tree
2004-01-20
skimo
Ca
l
c
u
late count a
s
a partition and co
n
vert
t
o
Enumerat
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
de
f
ine partition type
commit
|
commitdiff
|
tree
2004-01-20
ski
m
o
P
a
r
t
ial im
p
le
m
entation of pa
r
ametri
c
po
l
yhedra
l
redu
c
t
i
on
.
commit
|
commitdiff
|
tree
2004-01-19
s
kimo
s
/
indi
c
ator
/
relation/
commit
|
commitdiff
|
tree
2004-01-16
skimo
s
im
p
li
f
y Poly
h
ed
r
on
_
Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
s
kimo
c
h
a
n
ge comm
e
nt about
m
odulo rep
commit
|
commitdiff
|
tree
2004-01-13
skimo
add t
e
sts/ehrha
r
t
/
equal5
commit
|
commitdiff
|
tree
2004-01-13
skimo
bump version
commit
|
commitdiff
|
tree
2004-01-13
s
k
i
mo
use indic
a
t
o
r function
s
t
o mask when using
modulo express
i
ons
commit
|
commitdiff
|
tree
2004-01-13
skim
o
par
t
ial
"
indicator
function" su
p
port
commit
|
commitdiff
|
tree
2004-01-12
skimo
add co
m
men
t
on factor parameter
commit
|
commitdiff
|
tree
2004-01-12
skimo
add
c
o
nstant in multi_monom
commit
|
commitdiff
|
tree
2004-01-12
skimo
free argument of
m
o
dulo when reduci
n
g strength
commit
|
commitdiff
|
tree
2004-01-12
skimo
remov
e
typo in
t
r
o
duced
by previous patch
commit
|
commitdiff
|
tree
2004-01-12
skimo
f
i
x
memleak
i
n
r
e
d
u
c
e
_
e
value
commit
|
commitdiff
|
tree
2004-01-12
s
k
imo
remove a
f
ew memory
leaks
commit
|
commitdiff
|
tree
2004-01-11
sk
i
m
o
sil
l
y opt
i
mization
for
s
p
ecial case of mod 2
commit
|
commitdiff
|
tree
2004-01-11
skimo
hand
l
e
s
um o
f
mod
u
lo
p
olynomials of
d
iff
e
r
e
nt si
z
e
commit
|
commitdiff
|
tree
2004-01-09
skimo
add warning a
b
out modulo repre
s
e
ntatio
n
commit
|
commitdiff
|
tree
2004-01-09
skimo
avoid warnings
commit
|
commitdiff
|
tree
2004-01-09
ski
m
o
bump version
commit
|
commitdiff
|
tree
2003-12-25
skim
o
make use
o
f
modulo conf
i
gurab
l
e
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
suppo
r
t for modulo c
a
lcu
l
a
t
ions
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick up
modified ver
s
ions
commit
|
commitdiff
|
tree
2003-12-23
skimo
d
o
n't constr
u
ct
z
ero term
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick up mod
i
fie
d
v
e
r
sio
n
s
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
be car
e
full a
b
out r
o
unding and modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't "re
p
o
sition" mod
u
lo
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
exte
n
d compute_enode for modu
l
o
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
copied fr
o
m polylib
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
compar
e
argument for modulo ty
p
e
commit
|
commitdiff
|
tree
2003-12-23
s
k
im
o
more canonical
i
zation
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
sm
a
l
l
clean-up
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
add periodics "c
a
n
o
nically"
commit
|
commitdiff
|
tree
2003-12-22
skimo
add polynomial
s
"can
o
nically"
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
small s
i
m
pliciation
commit
|
commitdiff
|
tree
2003-12-22
skimo
redu
c
e support fo
r
modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
eadd and emul support for
modul
o
commit
|
commitdiff
|
tree
2003-12-22
skimo
support printing of modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
ad
d
"mo
d
u
l
o" type
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
add "copy cons
t
ructor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy some pr
i
nting funcs from polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
fix typo in c
o
mment
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
co
p
y some
d
efs/funs from pol
y
lib
commit
|
commitdiff
|
tree
2003-12-22
skimo
i
n
clude
e
v_opera
t
i
o
n
s
before bar
v
inok
commit
|
commitdiff
|
tree
2003-12-22
skim
o
small clea
n
-ups
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove use of ehrhart
p
ol
y
nom
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
rem
o
ve params
commit
|
commitdiff
|
tree
2003-12-22
skimo
co
n
v
e
r ter
m
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert term_info
commit
|
commitdiff
|
tree
2003-12-22
skimo
c
o
nvert multi_polynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
"convert" constant
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
c
onvert
uni_po
l
ynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
n
e
w "co
n
structor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
free
f
actor
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
use addeliminated
p
arams_evalue
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
co
p
ied from
polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove un
n
e
e
ded argument
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert factor to e
v
al
u
e
commit
|
commitdiff
|
tree
2003-12-22
skim
o
i
n
t co
n
struc
t
or
commit
|
commitdiff
|
tree
2003-12-20
skimo
Keep t
h
e equations t
h
at Polyhedron2Para
m
_S
i
mplifiedDomain
commit
|
commitdiff
|
tree
2003-12-17
ski
m
o
check number
of argumen
t
s of count_poin
t
s
commit
|
commitdiff
|
tree
2003-12-17
skimo
check
numb
e
r of arguments of Po
l
yhedr
o
n_Enumerate
commit
|
commitdiff
|
tree
2003-12-17
sk
i
mo
Don't assume new_enode inits
commit
|
commitdiff
|
tree
next