Discussions

• 1 You must be logged in to vote

  💡

  Explain how to "manually" browse in Explorer

  jonnadal started Feb 21, 2021 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Explain LinearizabilityTester and SequentialSpec in more detail

  jonnadal started Feb 21, 2021 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Consider adding a chapter on profiling

  jonnadal started Feb 21, 2021 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Explain CheckerVisitor to assist with debugging

  jonnadal started Feb 21, 2021 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Consider adding a chapter comparing with TLA+

  jonnadal started Feb 21, 2021 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Explain that serve blocks threads

  jonnadal started Feb 20, 2021 in Ideas

  

  

  0