kani icon indicating copy to clipboard operation
kani copied to clipboard

Published 20 hours ago • verified publisher icon model-checking

question: semantics of rust

Open florianschanda opened this issue 7 months ago • 3 comments

Hi,

I have a question as to the intended rust semantics that Kani implements, and an improvement request to document the answer to this question in the README :)

  • Do you basically do what rustc does?
  • Do you do what ferrocene specifies?
  • Something else entirely?

Thanks!

florianschanda avatar Jul 25 '24 11:07 florianschanda