Skip to content

Update screenshots for ivette#72

Merged
AllanBlanchard merged 15 commits into
masterfrom
update/screenshots-for-ivette
May 21, 2026
Merged

Update screenshots for ivette#72
AllanBlanchard merged 15 commits into
masterfrom
update/screenshots-for-ivette

Conversation

@AllanBlanchard

Copy link
Copy Markdown
Owner

No description provided.

@AllanBlanchard AllanBlanchard marked this pull request as draft March 23, 2026 13:58
@AllanBlanchard AllanBlanchard mentioned this pull request Mar 23, 2026
44 tasks
@AllanBlanchard AllanBlanchard force-pushed the update/screenshots-for-ivette branch 3 times, most recently from 5c73511 to 149700a Compare March 28, 2026 19:22
@AllanBlanchard AllanBlanchard force-pushed the update/screenshots-for-ivette branch from 149700a to 8094b30 Compare April 4, 2026 19:49

@AllanBlanchard AllanBlanchard left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Recent changes in GUI

Comment thread resources/function-contract/contract/plugin-options.png
Comment thread resources/program-proof-and-our-tool/frama-c/verif_install-1.png
Comment thread resources/program-proof-and-our-tool/frama-c/verif_install-2.png
Comment thread resources/statements/loops/goto_end.png
Comment thread resources/statements/loops/i_30-1.png
Comment thread resources/function-contract/contract/1-abs-3.png
Comment thread resources/function-contract/contract/1-abs-4.png
Comment thread resources/function-contract/contract/1-abs-5.png
Comment thread resources/function-contract/well-specified/2-bad-precond.png
Comment thread resources/function-contract/well-specified/2-smoke-success.png
@AllanBlanchard AllanBlanchard marked this pull request as ready for review May 21, 2026 13:16
@AllanBlanchard AllanBlanchard merged commit bfc5b2c into master May 21, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant