gitmem

Experimental interpreter for creating execution diagrams for a new concurrency model.

To build you need CMake and Ninja. CMake will fetch any other dependencies.

The following commands should set you up:

mkdir build
cd build
cmake -G Ninja .. -DCMAKE_CXX_COMPILER=clang++ -DCMAKE_BUILD_TYPE=Debug
ninja

If you need, set the C standard with -DCMAKE_CXX_STANDARD=20. If you are running a recent version of CMake, you may need -DCMAKE_POLICY_VERSION_MINIMUM=3.5.

You can test if the build was successful by running the following command in the build directory:

./gitmem_trieste test

The build script creates two executables:

• gitmem parses source code and runs the interpreter in order to create an execution diagram (work in progress).
• gitmem_trieste is the default Trieste driver which can be used to inspect the parsed source code and test the parser. Running gitmem_trieste build foo.gm will create a file foo.trieste with the parsed source code as an S-expression.