Contract Verify Tool

Although developers are aware of the feature restrictions that C++ enforces for smart contract (SC) files, they may sometimes unintentionally violate them. To address this, we introduce a tool that automatically verifies whether C++ files comply with the language feature restrictions Qubic imposes on SC files.

Instruction

Source and tutorial can be found here: https://github.com/Franziska-Mueller/qubic-contract-verify