rev.ng demos

This repository contains a couple of rev.ng demos.

Check out the subdirectories, each of them contains a brief description.

How to run all demos

Demos run into a container, to run them all:

./run

To run an individual demo:

podman build -t revng-demo .
./container
/demo/1-model/run