OpenModelica master from 2017-05-12 10:59:42 to 2017-05-12 11:19:52
Summary
OMC Commits
0
Libraries Changed
0
Number of Improvements
202
Number of Regressions
0
Number of Performance Improvements
0
Number of Performance Regressions
0
OpenModelica Changes
Commit
Author
Summary
Library Changes
Library
Change
Models Affected
Modelica_Synchronous
Modelica_Synchronous.Examples.CascadeControlledDrive.Continuous
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.AssignClock
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.AssignClockVectorized
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.BackSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.Sample1
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.Sample2
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.SampleClocked
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.SampleVectorizedAndClocked
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.ShiftSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.SubSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.SuperSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedPulse
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedStep
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.TimeBasedStep
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.BooleanSignals.UpSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.ClockSignals.ShiftSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.ClockSignals.SubSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.ClockSignals.SuperSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.AssignClock
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.AssignClockVectorized
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.BackSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.Sample1
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.Sample2
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.SampleClocked
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.SampleVectorizedAndClocked
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.ShiftSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.SubSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.SuperSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.TickBasedStep
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.TimeBasedStep
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.IntegerSignals.UpSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.AssignClock
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.AssignClockToSquareWaveHold
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.AssignClockToTriggerHold
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.AssignClockVectorized
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.BackSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.Sample1
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.Sample2
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.Sample3
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.SampleClocked
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.SampleVectorizedAndClocked
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.SampleWithADeffects
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.ShiftSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.SubSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.SuperSample
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.SuperSampleInterpolated
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.UniformNoise
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.UpSample1
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Elementary.RealSignals.UpSample2
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscreteController
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscreteTextbookController
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscretizedContinuousController
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.SimpleControlledDrive.Continuous
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Systems.ControlledMixingUnit
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Systems.EngineThrottleControl
(sim)
Simulate → Verify
Modelica_Synchronous
Modelica_Synchronous.Examples.Systems.Utilities.ComponentsMixingUnit.MixingUnitWithContinuousControl
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.CascadeControlledDrive.AbsoluteClocks
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.CascadeControlledDrive.Continuous
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.CascadeControlledDrive.SubClocked
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.AssignClock
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.AssignClockVectorized
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.BackSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.Hold
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.Sample1
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.Sample2
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.SampleClocked
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.SampleVectorizedAndClocked
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.ShiftSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.SubSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.SuperSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedPulse
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.TickBasedStep
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.TimeBasedPulse
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.TimeBasedStep
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.BooleanSignals.UpSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.ClockSignals.ShiftSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.ClockSignals.SubSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.ClockSignals.SuperSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.AssignClock
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.AssignClockVectorized
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.BackSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.Hold
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.Sample1
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.Sample2
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.SampleClocked
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.SampleVectorizedAndClocked
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.ShiftSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.SubSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.SuperSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.TickBasedStep
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.TimeBasedStep
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.IntegerSignals.UpSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.AssignClock
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.AssignClockToSquareWaveHold
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.AssignClockToTriggerHold
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.AssignClockVectorized
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.BackSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.FractionalDelay
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.Hold
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.HoldWithDAeffects1
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.HoldWithDAeffects2
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.Sample1
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.Sample2
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.Sample3
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.SampleClocked
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.SampleVectorizedAndClocked
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.SampleWithADeffects
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.ShiftSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.SubSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.SuperSample
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.SuperSampleInterpolated
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.UniformNoise
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.UpSample1
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Elementary.RealSignals.UpSample2
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscreteController
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscreteTextbookController
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.SimpleControlledDrive.ClockedWithDiscretizedContinuousController
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.SimpleControlledDrive.ClockedWith_AD_DA_Effects
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.SimpleControlledDrive.Continuous
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.SimpleControlledDrive.ExactlyClockedWithDiscreteController
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Systems.ControlledMixingUnit
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Systems.EngineThrottleControl
(sim)
Simulate → Verify
Modelica_Synchronous_cpp
Modelica_Synchronous.Examples.Systems.Utilities.ComponentsMixingUnit.MixingUnitWithContinuousControl
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.Conflict
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.ConflictLoop
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.LoopAndArcweight
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.PCtoTC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.SinglePC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.SingleTC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.Speed
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.TCtoPC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.ZeroArcWeight
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ConTest.ZeroPlace
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.ConflictBeneBaB
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.ConflictBeneGreedy
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.ConflictBeneQuotient
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.ConflictPrio
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.ConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.DisLoopAndArcweight
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.EightConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.FiveTimes
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.InputConflictBeneBaB
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.InputConflictBeneGreedy
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.InputConflictBeneQuotient
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.InputConflictPrio
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.InputConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.NoInputConflict
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.OutputConflictBeneBaB
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.OutputConflictBeneGreedy
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.OutputConflictBeneQuotient
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.OutputConflictPrio
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.OutputConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.PDtoTD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.PDtoTT
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.PrioTest
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.SinglePD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.SingleTD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.SixConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TDtoPD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TEnoInput
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TEtest
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TFDinputConflict
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TFDoutCap
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TFDoutputConflict
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TFDtest
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TTcircle
(sim)
Simulate → Verify
PNlib
PNlib.Examples.DisTest.TTtoPD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.ArcswithPCtoTC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.DoubleArcwithPCtoTC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.DoubleArcwithPTtoTD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.DoubleArcwithPTtoTD2
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.IATest
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.IAwithPCtoTC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.IAwithPDtoTD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.IAwithPDtoTD2
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TATest
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TAwithPCtoTC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TAwithPDtoTD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TAwithPDtoTD2
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TAwithWeaklyActivation
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TFDStest
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TSTest
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TSdiscrete
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TStriangular
(sim)
Simulate → Verify
PNlib
PNlib.Examples.ExtTest.TSuniform
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.ConflictPrio
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.ConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.ConflictType3
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.ConflictType4
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.EightConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.HybLoopAndArcweight
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.InputConflictPrio
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.InputConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.InputConflictType3
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.OutputConflictPrio
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.OutputConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.OutputConflictType3
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.PCtoTD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.SixConflictProb
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.TCwithPD
(sim)
Simulate → Verify
PNlib
PNlib.Examples.HybTest.TDtoPC
(sim)
Simulate → Verify
PNlib
PNlib.Examples.Models.BicoloredPlaces.Aquarium
(sim)
Simulate → Verify