Skip to content

1.0.0

Compare
Choose a tag to compare
@tomyaacov tomyaacov released this 20 Nov 13:58
· 28 commits to master since this release

This release introduces 2 main updates:

  • Sync statements are now defined using the bp.sync class. See examples and docs for more info.
  • Adding the ability to define and analyze probabilistic systems using PRISM integration, a work by @zisserj. The ability to execute such systems will be added soon.

Additionally, some minor fixes and updates were made.