Skip to content

Makes EProve examples really examples#2076

Merged
mariari merged 1 commit intobasefrom
mariari/fixup-eprove-examples
Feb 6, 2026
Merged

Makes EProve examples really examples#2076
mariari merged 1 commit intobasefrom
mariari/fixup-eprove-examples

Conversation

@mariari
Copy link
Copy Markdown
Member

@mariari mariari commented May 21, 2025

The output returned before were not useful, now they serve a purpose

Closes #2066

The output returned before were not useful, now they serve a purpose

Closes #2066
@agureev agureev added enhancement New feature or request examples Deals with creating examples or retrofitting things into examples. labels May 22, 2025
@mariari mariari moved this from Triage to Next in What's Cooking on Anoma Dec 15, 2025
@mariari mariari merged commit f00e842 into base Feb 6, 2026
10 checks passed
@github-project-automation github-project-automation bot moved this from Next to Released in What's Cooking on Anoma Feb 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request examples Deals with creating examples or retrofitting things into examples.

Projects

Status: Released

Development

Successfully merging this pull request may close these issues.

E_prove Examples are not examples

2 participants