Code

Ivan/dev mbt basics#303

Code

Merged

rnbguy merged 5 commits intodevinformalsystems/modelator:devfrom ivan/devMbtBasicsinformalsystems/modelator:ivan/devMbtBasicsCopy head branch name to clipboardMay 27, 2024

+20-8

Commits

Commits on May 27, 2024

• added two high-level paragraphs on model-based techniques

  ivan-gavran

  committed
  fe7d4a7

  Copy full SHA for fe7d4a7

• Update jekyll/index.md: review suggestion TLA+ and Quint

  Show description for 0b18a40
  

  ivan-gavran

  and

  bugarela

  committed
  0b18a40

  Copy full SHA for 0b18a40

• merge

  ivan-gavran

  committed
  53065d9

  Copy full SHA for 53065d9

• fixed conflict

  ivan-gavran

  committed
  7c7e9e3

  Copy full SHA for 7c7e9e3

• grammar and formatting

  rnbguy

  authored
  cdfa47e

  Copy full SHA for cdfa47e