I this commit, I tried to fix some race conditions and bugs regarding the out of context thread, when it executes concurrently with the update of the delayed replica

I this commit, I made the TOM layer pass information about the execution id, decision round, and leader to the application. I also continued to work on the exchange of leader info in the state transfer protocol, and implemented a new demo which is more sofisticated than the counter.

In this commit, i've continued to try to find the errors on the state transfer protocol. I think i found one, and I'm beginning to add code to fix it. However, I would like to speak to the teachers tomorrow about this.

P.S. I also added more debug messages

I this commit, I continued the work on the state transfer protocol. I implemented the modifications discussed. However, the protocol remains faulty. Further debugging is required.

In this commit, i've only added some debug messages.But I committed it anyway, so I can work on SMaRt during the weekend at home

In this commit, i've continued my task of debuging the code.I finally managed to get the replica to update itself. However, when the clients finish to send requests, that same replica still remains a little behind, even though it sucessfully updates itself during previous executions of the state transfer protocol.

In this commit, i've continued my task of debuging the code. I believe the protocol itself is functioning correctly, but I still have to set the replicas to actually enforce the received state upon the application. The commited code is tested, and SMaRt seems to work properly according to the counter demo.

In this commit, i've continued my task of debuging the code. I made sure that the checkpoints are indeed working properly, so i re-activated the code which implements it.  Part of the state transfer protocol is also working, but I committed it de-activated. I'll resume the debugging tomorrow.

I've resumed my work on the state transfer protocol. However, I'm having trouble getting it to work right. I've de-activated the protocol, in order to safely commit the changes.

I have completed the coding of the state transfer protocol. However, I'm still yet to test the changes made in this commit. Therefore, this is likely to be an unstable version of SMaRt

More work done in the state transfer. It's near the stage where it can deliver the state to the application, and execute the stored batches

More work done related to the state transfer. The replica which requested for the state is starting to process it

Small changes to classes in package statemanagment. Added some test code to methods that I created in tomlayer (currently commented). The client of the counter demo is changed to infinitely send requests.

Within this commit, the code that implements the checkpoints is completed. However, it still needs to be tested.