Code

Property based testing#667

Code

Merged

matthiasgoergens merged 10 commits intomasterscroll-tech/ceno:masterfrom matthias/proptestscroll-tech/ceno:matthias/proptestCopy head branch name to clipboardDec 17, 2024

+145-16

Commits

Commits on Dec 2, 2024

• Proptest

  matthiasgoergens

  committed
  132eb6a

  Copy full SHA for 132eb6a

• Clean up

  matthiasgoergens

  committed
  114cfe1

  Copy full SHA for 114cfe1

Commits on Dec 9, 2024

• Merge remote-tracking branch 'origin/master' into matthias/proptest

  matthiasgoergens

  committed
  35c3494

  Copy full SHA for 35c3494

• Simplify SLTI tests

  Show description for 50237a9
  matthiasgoergens

  committed
  50237a9

  Copy full SHA for 50237a9

• Merge branch 'matthias/proptest-prep' into matthias/proptest

  matthiasgoergens

  committed
  4ecc0fa

  Copy full SHA for 4ecc0fa

Commits on Dec 10, 2024

• Merge remote-tracking branch 'origin/master' into matthias/proptest

  matthiasgoergens

  committed
  d1e8e9b

  Copy full SHA for d1e8e9b

Commits on Dec 12, 2024

• Merge branch 'master' into matthias/proptest

  matthiasgoergens

  authored
  641289a

  Copy full SHA for 641289a

Commits on Dec 16, 2024

• Add to ignore

  matthiasgoergens

  committed
  b5bc8b3

  Copy full SHA for b5bc8b3

• Merge remote-tracking branch 'origin/master' into matthias/proptest

  matthiasgoergens

  committed
  f49d8d5

  Copy full SHA for f49d8d5

• Merge remote-tracking branch 'origin/matthias/proptest' into matthias/proptest

  matthiasgoergens

  committed
  871a859

  Copy full SHA for 871a859