This repository contains a couple of rev.ng demos.

Check out the subdirectories.

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