Code

Current test generation#5

Code

Open

Dargones wants to merge 47 commits intomasterDargones/dafny:masterfrom currentTestGenerationDargones/dafny:currentTestGenerationCopy head branch name to clipboard

+138-25

Commits

Commits on Oct 21, 2021

• Mocking for {:test} attribute

  Dargones

  committed
  aa1cdcb

  Copy full SHA for aa1cdcb

• Fix accidental change

  Dargones

  committed
  7ab10f0

  Copy full SHA for 7ab10f0

• A different test and a fix

  Dargones

  committed
  c307c4e

  Copy full SHA for c307c4e

• fix(semanticCommit): learning new things every day also removed that TODO

  Dargones

  committed
  4300897

  Copy full SHA for 4300897

• fix: making the pr semantic

  Dargones

  committed
  a3405f7

  Copy full SHA for a3405f7

Commits on Nov 2, 2021

• Merge branch 'dafny-lang:master' into counterexamples

  Dargones

  authored
  a832b13

  Copy full SHA for a832b13

• Mocks using extern

  Dargones

  committed
  b6e2df4

  Copy full SHA for b6e2df4

Commits on Jan 25, 2022

• Dummy commit

  Dargones

  committed
  f61a3a3

  Copy full SHA for f61a3a3

• Merge branch 'dafny-lang:master' into testFrameworkCSharp

  Dargones

  authored
  9648bb6

  Copy full SHA for 9648bb6

Commits on Jan 27, 2022

• Mocking First Steps

  Dargones

  committed
  9d69721

  Copy full SHA for 9d69721

Commits on Jan 29, 2022

• Basic Argument Matching

  Dargones

  committed
  58c47ba

  Copy full SHA for 58c47ba

Commits on Jan 30, 2022

• Mock Fields

  Dargones

  committed
  c9fab47

  Copy full SHA for c9fab47

• MockWriter class

  Dargones

  committed
  bf8ab5f

  Copy full SHA for bf8ab5f

• Merge branch 'dafny-lang:master' into testFrameworkCSharp

  Dargones

  authored
  6f5c75b

  Copy full SHA for 6f5c75b

• Improve Readability

  Dargones

  committed
  2237bd3

  Copy full SHA for 2237bd3

• Merge branch 'testFrameworkCSharp' of https://github.com/Dargones/dafny into testFrameworkCSharp

  Dargones

  committed
  e96574e

  Copy full SHA for e96574e

Commits on Feb 10, 2022

• Merge branch 'dafny-lang:master' into testFrameworkCSharp

  Dargones

  authored
  dbe04a0

  Copy full SHA for dbe04a0

• Compiler style changes

  Dargones

  committed
  1b20628

  Copy full SHA for 1b20628

• Merge branch 'testFrameworkCSharp' of https://github.com/Dargones/dafny into testFrameworkCSharp

  Dargones

  committed
  67bb487

  Copy full SHA for 67bb487

• More tests

  Dargones

  committed
  d643d70

  Copy full SHA for d643d70

• Unique Identifiers

  Dargones

  committed
  1eddfc7

  Copy full SHA for 1eddfc7

• Arbitrary Argument Order

  Dargones

  committed
  e812b43

  Copy full SHA for e812b43

• More detailed documentation

  Dargones

  committed
  5f4aa99

  Copy full SHA for 5f4aa99

• compileMocks attribute

  Dargones

  committed
  28df976

  Copy full SHA for 28df976

• CrossReferencing

  Dargones

  committed
  1af8f55

  Copy full SHA for 1af8f55

Commits on Feb 17, 2022

• Performance and code style

  Dargones

  committed
  5ea83e0

  Copy full SHA for 5ea83e0

• Move mockign to separate file

  Dargones

  committed
  a251c4c

  Copy full SHA for a251c4c

Commits on Feb 18, 2022

• List import fix

  Dargones

  committed
  3493053

  Copy full SHA for 3493053

Commits on Feb 21, 2022

• Merge branch 'master' into testFrameworkCSharp

  keyboardDrummer

  authored
  52dcf8e

  Copy full SHA for 52dcf8e

Commits on Mar 8, 2022

• Functional changes

  Dargones

  committed
  e87a103

  Copy full SHA for e87a103

• Rename mock to synthesize

  Dargones

  committed
  db6d3a8

  Copy full SHA for db6d3a8

• More renaming

  Dargones

  committed
  f99c77d

  Copy full SHA for f99c77d

• Merge branch 'testFrameworkCSharp' of https://github.com/Dargones/dafny into testFrameworkCSharp

  Dargones

  committed
  51c2d28

  Copy full SHA for 51c2d28

• Inlcude Lists

  Dargones

  committed
  d01a357

  Copy full SHA for d01a357

• Merge branch 'dafny-lang:master' into testFrameworkCSharp

  Dargones

  authored
  68a7a86

  Copy full SHA for 68a7a86

Commits on Mar 20, 2022

• Rename mock to synthesize in docs

  Show description for 5be5a55
  

  Dargones

  and

  robin-aws

  authored
  5be5a55

  Copy full SHA for 5be5a55

• Update comments for Synthesizer-Csharp.cs

  Show description for 3a7f1b5
  

  Dargones

  and

  robin-aws

  authored
  3a7f1b5

  Copy full SHA for 3a7f1b5

• Proposed changes

  Dargones

  committed
  d3e2fa5

  Copy full SHA for d3e2fa5

• Merge changes from main repo

  Dargones

  committed
  432defb

  Copy full SHA for 432defb

• Use CHECK directive

  Dargones

  committed
  1f2fb41

  Copy full SHA for 1f2fb41

• Scan AST for synthesize attribute

  Dargones

  committed
  d793691

  Copy full SHA for d793691

• dotnet-format

  Dargones

  committed
  dfca43c

  Copy full SHA for dfca43c

• dummy commit

  Dargones

  committed
  70d2b92

  Copy full SHA for 70d2b92

Commits on Apr 20, 2022

• latest changes

  Dargones

  committed
  bdaa268

  Copy full SHA for bdaa268

• Big Merge

  Dargones

  committed
  cae47da

  Copy full SHA for cae47da

• Merge branch 'dafny-lang-master2' into currentTestGeneration

  Dargones

  committed
  c1d2cb6

  Copy full SHA for c1d2cb6

Commits on May 2, 2022

• Fix classType test generation

  Dargones

  committed
  b57f532

  Copy full SHA for b57f532