Transactron

• Getting started
  • Installing Transactron
  • Controlling LEDs and switches
  • Method readiness
  • Transaction conflicts
  • Connecting transactions as submodules
  • Data structures
  • RPN calculator
• Documentation for Transactron
  • Introduction
  • Basic usage
    • Implementing transactions
    • Implementing methods
    • Method or transaction?
    • Method argument passing conventions
    • Method definition conventions
    • Method return value conventions
    • Readiness signals
  • The library
  • Advanced concepts
    • Special combinational domains
    • Scheduling order
    • Conflicts
    • Transaction and method nesting
• API
  • transactron
    • transactron package
• Development environment
  • Setting up
  • Running tests
  • Using scripts
    • lint.sh
    • build_docs.sh
    • transactron-prof