Morten Jacobsen

Related bugs


1 → 7 of 7 results First • Previous • Next • Last
Medium
New
#798077 Fix Flex in the Mac compilation
VerifyTAPN 6
Wishlist
Triaged
#476378 UPPAAL style indicators on queries
TAPAAL 6
Wishlist
Triaged
#810908 Editing Features
TAPAAL 12
Undecided
New
#780032 Trace generation uses doubles
VerifyTAPN 6
Undecided
New
#819458 Wrong behaviour in relationg to boundedness analysis
VerifyTAPN 6
Undecided
New
#819458 Wrong behaviour in relationg to boundedness analysis
VerifyTAPN 1.0 6
Undecided
New
#819458 Wrong behaviour in relationg to boundedness analysis
VerifyTAPN trunk 6
1 → 7 of 7 results First • Previous • Next • Last