Skip to content

Commit 2b53b73

Browse files
committed
docs: add logbook entry for docker image support
1 parent 77dded6 commit 2b53b73

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed

Logbook.md

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,23 @@
11
# Leios logbook
22

3+
## 2025-02-18
4+
5+
### Docker Support for Simulations
6+
7+
Added Docker support for both the Rust and Haskell simulations, making it easier to run and generate simulation traces without setting up the development environment. The Docker images are built using a multi-stage Dockerfile that creates optimized images for both simulations.
8+
9+
Basic usage examples:
10+
11+
```bash
12+
# Run Rust simulation with default settings
13+
docker run -v $(pwd)/output:/output ouroboros-leios/sim-rs:latest
14+
15+
# Run Haskell simulation for 120 seconds
16+
docker run -v $(pwd)/output:/output ouroboros-leios/sim-hs:latest --output-seconds 120
17+
```
18+
19+
See the [Docker Simulation section in README.md](README.md#docker-simulation) for detailed usage instructions, including how to use custom topology files and configuration options.
20+
321
## 2025-02-16
422

523
### DeltaQ Update

0 commit comments

Comments
 (0)