You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: Logbook.md
+18Lines changed: 18 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,5 +1,23 @@
1
1
# Leios logbook
2
2
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.
0 commit comments