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 #321 and contains the tree walking methods in AbstractTranslator and in CTranslator. Note that this haven't been fully tested so some of the translation might not work!
This pull request addresses part of the checklist in #321 and contains the tree walking methods in
AbstractTranslatorand inCTranslator. Note that this haven't been fully tested so some of the translation might not work!