RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
This pull request addresses part of the checklist in #278. It contains the Shared Variable Initialization and Shared Variables Well Correspondence rules. In addition, it contains fixes for #325, #326, #327 and #328. It also fixes problems with syntactic conversions for arrays and symbol querying crashes.
This pull request addresses part of the checklist in #278. It contains the
Shared Variable InitializationandShared Variables Well Correspondencerules. In addition, it contains fixes for #325, #326, #327 and #328. It also fixes problems with syntactic conversions for arrays and symbol querying crashes.