Extend clang lexer to support contract-keywords and gate behind -fverify-contracts - #2

Extend clang lexer to support contract-keywords and gate behind -fverify-contracts#2

SwayamInSync merged 2 commits into

mainSwayamInSync/cpp-verify:mainfrom

contract-keywordsSwayamInSync/cpp-verify:contract-keywordsCopy head branch name to clipboard