Code

Add bit_wise function simulations#27

Code

Merged

InfiniteEchoes merged 3 commits intomainformal-land/coq-of-python:mainfrom gy@AddBitSimulationsformal-land/coq-of-python:gy@AddBitSimulationsCopy head branch name to clipboardMay 24, 2024

+361-5

Commits

Commits on May 23, 2024

• draft update

  InfiniteEchoes

  committed
  aadfc0e

  Copy full SHA for aadfc0e

• Merge branch 'main' into gy@AddBitSimulations

  InfiniteEchoes

  committed
  5cce685

  Copy full SHA for 5cce685

Commits on May 24, 2024

• Add aux functions & base_type simulation

  InfiniteEchoes

  committed
  4edc1ab

  Copy full SHA for 4edc1ab