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
don't make numerator power positive + merge loops
2004-06-15
s
k
im
o
reduce
c
onstants inside modulo
commit
|
commitdiff
|
tree
2004-06-15
skimo
constr
u
ct subs
t
itution for ea
c
h e
q
uality
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
collect substitutions in one struct
u
r
e
commit
|
commitdiff
|
tree
2004-06-14
skimo
only take dif
f
ere
n
ce of sets that shar
e
a hy
p
e
rplane
commit
|
commitdiff
|
tree
2004-06-11
skimo
a
ls
o
ski
p
over zero
e
s and remember
o
riginal location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
sk
i
m
o
continue
looking for coe
f
ficients to
negate if
c
urrent
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
s
k
imo
calculate "s
i
ze" o
f
polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
combine
i
dentical relations
commit
|
commitdiff
|
tree
2004-06-09
skimo
don'
t
knowingly create zero p
o
lyn
o
mials
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check wh
e
ther
rVD is too
small in dime
n
sion *before*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regressio
n
test
commit
|
commitdiff
|
tree
2004-06-08
skimo
2Pol
y
h
edron routines can mod
i
fy thei
r
argumen
t
!
commit
|
commitdiff
|
tree
2004-06-07
skimo
strict inequality
s
hould be enfo
r
ced *prior* to simp
l
ification
commit
|
commitdiff
|
tree
2004-06-06
skimo
a
nother memor
y
leak
commit
|
commitdiff
|
tree
2004-06-06
skimo
memory lea
k
s
commit
|
commitdiff
|
tree
2004-06-06
skimo
return mal
l
oc
e
d mem
o
ry s
i
nce w
e
defin
e
a
"C" inter
f
ace
commit
|
commitdiff
|
tree
2004-06-06
skimo
always
r
e
turn reduce
d
evalue
commit
|
commitdiff
|
tree
2004-06-06
skimo
s
implify constraints
d
uring mu
l
t
i
plicatio
n
s as
w
e
ll
commit
|
commitdiff
|
tree
2004-06-06
skimo
regression test for latest bug
commit
|
commitdiff
|
tree
2004-06-06
s
k
imo
value "tmp" is
used over se
v
e
ral interations o
f
se
c
ond
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't look a
t
relation
if
we just freed
it
commit
|
commitdiff
|
tree
2004-06-05
ski
m
o
re
m
ove
empt
y
par
t
it
i
o
ns
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
also remove
f
irst
e
mpty subdomain
commit
|
commitdiff
|
tree
2004-06-05
skimo
rem
o
v
e
s
ome empty subdom
a
i
n
s
commit
|
commitdiff
|
tree
2004-06-05
skimo
s
implify c
o
nstraints in ea
d
d
_
parti
t
ions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simplify
w
hole dom
a
in and at
m
ore locations
commit
|
commitdiff
|
tree
2004-06-04
skim
o
only use equali
t
i
e
s in a single v
a
r
commit
|
commitdiff
|
tree
2004-06-04
s
k
im
o
remove VDs wit
h
zero Ehr
h
art pol
y
nom
i
al
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove relation if value
i
s known
commit
|
commitdiff
|
tree
2004-06-04
skim
o
comp
u
te modulo if argument is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
fre
e
temp
o
rary evalue
commit
|
commitdiff
|
tree
2004-06-04
skimo
substitute
know values
fo
r
para
m
eter
s
during reduction
commit
|
commitdiff
|
tree
2004-06-03
sk
i
mo
r
e
duce relation
i
f
p
o
ssible
commit
|
commitdiff
|
tree
2004-06-03
skimo
simplify modulo e
x
pre
s
s
i
ons
d
ur
i
ng reduce as well
commit
|
commitdiff
|
tree
2004-06-03
skimo
also si
m
plify const
r
aints during reduction
commit
|
commitdiff
|
tree
2004-06-03
skimo
make t
r
ue p
a
rtitions in ParamPolyhedron_Reduce_mod
commit
|
commitdiff
|
tree
2004-06-03
s
kimo
be careful when t
h
e validity do
m
ain
c
on
t
a
i
n equalities
commit
|
commitdiff
|
tree
2004-06-02
skimo
reduce lea
d
ing coeffic
i
ent
commit
|
commitdiff
|
tree
2004-06-02
skimo
normalize m
o
d
u
lo
in relation as well
commit
|
commitdiff
|
tree
2004-06-02
skimo
facto
r
out some
more
code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missing value_
i
n
it in previous change
commit
|
commitdiff
|
tree
2004-06-02
skimo
extract ou
t
some c
o
de that
w
e may
need later
commit
|
commitdiff
|
tree
2004-06-02
s
k
im
o
simp
l
if
y
c
o
n
strai
n
ts of validi
t
y
doma
i
ns
commit
|
commitdiff
|
tree
2004-06-02
skimo
also multip
l
y comp
l
emen
t
of relation!
commit
|
commitdiff
|
tree
2004-05-31
s
kimo
silly typo
commit
|
commitdiff
|
tree
2004-04-25
skimo
evaluate partiti
o
ned evalues
commit
|
commitdiff
|
tree
2004-04-25
ski
m
o
handle additions of tw
o
relati
o
n
s
commit
|
commitdiff
|
tree
2004-04-22
s
kimo
be careful when re
l
culat
i
ng
the row
commit
|
commitdiff
|
tree
2004-04-21
s
k
imo
Convert multiple existential
variables in an
e
qual
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
s
k
i
mo
c
ompute "compl
e
ment" if needed
commit
|
commitdiff
|
tree
2004-03-30
s
kimo
m
ore add "complement
"
relation
w
hen adding non-zer
o
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
add "complement" r
e
lation when adding non-zero va
l
u
e
commit
|
commitdiff
|
tree
2004-03-30
skimo
supp
o
rt p
r
in
t
ing of "compleme
n
t
"
o
f
r
e
l
ation
commit
|
commitdiff
|
tree
2004-03-28
skimo
install headers
commit
|
commitdiff
|
tree
2004-03-28
s
k
imo
partia
l
i
m
p
l
e
mentation of "mask" operation
commit
|
commitdiff
|
tree
2004-03-28
skimo
in
c
lude appropriat
e
h
eader
commit
|
commitdiff
|
tree
2004-03-28
sk
i
mo
comply
w
ith C standard
:-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
export _ev v
e
rsion
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump version
commit
|
commitdiff
|
tree
2004-02-28
s
k
imo
regression tests
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
Egon Spengler: There's s
o
met
h
ing ver
y
imp
o
rta
n
t
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
bump version
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
update ChangeLog
commit
|
commitdiff
|
tree
2004-02-22
ski
m
o
avoid
n
a
m
e
spa
c
e pollution
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid sub vali
d
ity domains
commit
|
commitdiff
|
tree
2004-02-22
ski
m
o
Domain
I
ncludes
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
Postpone multiplication
with "fact
o
r" to han
d
le the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
actually perform modulo
when
c
onverting to tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
ex
t
end 1D
special-casing to multiple lo
w
er/upper bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
emory leaks
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
mo
suppor
t
emul for partitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don
'
t ass
u
m
e factor
i
s a c
o
nstant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don'
t
modify d
p
a
r
a
mete
r
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
dd pointer to polylib
commit
|
commitdiff
|
tree
2004-02-15
skimo
Supp
o
rt reduct
i
on for non-modul
o
by
temporarily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
o
dul
o
to
t
able
conversion
commit
|
commitdiff
|
tree
2004-02-15
skimo
another
m
emor
y
leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
another
m
emory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
e
mory
leak
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
e
x
perimenta
l
"unfringe" code
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
t
y
pe
commit
|
commitdiff
|
tree
2004-02-06
skimo
fix
d
eco
m
position test
a
nd add
polariz
e
d dec
o
mpostion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
s
kimo
eliminate a
variable
if
w
e can (not teste
d
)
commit
|
commitdiff
|
tree
2004-01-26
sk
i
mo
o
o
ps; we need quot
i
ent rather t
h
a
n
remai
n
der
commit
|
commitdiff
|
tree
2004-01-25
skimo
handle equa
l
ities
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handl
e
ONE_NEG for
a
n
y
position of the va
r
iable cor
r
ec
t
ly
commit
|
commitdiff
|
tree
2004-01-25
s
kim
o
Handle ON
E
_NEG for any positi
o
n of the variable
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
O
nly use
independent b
o
unds to construct the one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
T
ruly
p
artition validity do
m
a
ins
.
commit
|
commitdiff
|
tree
2004-01-25
skim
o
cop
y
i
n
_domain
f
r
o
m polylib
commit
|
commitdiff
|
tree
2004-01-25
s
kimo
S
p
e
cial case "infinite" polytopes, i
.
e
.
, thos
e
w
ith
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
Initial implementation of barvinok_enu
m
erate_e
.
commit
|
commitdiff
|
tree
2004-01-23
s
k
imo
Don't use modulo if quotient is the same over the whole
commit
|
commitdiff
|
tree
2004-01-22
sk
i
mo
remove n
o
te t
o
se
l
f
commit
|
commitdiff
|
tree
2004-01-22
skim
o
suppo
r
t add
f
or
partitio
n
s
commit
|
commitdiff
|
tree
2004-01-21
s
k
im
o
r
emove d
e
bu
g
.
{cpp
,
h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
s
upport
f
re
e
and dummy
a
dd for partit
i
ons
commit
|
commitdiff
|
tree
2004-01-21
skim
o
support printin
g
for par
t
itions
commit
|
commitdiff
|
tree
2004-01-20
s
kim
o
C
a
l
c
ul
a
t
e count as
a par
t
i
tion and
conv
e
rt to Enu
m
e
r
ation
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
d
efine partition typ
e
commit
|
commitdiff
|
tree
next