Skip to content
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

Generate Haskell code from the Agda spec #1312

Open
javierdiaz72 opened this issue Nov 19, 2024 · 0 comments · May be fixed by #1315
Open

Generate Haskell code from the Agda spec #1312

javierdiaz72 opened this issue Nov 19, 2024 · 0 comments · May be fixed by #1315
Assignees
@javierdiaz72
Labels
conformance Changes related to conformance testing enhancement New feature or request formal-spec Changes related to formal specifications

Comments

@javierdiaz72
Copy link
Contributor

As the next task in implementing conformance testing with respect to the formal specification, we shall set up the required infrastructure to generate Haskell code from the Agda specification.
@javierdiaz72 javierdiaz72 added enhancement New feature or request formal-spec Changes related to formal specifications conformance Changes related to conformance testing labels Nov 19, 2024
@javierdiaz72 javierdiaz72 self-assigned this Nov 19, 2024
@javierdiaz72 javierdiaz72 moved this to 🔖 Ready in Consensus Team Backlog Nov 19, 2024
@javierdiaz72 javierdiaz72 linked a pull request Nov 21, 2024 that will close this issue
Draft
@javierdiaz72 javierdiaz72 moved this from 🔖 Ready to 🏗 In progress in Consensus Team Backlog Nov 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@javierdiaz72 javierdiaz72

Labels
conformance Changes related to conformance testing enhancement New feature or request formal-spec Changes related to formal specifications
Projects
Consensus Team Backlog
Status: 🏗 In progress
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Generate Haskell code from the Agda spec IntersectMBO/ouroboros-consensus
1 participant
@javierdiaz72