Skip to content

Tags: p-org/P

Tags

p-3.0.3

Toggle p-3.0.3's commit message 
Release p-3.0.3

- Fix code generation issues when modifying sequences in PObserve mode (#931)
- Integrated PObserve into master (#928)
- Fix string comparison in PChecker runtime (#919)

p-3.0.2

Toggle p-3.0.2's commit message 
Fixed a bug in string generation

p-3.0.1

Toggle p-3.0.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Fix string comparison in PChecker runtime (#919)

Fix the implementation of PString in the checker runtime to compute
string ordering correctly.

p-3.0.0

Toggle p-3.0.0's commit message 
This is a major release with support for PVerifier, Parametric tests,…

… and much more

p-2.4.0

Toggle p-2.4.0's commit message 
Added compiler changes for PObserve release

p-2.4

Toggle p-2.4's commit message 
Added compiler changes for PObserve release

v0.4.1

Toggle v0.4.1's commit message 
Test release for GitHub Actions setup

p-2.3.8

Toggle p-2.3.8's commit message 
Extended the Java code generator to support monitor deep equals

p-2.3.7

Toggle p-2.3.7's commit message 
Bug fix in the lexer to catch special characters

p-2.3.6

Toggle p-2.3.6's commit message 
Fixed bug in feedback strategy