• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for quickcheck-state-machine-distributed-0.0.0 candidate source tarball

quickcheck-state-machine-distributed-0.0.0/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• quickcheck-state-machine-distributed.cabal
• src/
  • Linearisability.hs
  • QuickCheckHelpers.hs
  • Scheduler.hs
  • StateMachine.hs
  • Utils.hs
• test/
  • Bank.hs
  • Main.hs
  • TicketDispenser.hs