h0nzZik / cpp2-semantics

Towards a formal semantics of CPP2

cpp2-semantics

Towards a formal semantics of CPP2

Building and testing with Nix

Building

nix build -L .

Testing

nix shell --command make -C tests smoke-test

In-repository builds and tests

make -C src
make KCPP2=(pwd)/.build/bin/kcpp2 -C tests smoke-test