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
support polynomials in "real" parameters
2004-06-06
skimo
value
"
tmp" is
use
d
over seve
r
al i
n
terations of s
e
cond
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't lo
o
k
a
t relat
i
on if we just
freed it
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
remov
e
empty partition
s
commit
|
commitdiff
|
tree
2004-06-05
s
kim
o
also remove
first empty sub
d
om
a
in
commit
|
commitdiff
|
tree
2004-06-05
skimo
rem
o
ve some empt
y
subdoma
i
n
s
commit
|
commitdiff
|
tree
2004-06-05
s
kim
o
si
m
plify constrai
n
ts
in eadd_partitions
commit
|
commitdiff
|
tree
2004-06-04
skim
o
simplify whole domain
an
d
at more
l
ocations
commit
|
commitdiff
|
tree
2004-06-04
skimo
only use equalit
i
es
i
n a s
i
ngle var
commit
|
commitdiff
|
tree
2004-06-04
skimo
r
e
mov
e
VDs with zero Ehrhar
t
polynomi
a
l
commit
|
commitdiff
|
tree
2004-06-04
skimo
rem
o
ve relation if value is
known
commit
|
commitdiff
|
tree
2004-06-04
s
kimo
comp
u
te modulo if
a
r
gument is k
n
own
commit
|
commitdiff
|
tree
2004-06-04
skim
o
free
temp
o
rary
e
value
commit
|
commitdiff
|
tree
2004-06-04
skimo
substitute know va
l
ues fo
r
p
a
r
ame
t
e
rs during reduction
commit
|
commitdiff
|
tree
2004-06-03
s
kimo
redu
c
e relation if poss
i
ble
commit
|
commitdiff
|
tree
2004-06-03
skimo
simplify m
o
dul
o
express
i
o
n
s during re
d
u
ce as
w
ell
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
a
l
so si
m
plif
y
constraints during reduction
commit
|
commitdiff
|
tree
2004-06-03
s
k
imo
mak
e
tru
e
partition
s
i
n
Para
m
Polyhedron_Reduce_mod
commit
|
commitdiff
|
tree
2004-06-03
skimo
be ca
r
eful
w
hen the validi
t
y
domain co
n
tain equalit
i
es
commit
|
commitdiff
|
tree
2004-06-02
skimo
reduce leadi
n
g coefficient
commit
|
commitdiff
|
tree
2004-06-02
skimo
normalize modulo in rela
t
ion as well
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
fac
t
or
out
some mor
e
code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missing val
u
e_in
i
t i
n
p
revious ch
a
nge
commit
|
commitdiff
|
tree
2004-06-02
s
ki
m
o
extract ou
t
some code
tha
t
we may
n
eed late
r
commit
|
commitdiff
|
tree
2004-06-02
sk
i
mo
simplify constrain
t
s
o
f validity dom
a
ins
commit
|
commitdiff
|
tree
2004-06-02
skimo
also
m
u
ltiply
c
omplement of re
l
ation
!
commit
|
commitdiff
|
tree
2004-05-31
skimo
silly t
y
po
commit
|
commitdiff
|
tree
2004-04-25
sk
i
mo
evalu
a
t
e parti
t
i
o
ned evalues
commit
|
commitdiff
|
tree
2004-04-25
skimo
handle a
d
ditio
n
s
of two
relations
commit
|
commitdiff
|
tree
2004-04-22
skimo
be
car
e
ful when relculating the r
o
w
commit
|
commitdiff
|
tree
2004-04-21
skimo
Convert multiple exi
s
tential v
a
riab
l
e
s
in an equality
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
compute "com
p
le
m
ent" if needed
commit
|
commitdiff
|
tree
2004-03-30
ski
m
o
more add "complement" relation when adding non-zero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
s
k
imo
add "compl
e
ment" rel
a
tion when adding no
n
-zer
o
valu
e
commit
|
commitdiff
|
tree
2004-03-30
skimo
s
upport prin
t
ing of
"
complemen
t
" of relat
i
o
n
commit
|
commitdiff
|
tree
2004-03-28
ski
m
o
install headers
commit
|
commitdiff
|
tree
2004-03-28
skimo
partial im
p
l
emen
t
ation
of "mas
k
" op
e
r
ation
commit
|
commitdiff
|
tree
2004-03-28
s
k
imo
inc
l
ude ap
p
ropri
a
te heade
r
commit
|
commitdiff
|
tree
2004-03-28
sk
i
mo
compl
y
with C sta
n
dard
:
-)
commit
|
commitdiff
|
tree
2004-03-28
ski
m
o
expo
r
t _ev vers
i
on
commit
|
commitdiff
|
tree
2004-02-29
skimo
b
ump ver
s
ion
commit
|
commitdiff
|
tree
2004-02-28
skimo
regression tes
t
s
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
Egon S
p
eng
l
er: There
'
s
some
t
hing very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
bump versio
n
commit
|
commitdiff
|
tree
2004-02-22
s
kimo
update ChangeLog
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
avoid
namesp
a
ce p
o
llutio
n
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoi
d
sub validity dom
a
ins
commit
|
commitdiff
|
tree
2004-02-22
skimo
Dom
a
inIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
Pos
t
pone multiplicat
i
on with "fac
t
or
"
to h
a
ndle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
a
ct
u
ally
perform m
o
d
u
lo when co
n
verting to tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
exte
n
d 1D special-casing to multiple lower/upper bo
u
nds
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
memory leaks
commit
|
commitdiff
|
tree
2004-02-15
skimo
support emul fo
r
p
arti
t
ions
commit
|
commitdiff
|
tree
2004-02-15
skim
o
don'
t
a
ssume fac
t
or is a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't
modify d
p
a
rameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
add point
e
r to polylib
commit
|
commitdiff
|
tree
2004-02-15
skimo
Support
r
ed
u
ction
for non-modul
o
by tem
p
ora
r
i
ly
u
sing
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skim
o
modulo to t
a
ble c
o
nversion
commit
|
commitdiff
|
tree
2004-02-15
skimo
ano
t
her memory leak
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
a
n
other memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-02-15
s
k
im
o
e
xperi
m
ental
"
unfring
e
" code
commit
|
commitdiff
|
tree
2004-02-15
skimo
type
commit
|
commitdiff
|
tree
2004-02-06
s
kimo
fix
decompositio
n
test and add po
l
arized de
c
ompo
s
tion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
elimina
t
e a variabl
e
if w
e
can (not tested)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oo
p
s; we
n
e
ed quo
t
ient ra
t
her than remainder
commit
|
commitdiff
|
tree
2004-01-25
skimo
ha
n
dl
e
e
qualiti
e
s
commit
|
commitdiff
|
tree
2004-01-25
sk
i
m
o
Hand
l
e ONE_
N
EG for
any posit
i
on o
f
the
v
ariable correct
l
y
commit
|
commitdiff
|
tree
2004-01-25
skimo
Ha
n
d
l
e ONE_
N
EG for
a
ny positi
o
n of the variab
l
e
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Only use independent
b
o
u
n
ds to co
n
struct the one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Truly
p
artition
v
alidity
d
omains
.
commit
|
commitdiff
|
tree
2004-01-25
skim
o
copy i
n
_dom
a
in from pol
y
lib
commit
|
commitdiff
|
tree
2004-01-25
skimo
Special cas
e
"infi
n
ite" polytopes, i
.
e
.
, those
w
ith
commit
|
commitdiff
|
tree
2004-01-25
skimo
Initial imp
l
e
m
e
ntation of barvino
k
_
enumerate_
e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
Don't use modulo if quotient is the
s
a
m
e
ov
e
r t
h
e whole
commit
|
commitdiff
|
tree
2004-01-22
skimo
remo
v
e note to self
commit
|
commitdiff
|
tree
2004-01-22
skimo
support a
d
d for partitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
r
emove d
e
bug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
su
p
p
o
rt free and
dummy add
for partitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
support printing for partitions
commit
|
commitdiff
|
tree
2004-01-20
skimo
C
a
lc
u
la
t
e count as a partition and conver
t
to Enum
e
r
a
tion
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
s
kimo
defi
n
e partition
t
ype
commit
|
commitdiff
|
tree
2004-01-20
sk
i
mo
P
a
rtial
imp
l
e
m
entat
i
on
of param
e
tric po
l
yhedral reduct
i
o
n
.
commit
|
commitdiff
|
tree
2004-01-19
ski
m
o
s
/indicat
o
r/rel
a
t
ion/
commit
|
commitdiff
|
tree
2004-01-16
s
kimo
simplify Polyhedron_Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
skimo
change comment about modu
l
o rep
commit
|
commitdiff
|
tree
2004-01-13
skimo
add tests/ehrhart/equal5
commit
|
commitdiff
|
tree
2004-01-13
skimo
bump version
commit
|
commitdiff
|
tree
2004-01-13
skimo
use indi
c
ato
r
f
u
nctio
n
s to ma
s
k
w
hen using modulo exp
r
essi
o
ns
commit
|
commitdiff
|
tree
2004-01-13
s
k
im
o
partial "indicator function" suppo
r
t
commit
|
commitdiff
|
tree
2004-01-12
skimo
add
comm
e
nt
on fac
t
or parameter
commit
|
commitdiff
|
tree
2004-01-12
sk
i
mo
ad
d
c
o
nstant
i
n multi_monom
commit
|
commitdiff
|
tree
2004-01-12
skimo
free argument of modulo when
r
ed
u
c
ing st
r
ength
commit
|
commitdiff
|
tree
2004-01-12
ski
m
o
remove typo introduc
e
d by previous patch
commit
|
commitdiff
|
tree
2004-01-12
skimo
fix memleak in reduc
e
_
e
value
commit
|
commitdiff
|
tree
2004-01-12
skimo
remove a few me
m
or
y
leaks
commit
|
commitdiff
|
tree
2004-01-11
skimo
s
illy optimizatio
n
f
o
r spec
i
al
c
as
e
of mod 2
commit
|
commitdiff
|
tree
2004-01-11
skimo
h
a
ndle su
m
o
f mo
d
ulo polyn
o
mials of differ
e
nt size
commit
|
commitdiff
|
tree
2004-01-09
skimo
add warning abo
u
t
m
o
dulo representation
commit
|
commitdiff
|
tree
2004-01-09
skim
o
avoid warnings
commit
|
commitdiff
|
tree
2004-01-09
skimo
b
ump version
commit
|
commitdiff
|
tree
next