New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

APE v2 Should be added to ape-framework.readthedocs.io #60

Open

4 tasks

vedran-kasalica opened this issue Jun 1, 2022 · 1 comment

Open

4 tasks

APE v2 Should be added to ape-framework.readthedocs.io #60

vedran-kasalica opened this issue Jun 1, 2022 · 1 comment

Assignees

Member

vedran-kasalica commented Jun 1, 2022

APE v2 introduces many new features and these should be documented in ape-framework.readthedocs.io

To document:

Mention the additional data dimension "APE_label" that the user can specify when defining inputs/outputs and additional constraints
Describe the new SLTLx format of constraint specifications
Update APE API interface
Update the Use Cases

vedran-kasalica assigned KoenHav and vedran-kasalica

Contributor

KoenHav commented Jul 11, 2022

Being worked on in sanctuuary/APE_readthedocs#1

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