Code

Beginning of semantics#5

Code

Merged

clarus merged 5 commits intomainformal-land/coq-of-python:mainfrom guillaume-claret@beginning-of-a-semanticsformal-land/coq-of-python:guillaume-claret@beginning-of-a-semanticsCopy head branch name to clipboardMay 13, 2024

+64,187-58,846

Commits

Commits on May 11, 2024

• wip

  clarus

  committed
  14790dd

Commits on May 12, 2024

• Add definitions to read in the locals

  clarus

  committed
  d537d38

• Definition of a simulation for the add function

  clarus

  committed
  71868b6

• Add a definition for a Run.t predicate

  clarus

  committed
  c6d3d85

• Progress towards the verification of the add function

  clarus

  committed
  6d0e196