Code

GitHub issue 511#34

Code

Closed

robin-aws wants to merge 52 commits intomasterrobin-aws/dafny:masterfrom github-issue-511robin-aws/dafny:github-issue-511Copy head branch name to clipboard

+5,689-3,241

Commits

Commits on Oct 12, 2023

• Expose the nat issue

  robin-aws

  committed
  5d4a536

• Not emitting nat working for Java, C# and go

  robin-aws

  committed
  ee1f458

• Better solution (—include-system-module)

  robin-aws

  committed
  1467945

• Fix Java assumption that _System is always compiled before default module :P

  robin-aws

  committed
  e0321a5

• Generalize EmitRuntimeSource

  robin-aws

  committed
  80f4a69

• Get separate-compilation test case to pass

  robin-aws

  committed
  cac5f6d

• Fix Go System module naming

  robin-aws

  committed
  3f43125

Commits on Oct 13, 2023

• Hook up build verification for Go

  robin-aws

  committed
  ae4824d

• Hook up Java (ugh)

  robin-aws

  committed
  122bf3d

• Hook up C# (partial)

  robin-aws

  committed
  3a6f48c

• Revert "Hook up C# (partial)"

  Show description for ddd92b9
  robin-aws

  committed
  ddd92b9

• Remove {:compile false} from System declarations

  robin-aws

  committed
  0da417a

• Revert "Revert "Hook up C# (partial)""

  Show description for 423662b
  robin-aws

  committed
  423662b

• Revert "Revert "Revert "Hook up C# (partial)"""

  Show description for a81d0ab
  robin-aws

  committed
  a81d0ab

• Hook up for C# (better this time, still not perfect)

  robin-aws

  committed
  4ae4a3b

Commits on Oct 20, 2023

• Move generated files into separate directory

  robin-aws

  committed
  f58fe08

• Fix Java compilation of tuples, correctly populate Tuple1

  robin-aws

  committed
  0d9ac87

• Unify runtime testing workflow better

  robin-aws

  committed
  129b08f

• Fill in arrows and arrays up to 20

  robin-aws

  committed
  dcd038c

• Add Python Makefile

  robin-aws

  committed
  96c3bae

Commits on Oct 23, 2023

• Don’t compile partial or total function declarations (broken)

  robin-aws

  committed
  29f26b9

Commits on Oct 24, 2023

• Temporarily add tuples back to break circular dependency

  robin-aws

  committed
  7303e87

• Only arity <= 16 for functions and arrays

  robin-aws

  committed
  cd9167b

• Update Go

  robin-aws

  committed
  5b86ff3

• Put Dafny-generated source under obj

  robin-aws

  committed
  51cb7eb

• More progress

  robin-aws

  committed
  0facbbf

• Better option to solve ugliness in C# etc

  robin-aws

  committed
  980d12f

• Use _System module for Java

  Show description for cc2a370
  robin-aws

  committed
  cc2a370

• Remove system module arity tracking in Java compiler

  robin-aws

  committed
  1e013e6

• Two more tweaks for Java

  robin-aws

  committed
  39c71e5

• Legacy UI for —system-module option, missing _Tuple1 in C#

  robin-aws

  committed
  72d5ea6

• Update verbose translation tests

  robin-aws

  committed
  26a7214

• Merge branch 'master' of https://github.com/dafny-lang/dafny into github-issue-511

  Show description for 67fb7c1
  robin-aws

  committed
  67fb7c1

Commits on Oct 25, 2023

• FuncExtensions looks unused, let’s find out… :)

  robin-aws

  committed
  7b6258b

• Hook up C++ and Rust (not fully working yet I suspect)

  robin-aws

  committed
  06dc8c7

• Revert "FuncExtensions looks unused, let’s find out… :)"

  Show description for dc012ae
  robin-aws

  committed
  dc012ae

• Fix internal builtins in C#

  robin-aws

  committed
  c3c2ee2

Commits on Oct 26, 2023

• Adding —include-runtime:false for the benefit of C# testing

  robin-aws

  committed
  86bc5e8

• No point in compiling arrow types, SinglePassCompiler ignores all value types

  robin-aws

  committed
  d518542

• Fix —include-runtime:false in MultiBackendTest for C#

  robin-aws

  committed
  8a41a9f

• Omit C+ and Rust for now, update expect files that print resolved programs

  robin-aws

  committed
  2429f0c

• Whitespace (and exclude another generated-from-Dafny file)

  robin-aws

  committed
  639b9e6

• Mechanisms to check the built-in limits

  robin-aws

  committed
  d9d3713

Commits on Oct 27, 2023

• More complete error checking

  robin-aws

  committed
  dbc369f

Commits on Oct 31, 2023

• Document #if ISDAFNYRUNTIMELIB, typos

  robin-aws

  committed
  ca730f8

• Documentation in user guide and features table

  robin-aws

  committed
  dc0b8eb

• Merge branch 'master' into github-issue-511

  robin-aws

  authored
  4812b89

• Sigh…whitespace

  robin-aws

  committed
  582fe2c

• Merge branch 'github-issue-511' of github.com:robin-aws/dafny into github-issue-511

  robin-aws

  committed
  ab8c23b

Commits on Nov 1, 2023

• PR feedback, release note

  robin-aws

  committed
  761cbf8

• Merge branch 'master' into github-issue-511

  robin-aws

  authored
  b783675

Commits on Nov 2, 2023

• Merge branch 'master' into github-issue-511

  keyboardDrummer

  authored
  f4adb04