Code

Benchmarks and Diagrams#169

Code

Merged

jtristan merged 15 commits intomaindafny-lang/Dafny-VMC:mainfrom benchmarksdafny-lang/Dafny-VMC:benchmarksCopy head branch name to clipboardMar 18, 2024

+149

Commits

Commits on Mar 14, 2024

• skeleton

  stefan-aws

  committed
  5748362

  Copy full SHA for 5748362

• fix

  stefan-aws

  committed
  c9a51dc

  Copy full SHA for c9a51dc

• Merge branch 'main' into benchmarks

  stefan-aws

  authored
  76382a8

  Copy full SHA for 76382a8

• range

  stefan-aws

  committed
  d481afa

  Copy full SHA for d481afa

• Merge branch 'benchmarks' of https://github.com/dafny-lang/dafny-vmc into benchmarks

  stefan-aws

  committed
  6adca18

  Copy full SHA for 6adca18

Commits on Mar 15, 2024

• submodules

  stefan-aws

  committed
  d5cbb4d

  Copy full SHA for d5cbb4d

• permissions

  stefan-aws

  committed
  c7fcfc6

  Copy full SHA for c7fcfc6

• renaming

  stefan-aws

  committed
  28ee424

  Copy full SHA for 28ee424

• Update docs/py/Benchmarks/gaussian_benchmarks.py

  Show description for 1cae534
  

  stefan-aws

  and

  tlepoint

  authored
  1cae534

  Copy full SHA for 1cae534

• Update docs/py/Benchmarks/gaussian_benchmarks.py

  Show description for 732b97f
  

  stefan-aws

  and

  tlepoint

  authored
  732b97f

  Copy full SHA for 732b97f

• Update docs/py/Benchmarks/gaussian_benchmarks.py

  Show description for b3fb372
  

  stefan-aws

  and

  tlepoint

  authored
  b3fb372

  Copy full SHA for b3fb372

• new variable naming, fix labeling, randomize -> randomise

  stefan-aws

  committed
  cc51a26

  Copy full SHA for cc51a26

• diagrams

  stefan-aws

  committed
  b2fdb64

  Copy full SHA for b2fdb64

• missed file

  stefan-aws

  committed
  e0c7f16

  Copy full SHA for e0c7f16

Commits on Mar 18, 2024

• Merge branch 'main' into benchmarks

  jtristan

  authored
  6ac6d44

  Copy full SHA for 6ac6d44