Skip to content

Update Princess and Ostrich - #716

Open
daniel-raffler wants to merge 2 commits into
masterfrom
ostrich2.1
Open

daniel-raffler wants to merge 2 commits into
masterfrom
ostrich2.1

Conversation

@daniel-raffler

Copy link
Copy Markdown
Contributor

Hello,

this PR updates Princess to version 2026-05-20 and Ostrich to 2.1. The update includes a fix for an issue with String formula evaluation that we reported here

The new Princess/Ostrich version still needs to be uploaded to ivy:

ant install -Dorganisation=io.github.uuverifiers -Dmodule=princess_2.13 -Drevision=2026-05-20
ant install -Dorganisation=io.github.uuverifiers -Dmodule=ostrich_2.13 -Drevision=2.1

@daniel-raffler daniel-raffler added Princess dependencies Pull requests that update a dependency file labels Sep 25, 2026
@daniel-raffler daniel-raffler mentioned this pull request Sep 26, 2026
6 tasks
@daniel-raffler daniel-raffler linked an issue Sep 30, 2026 that may be closed by this pull request

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file Princess

Development

Successfully merging this pull request may close these issues.

Princess: "Arithmetic atom not found" error Princess: Handle String Literals in Evaluation of Partial Model

1 participant