Code

Bundle stdlibs with runtimes#35

Code

Draft

robin-aws wants to merge 8 commits intomasterrobin-aws/dafny:masterfrom bundle-stdlibs-with-runtimesrobin-aws/dafny:bundle-stdlibs-with-runtimesCopy head branch name to clipboard

+4,787-108

Commits

Commits on Nov 3, 2023

• Test passing, massive cleanup still to do

  robin-aws

  committed
  ba1fc5e

• Generalize Python and Go Makefiles

  robin-aws

  committed
  77bf47d

• Check generated code in CI

  robin-aws

  committed
  534c258

• Add —default-module, unify Makefile testing in CI

  robin-aws

  committed
  b02b369

• Nix standard-libraries.yml (also make-based)

  robin-aws

  committed
  4d7ec87

• Merge branch 'master' of https://github.com/dafny-lang/dafny into bundle-stdlibs-with-runtimes

  Show description for 107ff66
  robin-aws

  committed
  107ff66

• Fix C# translation, update to pick up BoundedInts

  robin-aws

  committed
  4e7599f

• Fix go and stdlib make testing

  robin-aws

  committed
  de59d02