Home

This repository implements a number of extension to the C++ Programming Language.

Instructions on building the extended compiler can be found on the wiki here.

There are two main branches of interest:

• contracts (wiki) contains an implementation of pre-c++20 contracts including several extensions.
• contract-labels (wiki) contains an implementation of pre-c++20 contracts with a label based approach for determining concrete semantics.
• combined (wiki) is the contracts branch merged with the upstream WIP modules branch plus a few extra features to make contracts play nicely with modules.