Commits

Branch selector

 master

User selector

Dargones

Datepicker

All time

Commit History

Commits on Oct 31, 2023

• Fix double counting of lines in test coverage reports (dafny-lang#4710)

  Show description for af3f474
  

  3 peopleauthored
  af3f474

  Copy full SHA for af3f474

Commits on Oct 21, 2023

• [Test Generation] Fix unstable test (dafny-lang#4695)

  Show description for 30a8abc
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  30a8abc

  Copy full SHA for 30a8abc

Commits on Oct 16, 2023

• Parity for Test Coverage and Proof Dependency Coverage Reports (dafny-lang#4670)

  Show description for ad7a358
  

  3 peopleauthored
  ad7a358

  Copy full SHA for ad7a358

• Fix concurrency bug in a test case (dafny-lang#4663)

  Show description for 4248aaa
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  4248aaa

  Copy full SHA for 4248aaa

Commits on Oct 6, 2023

• [Test Generation] Comprehensive Test (dafny-lang#4406)

  Show description for 7317be7
  

  3 peopleauthored
  7317be7

  Copy full SHA for 7317be7

Commits on Sep 16, 2023

• [Test Generation] Reduce memory footprint by reusing the same Boogie program for multiple test generation queries (dafny-lang#4530)

  Show description for 04e2007
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  04e2007

  Copy full SHA for 04e2007

Commits on Aug 27, 2023

• Documenting Test Generation in Reference Manual (dafny-lang#4445)

  Show description for 528b593
  

  3 peopleauthored
  528b593

  Copy full SHA for 528b593

Commits on Aug 25, 2023

• Test Generation Auditor (dafny-lang#4444)

  Show description for 95eb74b
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  95eb74b

  Copy full SHA for 95eb74b

Commits on Aug 17, 2023

• Dafny Test Coverage Report (dafny-lang#4325)

  Show description for 9e18bfc
  

  3 peopleauthored
  9e18bfc

  Copy full SHA for 9e18bfc

Commits on Aug 10, 2023

• [Test Generation] Change the set of coverage criteria that can be targeted (dafny-lang#4326)

  Show description for 4438b2a
  

  3 peopleauthored
  4438b2a

  Copy full SHA for 4438b2a

Commits on Aug 9, 2023

• [Test Generation] Deprecate support for old command line interface (dafny-lang#4385)

  Show description for 195bb6e
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  195bb6e

  Copy full SHA for 195bb6e

• [Counterexamples] Fix stack overflow during counterexample extraction for some programs (dafny-lang#4392)

  Show description for 203defd
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  203defd

  Copy full SHA for 203defd

Commits on Jul 26, 2023

• Inlining overhaul for test generation (dafny-lang#4255)

  Show description for 22d5422
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  22d5422

  Copy full SHA for 22d5422

Commits on Jul 3, 2023

• Update Counterexample Parsing to Support Different Polymorphism Encodings in Boogie (anticipating dafny-lang#4210) (dafny-lang#4229)

  Show description for 1695902
  

  3 peopleauthored
  1695902

  Copy full SHA for 1695902

Commits on Jun 27, 2023

• Disable ShowSnippets during Test Generation (dafny-lang#4216)

  Show description for 2b26b9d
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  2b26b9d

  Copy full SHA for 2b26b9d

Commits on Jun 7, 2023

• [Test Generation] Remove redundant code (dafny-lang#4146)

  Show description for bd9900e
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  bd9900e

  Copy full SHA for bd9900e

Commits on May 25, 2023

• [Test Generation] Fix bug in function to function-by-method transformation (dafny-lang#4067)

  Show description for b3045a8
  

  Dargones

  and

  Aleksandr Fedchin

  authored
  b3045a8

  Copy full SHA for b3045a8

• (Test Generation) Fix dafny-lang#3726 bug leading to stack overflow during test generation (dafny-lang#3727)

  Show description for df1f683
  

  3 peopleauthored
  df1f683

  Copy full SHA for df1f683

Commits on May 5, 2023

• [Counterexamples] Support constant fields (dafny-lang#3841)

  Show description for 818d63b
  

  Dargones

  and

  keyboardDrummer

  authored
  818d63b

  Copy full SHA for 818d63b

Commits on May 3, 2023

• [Test Generation] Control inlining using method annotations (dafny-lang#3865)

  Show description for 0727f12
  

  3 peopleauthored
  0727f12

  Copy full SHA for 0727f12

Commits on May 1, 2023

• [Test Generation] Increase stack size during translation (dafny-lang#3897)

  Show description for 4145be8
  

  Dargones

  and

  atomb

  authored
  4145be8

  Copy full SHA for 4145be8

Commits on Mar 23, 2023

• fix: (Test Generation) Better Error Messages and Variable Names (dafny-lang#3711)

  Show description for c702ef9
  

  Dargones

  and

  atomb

  authored
  c702ef9

  Copy full SHA for c702ef9

Commits on Feb 22, 2023

• fix: Fix naming of formals in Translator and standardize Z3 path (dafny-lang#3551)

  Show description for c0e05c1
  

  Dargones

  and

  atomb

  authored
  c0e05c1

  Copy full SHA for c0e05c1

Commits on Feb 1, 2023

• Feature: Test Generation Redesign (dafny-lang#3122)

  Show description for 2715bd6
  

  Dargones

  and

  atomb

  authored
  2715bd6

  Copy full SHA for 2715bd6

• fix: Fix naming of formals in Translator (dafny-lang#2266)

  Show description for 889e051
  

  4 peopleauthored
  889e051

  Copy full SHA for 889e051

Commits on Aug 4, 2022

• Counterexamples - fix integer parsing bug and improve code quality (dafny-lang#2461)

  Dargones

  authored
  80f11b6

  Copy full SHA for 80f11b6

Commits on Jul 12, 2022

• fix: Use {:test} and {:synthesize} in automatically generated tests (dafny-lang#2269)

  Show description for 57810f0
  

  5 peopleauthored
  57810f0

  Copy full SHA for 57810f0

Commits on Jun 14, 2022

• feat: Type Parameters in Automatically Generated Tests (dafny-lang#2227)

  Show description for dff8d7f
  

  Dargones

  and

  Sasha Fedchin

  authored
  dff8d7f

  Copy full SHA for dff8d7f

Commits on Mar 30, 2022

• fix: Move concrete value substitution from test generation to counterexample extraction (dafny-lang#1751)

  Show description for 4c7fbf4
  Dargones

  authored
  4c7fbf4

  Copy full SHA for 4c7fbf4

Commits on Mar 28, 2022

• Support for Mocking in C# Compiler (dafny-lang#1809)

  Show description for c89b039
  Dargones

  authored
  c89b039

  Copy full SHA for c89b039

Commits on Oct 19, 2021

• Counterexamples from Command Line (dafny-lang#1511)

  Show description for 90679c3
  

  Dargones

  and

  robin-aws

  authored
  90679c3

  Copy full SHA for 90679c3

Commits on Sep 3, 2021

• Test Generation (dafny-lang#1385)

  Show description for 288cab1
  Dargones

  authored
  288cab1

  Copy full SHA for 288cab1

Commits on Aug 26, 2021

• Patch counter examples (dafny-lang#1391)

  Show description for 20a0e5f
  

  Dargones

  and

  Fedchin

  authored
  20a0e5f

  Copy full SHA for 20a0e5f

Commits on Aug 11, 2021

• CounterExamples (dafny-lang#1336)

  Show description for dc22738
  

  Dargones

  and

  Fedchin

  authored
  dc22738

  Copy full SHA for dc22738

Commits on Jul 30, 2021

• Update Boogie Version (dafny-lang#1324)

  Show description for 93e5050
  

  Dargones

  and

  Fedchin

  authored
  93e5050

  Copy full SHA for 93e5050

Pagination

Previous

Next