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

settings.gradle

Blame
    • dgelessus's avatar
      a448bfa7
      Initial commit · a448bfa7
      dgelessus authored 
      Very basic kernel, only supports evaluation of Classical B expressions
and nothing else.
      a448bfa7
      History
      Initial commit
      dgelessus authored 
      Very basic kernel, only supports evaluation of Classical B expressions
and nothing else.
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    intro-stochastik.md 16.56 KiB