Release v1.1.0

Major Features:
- Added gpsl-modelchecker module for property verification
- Added Unicode negation support (¬)
- Added Peterson's algorithm example
- Improved NFA extraction and symbol resolution

Full release notes: RELEASE_NOTES_v1.1.0.md

Release v1.0.3

Release version 1.0.3

Fixed CI/CD workflow issues for proper VSIX packaging and release.

Changes in this release:
- Fixed VSIX file path resolution in release workflow
- Replaced deprecated GitHub Actions set-output commands with environment files
- Fixed transition priority ordering to use ascending order (0 > 1 > 2 > 3)
- Updated minimum Java requirement to Java 23
- Updated all documentation and CI/CD workflows for Java 23

Release v1.0.2

Release version 1.0.2

Fixed CI/CD workflow to work with pre-committed version numbers.

Changes in this release:
- Fixed transition priority ordering to use ascending order (0 > 1 > 2 > 3)
- Updated minimum Java requirement to Java 23
- Updated all documentation and CI/CD workflows for Java 23
- Fixed vscode-extension-release.yml workflow version handling

v1.0.1

Full Changelog: v1.0.0...v1.0.1

v1.0.0

What's Changed

• Add license scan report and status by @fossabot in #1

New Contributors

• @fossabot made their first contribution in #1

Full Changelog: https://github.com/plug-obp/gpsl-java/commits/v1.0.0