version 1.0.3

Some bug fixes concerning the data attribute in the BEvent class - thanks @adielashrov !

version 1.0.2

Updates:

• Adding model_completion=True flag in SMT event selection strategies.
• Tidy PRISM format output - thanks @zisserj !

1.0.1

Minor yet important update which involves an internal optimization of the DFS - thanks @zisserj!

1.0.0

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.

0.0.10

Updates:

• Creating RichEventSelectionStrategy class based on Executing Scenario-Based Specification with Dynamic Generation of Rich Events and updating SMTEventSelectionStrategy to be the same, with the difference that b-threads are continued if the selected assignment is either requested or waited for.
• minor updates in the BPEnv class
• More examples are added to the docs.

0.0.9

Some minor updates:

• Speed upDFSBProgramVerifier implementation.
• Adding Dockerfile and dicker hub repository.

0.0.8

We publish the bppy.analysis package based on current research in this release.
BProgram verification can be performed in 2 ways:

• DFS - using the DFSBProgramVerifier class. see tutorial for more info.
• Symbolically - using the SymbolicBProgramVerifier class. see tutorial for more info.

0.0.7

This release has two major contributions:

• publishing OpenAI gym integration to learn a BProgram as a gym environment (see example for more details).
• Comments and explanation added for the examples in the documentation.

0.0.6

Some documentation updates.

0.0.5

This release focuses on the following:

• Adding priority-based event selection strategy (see tic tac toe program example).
• Creating an initial documentation.
• Manual b-program run with dynamic b-thread adding bug fix.