search

viperproject / silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.
Mozilla Public License 2.0
79 stars 31 forks source link

Add Inhaling expression #848

Open manud99 opened 3 months ago

manud99 commented 3 months ago

Related to viperproject/silver#799