This repository contains a couple of rev.ng demos.
Check out the subdirectories, each of them contains a brief description.
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