Activity for COMPASS Research
-
COMPASS Research released /StaticFaultAnalysis/FaultAnalysisSourceCode.zip
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Anders Kaels Malmos committed [afd326]
cleanup and added comments
-
Adalberto Cajueiro de Farias committed [0a60a4]
Merged with origin/development. Visitor modifie...
-
The CmlTransitionSet is now an ordered set inst...
-
Merge branch 'development' of ssh://git.code.sf...
-
The cml interpreter now takes a CmlBehaviorFact...
-
Inserted time for some CML constructs in the FO...
-
Kenneth Lausdahl posted a comment on ticket #163
The error no longer occurs. This might be related to a recent fix that resolved bug...
-
The interpreter fails to create post op environment
-
status: accepted --> closed assigned_to: Anders Kaels Malmos --> Kenneth Lausdah...
-
Fixed in [cc7331bc10c7fa62d04f45b4ab692cf36d7523bd] the global context was not correctly...
-
status: open --> closed
-
Fixed in [cc7331bc10c7fa62d04f45b4ab692cf36d7523bd] the global context was not correctly...
-
assigned_to: Kenneth Lausdahl
-
Joey Coleman modified a comment on ticket #185
Don't set this to cannot-reproduce --- it is a new feature request. Talk to me about...
-
Description has changed: Diff: --- old +++ new @@ -18,6 +18,6 @@ actions AssignAct...
-
Don't set this to cannot-reproduce. It's a feature request. Talk to me about what...
-
TC should warn about assignments to variables not in nameset
-
status: cannot-reproduce --> open
-
I'm not sure what the problem is here. The errors reported are defiantly right: 1:...
-
TC should warn about assignments to variables not in nameset
-
Module: unknown --> interpreter
-
Pre-conditions of functions does not seem in scope in guards
-
TC should warn about assignments to variables not in nameset
-
Peter Gorm Larsen created ticket #184
Pre-conditions of functions does not seem in scope in guards
-
Changes int he graph builder component.
-
alphabetised parallelism for actions without st...
-
Merge remote-tracking branch 'origin/developmen...
-
Merge remote-tracking branch 'origin/developmen...
-
Fixed a bug in the parser which did not set the...
-
Parser errors reported in wrong location
-
Fixed in the UI of the model checker.
-
Status: open --> closed
-
Its now possible to use a communication input v...
-
Interpreter Console only accept basic expressions
-
status: pending --> closed
-
Anonymous created ticket #182
Model checker crashes
1