Select Git revision
FormulaLanguage.java
-
dgelessus authored
This doesn't affect predicates passed to :exec/:constants/:init yet, because ProB 2's StateSpace.transitionFromPredicate method currently only accepts a string predicate (which is parsed using the model's languate) and not an arbitrary IEvalElement.
dgelessus authoredThis doesn't affect predicates passed to :exec/:constants/:init yet, because ProB 2's StateSpace.transitionFromPredicate method currently only accepts a string predicate (which is parsed using the model's languate) and not an arbitrary IEvalElement.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.