1.0.0
·
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.