Kaira on GitHub

Plase use the lastest version of Kaira from this repostory:


Changelog 1.2 → 1.3

  • Code completion & refactoring added
  • Serialization compatabile with standard STL streams
  • Lots of small bugfixes and improvements
  • New ca::Context API

Changelog 1.1 → 1.2

  • Collective operation "allgather"
  • A new memory managment for state space analysis
  • Improved work with resource files in gui
  • Fixed rare memory leak in generated programs
  • Many small bug fixes

Changelog 1.0 → 1.1

  • Basic collective communication
  • New serialization system
  • Many smaller improvements and bug fixes
  • Experimental support for partial-order reduction in state space analysis



There are examples within the distribution package of Kaira in directory samples. Here you can download another examples that are not distributed together with Kaira.

Examples for version 1.x

Examples for version 0.6

Examples for version 0.5

Test of verification tools