Skip to content
This repository has been archived by the owner on Sep 6, 2023. It is now read-only.

Releases: viadee/vPAV

3.0.8

06 Jan 13:15
@sdibernardo sdibernardo
3.0.8
cf846b8
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
3.0.8 Latest
Latest

What's Changed

Full Changelog: 3.0.7...3.0.8

Contributors

sdibernardo and dependabot
Assets 3
Loading

3.0.7

17 Dec 13:28
@sdibernardo sdibernardo
3.0.7
fc94085
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
3.0.7

Minor changes and most important: removal of vulnerable log4j

What's Changed

Full Changelog: 3.0.6...3.0.7

Contributors

sdibernardo, dependabot, and DaZang
Assets 3
Loading

3.0.6

06 Aug 09:44
@TamaraGunkel TamaraGunkel
3.0.6
0e27711
Compare
Choose a tag to compare
3.0.6

Added frontend view for displaying the elements that reference source code. Bug fixes for reading properties and ruleSets files.

Assets 3
Loading

3.0.5

28 May 19:03
@TamaraGunkel TamaraGunkel
3.0.5
0fea0cc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
3.0.5

Reworked Java Code processing to improve stability and adding support for resolving variable values

Assets 3
Loading

3.0.4

19 Feb 14:35
@sdibernardo sdibernardo
3.0.4
518de2e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
3.0.4 
Update pom.xml
Assets 2
Loading

3.0.1

17 Jun 21:05
@sdibernardo sdibernardo
3.0.1
ab076fc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
3.0.1

Further increased accuracy of the ProcessVariableModelChecker and improved usability of vPAV by adding more configurability.

Assets 2
Loading

3.0.0

28 May 09:48
@sdibernardo sdibernardo
3.0.0
f79ebfd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
3.0.0

Reworked the ProcessVariableModelChecker for improved accuracy. Additionally improved discovery of process variables

Assets 2
Loading

2.8.2

08 Apr 12:01
@sdibernardo sdibernardo
2.8.2
a618e02
Compare
Choose a tag to compare
2.8.2

Hotfix for windows based systems. Fixed exception when trying to resolve delegate beans with Soot

Assets 2
Loading

2.8.1

15 Mar 13:36
@sdibernardo sdibernardo
2.8.1
e21ec83
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
2.8.1

Added support for transitive interface implementation, improved discovery of process variables.
Implemented the a new checker: MessageChecker and ensured dependencies are solely resolved via maven central

Assets 2
Loading

2.8.0

22 Jan 11:04
@sdibernardo sdibernardo
2.8.0
57d59eb
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
2.8.0

Reworked discovery of process variables and used latest release of Soot.
Intermediate changes of process variables (message events, etc.) will be covered in subsequent releases.

Assets 2
Loading