search

UPPAALModelChecker / docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
https://docs.uppaal.org
1 stars 13 forks source link

Add simulation trace extension to file formats #56

Closed MrVideo closed 5 months ago

MrVideo commented 5 months ago

This is a quick fix to #53. I hope there is enough information to make it useful to everyone and not go off-topic.

CLAassistant commented 5 months ago

CLA assistant check
All committers have signed the CLA.

mikucionisaau commented 5 months ago

@MrVideo thank you for the contribution! @magoorden could you see if that is enough for your purposes to close #53?

MrVideo commented 5 months ago

I changed a couple more things (536bc0a255904905088eed09cf2fa39067cb479d) in order to make the documentation clearer, hope it's ok :)

magoorden commented 5 months ago

@magoorden could you see if that is enough for your purposes to close #53?

Yes, this would solve #53.