![]() Minor fixes and improments to the symbolic simulator.Added French locale (Mathieu Giorgino).simulate[? now support clocks and double (for SMC). Changed simulate query syntax so that the number of runs can be omitted or can be specified inside simulation bounds, e.g.March 20th, 2019: Uppaal 4.1.20 - Development snapshot.Fixed symbolic simulator to display the current state locations.March 28th, 2019: Uppaal 4.1.21 - Development snapshot.Fixed diagnostic trace loading into simulators.March 28th, 2019: Uppaal 4.1.22 - Development snapshot.Fixed clipboard (Cmd+C, Cmd+V) actions for Mac OS X.Fixed symbolic simulator freeze in a complicated tab-switching scenario.September 11th, 2019: Uppaal 4.1.23 - Development snapshot. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |