[Cs5500] Fwd: Change list

[Karl Lieberherr]

Hi Karan:

I am happy about the progress being made. Those changes all make SCG
Court more useful.

As you know, the users have been active and found more problems in our software:

Urgent items:

1. Reorganization of protocol checking. Srinivas has been attacking
this with Ahmed. Ahmed proposed
a reorganization. We have a more general protocol language with which
we can express refutation,
strengthening and agreement protocols. Then we have only one
ProtocolInterpreter that can interpret
this more general language.

While this is an important simplification of the current software, the
claim objects become more complex:
They not only contain a refutation protocol but also a strengthening
protocol and an agreement protocol.
We will have a list of available strengthening and agreement protocols
from which the playground
design can choose.

Does this make sense?

2. The HSR playground is broken (valid function is wrong).

3. The MMG playground needs to be carefully tested regarding proper
handling of all floating point computations.

Those 3 items have been in our hands since the beginning of the
semester but they only come to light now.
Because of our users.

Please make a plan on how to address those issues.

Srinivas and Ahmed get 1. in order.

-- Karl

On Thu, Nov 17, 2011 at 10:07 PM, karan bhat <bhat.r.karan at gmail.com> wrote:
> Hello Professor,
>
> Sending you the list of changes that went in today.
>
> 1.Valid function return value changed to boolean:
> changes involved in MMGInstance, InstanceI,BinaryGame.
>
> 2.proposedClaimMustBeNew flag:
> changes involved in BinaryGame.
>
> 3.Changes t o the config parameter
> changes involved in PlayerMain
> the Users will obtain an updated users guide, two additional arguments
> will have to be given to run the avatars.
>
> 4.Kickout Scope
> SmartHistory showing reputation changes even when an avatar is kicked out;
> avatar will NOT be kicked out of the tournament.
>
> 5. MMG package changed include baby avatar.
>
> The New Software is maintained in source forge root directory.
>
> Thanks,
> Karan Bhat
>