Skip to content
Snippets Groups Projects
Select Git revision
3 results

notebooks

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Allow switching the language used to parse formulas input by the user
    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.
    6b8d6bb6
    History
    user avatar 6b8d6bb6
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..