Skip to content

Commit

Permalink
Minor
Browse files Browse the repository at this point in the history
  • Loading branch information
dnadales committed Jun 30, 2024
1 parent 891cb25 commit de9407b
Showing 1 changed file with 2 additions and 6 deletions.
8 changes: 2 additions & 6 deletions leios-sim/src/Leios/Model.hs
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,8 @@
-- \* ✅ Add EB production only with IBs so that λ parameter becomes relevant.
-- \* ✅ Allow to pass paremeters to the simulation.
-- \* ✅ Connect with the simulation front end and run.
-- \* Define a better/more-realistic schedule.
-- \* ✅ Define a better/more-realistic schedule.
-- \* Tweak the model parameters.
-- \* Add other plots: eg latency distribution.
-- \* ...
-- \* Implement other roles/phase.
Expand Down Expand Up @@ -185,7 +186,6 @@ data EB
-- Model
--------------------------------------------------------------------------------

-- TODO: when we connect the model with the server this function should be renamed to something like 'runStandalone'.
run ::
forall m.
( Monad m
Expand Down Expand Up @@ -393,10 +393,6 @@ runStandalone = do
outputToStdout events = forever $ do
atomically (readTQueue events) >>= pPrint

-- runSimulation :: (MonadAsync m, MonadDelay m, MonadSay m)
-- => Tracer m LeiosEvent -> TVar m Parameters -> m ()
-- runSimulation tracer params = run tracer params

--------------------------------------------------------------------------------
-- Blockchain Clock
--------------------------------------------------------------------------------
Expand Down

0 comments on commit de9407b

Please sign in to comment.