mirror of
https://github.com/johndoe6345789/tla_visualiser.git
synced 2026-04-24 13:45:03 +00:00
- Consolidate file patterns in simulation script - Improve Conan error handling with better messaging - Fix TODO/FIXME check consistency between CI and local - Update documentation badge URL to use generic placeholder Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>