Pre post - #2

Open

parisaF163 wants to merge 5 commits into

mainfrom

Commits on Dec 15, 2023

support for pre and post conditions
pFathololumi
committed
df99173

Commits on Jan 21, 2024

merge main into pre-post
pFathololumi
committed
9248018

Commits on Apr 30, 2024

merge GCommute with Commute statement
pFathololumi
committed
f0e3864

Commits on Jan 27, 2025

new examples

parisaF163
authored and
parisaF163
committed
84a2d60

Commits on Feb 24, 2025

issue with hoare triple proof
parisaF163
committed
e1f64d6