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
remove empty partitions
2004-06-05
sk
i
mo
r
e
m
ove empty partitions
commit
|
commitdiff
|
tree
2004-06-05
skimo
also r
e
move first
empty sub
d
omain
commit
|
commitdiff
|
tree
2004-06-05
skim
o
r
emove
s
ome
e
mpt
y
subdomains
commit
|
commitdiff
|
tree
2004-06-05
skimo
simplify c
o
nstraints
in eadd
_
part
i
tion
s
commit
|
commitdiff
|
tree
2004-06-04
s
k
im
o
simplify whole dom
a
in
a
nd at more lo
c
ations
commit
|
commitdiff
|
tree
2004-06-04
skimo
only u
s
e
equalities
in a sin
g
le
v
a
r
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove VDs
w
ith z
e
ro Ehrhart polynomial
commit
|
commitdiff
|
tree
2004-06-04
skim
o
re
m
ove rela
t
i
on if va
l
u
e is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
c
o
mpute modulo if argument is know
n
commit
|
commitdiff
|
tree
2004-06-04
skimo
free temporary evalue
commit
|
commitdiff
|
tree
2004-06-04
skim
o
s
ubsti
t
ute
k
now values for par
a
m
e
ters
d
u
ring red
u
ction
commit
|
commitdiff
|
tree
2004-06-03
skimo
reduc
e
rel
a
tio
n
if po
s
sible
commit
|
commitdiff
|
tree
2004-06-03
s
k
imo
si
m
plify modulo expressions du
r
ing reduce
as
well
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
a
l
so simplify con
s
tra
i
nts during
r
edu
c
t
i
on
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
make
t
r
u
e par
t
itions in ParamPolyhedron
_
R
educe_mod
commit
|
commitdiff
|
tree
2004-06-03
skimo
be
c
a
r
e
ful
when the
v
ali
d
ity d
o
m
ain contain equalities
commit
|
commitdiff
|
tree
2004-06-02
s
k
imo
r
educ
e
leading coefficient
commit
|
commitdiff
|
tree
2004-06-02
sk
i
mo
n
o
rmalize modulo i
n
re
l
ation
a
s well
commit
|
commitdiff
|
tree
2004-06-02
s
k
imo
fac
t
or out
som
e
more c
o
d
e
commit
|
commitdiff
|
tree
2004-06-02
skimo
missing value_init in p
r
evious chan
g
e
commit
|
commitdiff
|
tree
2004-06-02
skimo
e
xtract ou
t
some
c
ode
that we may need later
commit
|
commitdiff
|
tree
2004-06-02
skimo
simpli
f
y
c
o
n
straints of
validity domai
n
s
commit
|
commitdiff
|
tree
2004-06-02
skimo
also multiply complement of relation!
commit
|
commitdiff
|
tree
2004-05-31
s
kimo
sil
l
y typo
commit
|
commitdiff
|
tree
2004-04-25
sk
i
mo
evaluate parti
t
ioned evalues
commit
|
commitdiff
|
tree
2004-04-25
sk
i
m
o
h
a
n
d
le additions of two re
l
ations
commit
|
commitdiff
|
tree
2004-04-22
skimo
be car
e
fu
l
w
h
en
r
elculating the row
commit
|
commitdiff
|
tree
2004-04-21
ski
m
o
Convert mult
i
pl
e
e
xistentia
l
va
r
iables i
n
an e
q
u
a
lity
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
compute
"
c
ompleme
n
t" if need
e
d
commit
|
commitdiff
|
tree
2004-03-30
skimo
mo
r
e
add "complement"
r
elati
o
n when ad
d
ing non-zer
o
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
add "complem
e
nt" rel
a
tion w
h
en adding non-zero
v
a
lue
commit
|
commitdiff
|
tree
2004-03-30
s
k
imo
support printing
of
"compl
e
ment" of
r
elation
commit
|
commitdiff
|
tree
2004-03-28
ski
m
o
inst
a
l
l
head
e
rs
commit
|
commitdiff
|
tree
2004-03-28
skimo
pa
r
tia
l
implementation
o
f "mask" ope
r
ation
commit
|
commitdiff
|
tree
2004-03-28
skimo
include appropriate header
commit
|
commitdiff
|
tree
2004-03-28
skimo
comply w
i
th
C stan
d
ard :-
)
commit
|
commitdiff
|
tree
2004-03-28
skimo
export _ev
v
ersion
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump version
commit
|
commitdiff
|
tree
2004-02-28
skimo
regression tests
commit
|
commitdiff
|
tree
2004-02-28
s
k
i
m
o
Dr
.
Egon Spengler:
The
r
e'
s
som
e
thing very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
bump ve
r
sion
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
update Change
L
og
commit
|
commitdiff
|
tree
2004-02-22
sk
i
m
o
a
vo
i
d na
m
e
s
pace poll
u
tion
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
av
o
i
d
sub val
i
d
i
ty domains
commit
|
commitdiff
|
tree
2004-02-22
skimo
Do
m
ainIncludes
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
Post
p
one multipl
i
c
ation with "fact
o
r" to h
a
ndle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
c
tually perf
o
rm modu
l
o
when
c
onver
t
ing to
tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
extend 1D special-casing to mu
l
t
i
ple lower/upper bounds
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
memory
l
eaks
commit
|
commitdiff
|
tree
2004-02-15
skimo
supp
o
rt emul for partitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't assume
fa
c
tor is a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't modify
d
parameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
ad
d
poin
t
er to polylib
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
Sup
p
ort reductio
n
for
non-modu
l
o by
t
em
p
orarily
using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
modulo to table conversi
o
n
commit
|
commitdiff
|
tree
2004-02-15
skimo
another memory leak
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
a
n
other memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-02-15
s
ki
m
o
experiment
a
l "unfringe"
code
commit
|
commitdiff
|
tree
2004-02-15
skimo
type
commit
|
commitdiff
|
tree
2004-02-06
s
k
i
m
o
fix
decompo
s
ition t
e
st and add polari
z
ed decom
p
ostion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skim
o
eli
m
inat
e
a variable if we can (not tested
)
commit
|
commitdiff
|
tree
2004-01-26
ski
m
o
o
ops; we n
e
ed quotient
r
at
h
er than rem
a
inder
commit
|
commitdiff
|
tree
2004-01-25
s
kimo
handle equalities
commit
|
commitdiff
|
tree
2004-01-25
skimo
H
a
nd
l
e ON
E
_NEG f
o
r
any posit
i
on
o
f th
e
v
a
riable cor
r
ectl
y
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Handle ONE
_
NEG for
a
ny p
o
s
i
tion of the varia
b
le
.
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Only
use independent
bounds
t
o construct
the one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Truly partition
validity
d
o
m
ai
n
s
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
c
o
py in_domain f
r
om p
o
lylib
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Special case "infinite" polytopes, i
.
e
.
,
t
h
ose wit
h
commit
|
commitdiff
|
tree
2004-01-25
ski
m
o
Initia
l
implemen
t
ation of
b
arvin
o
k
_
enumerate_e
.
commit
|
commitdiff
|
tree
2004-01-23
skim
o
Don't use m
o
dulo if quotient is the same over the w
h
o
l
e
commit
|
commitdiff
|
tree
2004-01-22
ski
m
o
remove note to se
l
f
commit
|
commitdiff
|
tree
2004-01-22
s
k
imo
support add
f
or
p
arti
t
ions
commit
|
commitdiff
|
tree
2004-01-21
skimo
remove debug
.
{cpp,
h
}
commit
|
commitdiff
|
tree
2004-01-21
skimo
support free a
n
d dummy add for partitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
sup
p
ort printing
f
or partitions
commit
|
commitdiff
|
tree
2004-01-20
skimo
Calculate cou
n
t
as a partit
i
on and convert to Enumeration
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
s
k
imo
define pa
r
tition type
commit
|
commitdiff
|
tree
2004-01-20
skimo
Partial
implementation of pa
r
ametric polyhedral red
u
ction
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/indicator/rela
t
ion/
commit
|
commitdiff
|
tree
2004-01-16
skimo
simplify Polyhedron_Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
s
k
imo
chan
g
e comment
a
b
o
u
t
modulo
r
ep
commit
|
commitdiff
|
tree
2004-01-13
ski
m
o
add tests/eh
r
hart/equal5
commit
|
commitdiff
|
tree
2004-01-13
s
k
i
m
o
bump v
e
rsio
n
commit
|
commitdiff
|
tree
2004-01-13
skimo
use
i
ndicator functio
n
s to ma
s
k
when using modulo expressions
commit
|
commitdiff
|
tree
2004-01-13
skimo
par
t
ial "
i
ndicator function
"
support
commit
|
commitdiff
|
tree
2004-01-12
ski
m
o
a
dd
c
omment o
n
f
a
ctor parameter
commit
|
commitdiff
|
tree
2004-01-12
skimo
a
d
d constant in multi_monom
commit
|
commitdiff
|
tree
2004-01-12
s
k
imo
f
r
ee argument o
f
modul
o
w
h
e
n
reducing strength
commit
|
commitdiff
|
tree
2004-01-12
ski
m
o
rem
o
v
e
t
ypo
introduced
by previous patch
commit
|
commitdiff
|
tree
2004-01-12
skimo
fix
m
emleak
i
n r
e
d
uce_evalue
commit
|
commitdiff
|
tree
2004-01-12
skim
o
remove a few memo
r
y leaks
commit
|
commitdiff
|
tree
2004-01-11
ski
m
o
s
illy
optimization fo
r
special case of m
o
d 2
commit
|
commitdiff
|
tree
2004-01-11
sk
i
m
o
handle
sum o
f
modulo polynomia
l
s of d
i
fferent size
commit
|
commitdiff
|
tree
2004-01-09
skimo
add warning abou
t
modulo repre
s
entation
commit
|
commitdiff
|
tree
2004-01-09
s
k
imo
avoid wa
r
nings
commit
|
commitdiff
|
tree
2004-01-09
skimo
bump
v
er
s
ion
commit
|
commitdiff
|
tree
2003-12-25
skimo
make use o
f
m
o
dulo configurabl
e
commit
|
commitdiff
|
tree
2003-12-23
skimo
support for
m
odulo calculations
commit
|
commitdiff
|
tree
next