-
-
Notifications
You must be signed in to change notification settings - Fork 11
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.
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
Experimental example translation for CI test #535
base: main
Are you sure you want to change the base?
Conversation
CoqOfRust/examples/default/examples/ink_contracts/simulations/constants.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/constants.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/constants.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/traits.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/traits.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/traits.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/traits.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/traits.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/constants.v
Outdated
Show resolved
Hide resolved
CoqOfRust/examples/default/examples/ink_contracts/simulations/constants.v
Outdated
Show resolved
Hide resolved
let _ := talk dolly in | ||
let _ := shear dolly in | ||
let _ := talk dolly in | ||
returnS? tt. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Once the rebase with main
is done and CI is green we can merge this pull request!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think I'll create a separate branch for the PR, since this draft branch is messy enough and is intended for experimenting
No description provided.