https://github.com/revng/demos
The rev.ng demos
https://github.com/revng/demos
Last synced: 9 months ago
JSON representation
The rev.ng demos
- Host: GitHub
- URL: https://github.com/revng/demos
- Owner: revng
- Created: 2024-06-19T12:33:08.000Z (about 2 years ago)
- Default Branch: master
- Last Pushed: 2025-08-06T20:49:26.000Z (11 months ago)
- Last Synced: 2025-08-06T22:25:27.940Z (11 months ago)
- Language: Shell
- Size: 101 KB
- Stars: 11
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# 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
```