branching test
alternative implementation of state hander which stores history, ready for assertion checking
modifying now state handler which also stores history
writing election safety conditions and adding check_safety to simulator
pre presentation changes
some fun with spl
first attempt a more complete raft model, not working atm due to lack of mutually recursive functions :), needs re-thinking a bit
next slp strps
refactoring to seperate eventlist
manipulating events to using functors and OCaml's with type :)
tidying of EventItem
tidying
pre pass of ocp-indent
allowing clients in the eventlist
adding clients to simulation
DOESN'T COMPILE - this push is just to remember this bug so find a clever solution in the future

File "simulator.ml", line 65, characters 23-617:
Error: Signature mismatch:
       ...
       Values do not match:
         val unicast :
           [ `Client | `Node of IntID.t ] ->
           MonoTime.t ->
           (MonoTime.t, IntID.t, 'a, 'a) event ->
           (MonoTime.t, IntID.t, 'a, 'a) t
       is not included in
         val unicast :
           [ `Client | `Node of IntID.t ] ->
           MonoTime.t ->
           (MonoTime.t, IntID.t, State.t, Client.t) event -> EventList.item
       File "simulator.ml", line 36, characters 4-127: Expected declaration
       File "simulator.ml", line 67, characters 4-11: Actual declaration
Command exited with code 2.
fixed but should find better way
playing with promela and slp
tidying up slp directoy
spl changes