Skip to content
Snippets Groups Projects
Select Git revision
  • a448bfa793fefe365fd1d664d3476cf8d322a86b
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.5.0
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
11 results

wrapper

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Initial commit
    dgelessus authored 
    Very basic kernel, only supports evaluation of Classical B expressions
and nothing else.
    a448bfa7
    History
    user avatar a448bfa7
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..