Code

testing quick fix#15

Code

Open

Dargones wants to merge 18 commits intomasterDargones/dafny:masterfrom quickFixCopyDargones/dafny:quickFixCopyCopy head branch name to clipboard

+78-16

Commits

Commits on Jun 16, 2022

• Fix big

  

  Sasha Fedchin

  committed
  1a4f4b4

  Copy full SHA for 1a4f4b4

• Update Release notes

  

  Sasha Fedchin

  committed
  d3cac30

  Copy full SHA for d3cac30

Commits on Jun 20, 2022

• Add test case

  

  Sasha Fedchin

  committed
  df5f862

  Copy full SHA for df5f862

Commits on Jul 28, 2022

• Add boogie as a dotnet tool

  

  Sasha Fedchin

  committed
  8d2f399

  Copy full SHA for 8d2f399

• Merge branch 'master' into quickFix

  Dargones

  authored
  3ec8f31

  Copy full SHA for 3ec8f31

• remove changes to lit.site.cfg

  

  Sasha Fedchin

  committed
  bff5bbe

  Copy full SHA for bff5bbe

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

  

  Sasha Fedchin

  committed
  3040a9e

  Copy full SHA for 3040a9e

• Add DotnetToolCommand class

  

  Sasha Fedchin

  committed
  f30e839

  Copy full SHA for f30e839

• dotnet format

  

  Sasha Fedchin

  committed
  7f72806

  Copy full SHA for 7f72806

• Dummy commit

  

  Sasha Fedchin

  committed
  d11b73d

  Copy full SHA for d11b73d

• Specify Z3 path

  

  Sasha Fedchin

  committed
  061fb1d

  Copy full SHA for 061fb1d

Commits on Nov 29, 2022

• Sync with master

  Dargones

  committed
  1582294

  Copy full SHA for 1582294

• Fix z3 path

  Dargones

  committed
  7bba6f4

  Copy full SHA for 7bba6f4

• Fix z3 third attempt

  Dargones

  committed
  2a18768

  Copy full SHA for 2a18768

• Enable workflow

  Dargones

  committed
  0585898

  Copy full SHA for 0585898

• Look for z3

  Dargones

  committed
  ccb098b

  Copy full SHA for ccb098b

Commits on Nov 30, 2022

• fix

  Dargones

  committed
  85f17e4

  Copy full SHA for 85f17e4

• fix2

  Dargones

  committed
  3fef1c7

  Copy full SHA for 3fef1c7