Code

Add PRISM backend to probably#11

Code

Open

linusheck wants to merge 6 commits intoPhilipp15b:masterPhilipp15b/probably:masterfrom linusheck:masterlinusheck/probably:masterCopy head branch name to clipboard

+329-4

Commits

Commits on Sep 24, 2023

• Add PRISM backend to probably

  linusheck

  committed
  c65b762

  Copy full SHA for c65b762

• Add Binops

  linusheck

  committed
  c6eb165

  Copy full SHA for c6eb165

• Fix modulo, add power and divide

  linusheck

  committed
  9b29231

  Copy full SHA for 9b29231

• Fix: floor() for integer divisions

  linusheck

  committed
  c167620

  Copy full SHA for c167620

• Fix bounds

  linusheck

  committed
  bfaffd8

  Copy full SHA for bfaffd8

• Fix mypy check

  linusheck

  committed
  785a6ba

  Copy full SHA for 785a6ba