Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 10, 2025

• Attempt at fixing nightly. (#6035)

  Show description for 0edf705
  keyboardDrummer

  authored
  0edf705

  Copy full SHA for 0edf705

Commits on Jan 8, 2025

• Update to .NET 8 (#5322)

  Show description for 0831717
  

  atomb

  and

  keyboardDrummer

  authored
  0831717

  Copy full SHA for 0831717

Commits on Dec 24, 2024

• Chore: Merge Release 4.9.1 into master (#6003)

  Show description for 4c44c7d
  MikaelMayer

  authored
  4c44c7d

  Copy full SHA for 4c44c7d

Commits on Dec 19, 2024

• Chore: Executable Instructions to bump Dafny's version number (#5994)

  Show description for 2f1a305
  MikaelMayer

  authored
  2f1a305

  Copy full SHA for 2f1a305

Commits on Dec 17, 2024

• fix: Account for the optional equality support of map/seq inside newtypes (#5980)

  Show description for 648da0e
  

  RustanLeino

  and

  MikaelMayer

  authored
  648da0e

  Copy full SHA for 648da0e

Commits on Jun 27, 2024

• Fix tests that failed during the 4.7 release (#5581)

  Show description for 141053d
  atomb

  authored
  141053d

  Copy full SHA for 141053d

• Update release process (#5578)

  Show description for c17a7c9
  atomb

  authored
  c17a7c9

  Copy full SHA for c17a7c9

Commits on Sep 29, 2023

• Chore: merge release 4.3.0 (only release notes, version number) (#4590)

  Show description for 28a3612
  MikaelMayer

  authored
  28a3612

  Copy full SHA for 28a3612

Commits on Aug 3, 2023

• Fix z3 download (#4381)

  Show description for 656a114
  atomb

  authored
  656a114

  Copy full SHA for 656a114

Commits on Aug 2, 2023

• Use arm64 version of Z3 4.12.1 for arm64 macOS releases of Dafny (#4371)

  Show description for 94fdd36
  

  17451k

  and

  atomb

  authored
  94fdd36

  Copy full SHA for 94fdd36

Commits on Jul 28, 2023

• Run Cargo in quiet mode to fix integration tests (#4351)

  Show description for 3b2e0bd
  shadaj

  authored
  3b2e0bd

  Copy full SHA for 3b2e0bd

Commits on Jul 20, 2023

• Add minimal Rust backend that supports basic Dafny programs (#4225)

  Show description for 2901f18
  

  shadaj

  and

  jtristan

  authored
  2901f18

  Copy full SHA for 2901f18

Commits on Jun 23, 2023

• Chore: Add bisect dafny file (#4211)

  Show description for 550f931
  MikaelMayer

  authored
  550f931

  Copy full SHA for 550f931

Commits on May 23, 2023

• Using quicktest in release-brew (#3787)

  Show description for ad016a4
  

  davidcok

  and

  davidcok

  authored
  ad016a4

  Copy full SHA for ad016a4

Commits on May 10, 2023

• chore: Fix NuGet release downloads workflow (#3975)

  Show description for 4053f90
  robin-aws

  authored
  4053f90

  Copy full SHA for 4053f90

• fix: Test and CI (#3983)

  fabiomadge

  authored
  de87ccf

  Copy full SHA for de87ccf

Commits on Apr 18, 2023

• chore: Drop 4th segment of version prefix (#3880)

  Show description for 1dd9d94
  robin-aws

  authored
  1dd9d94

  Copy full SHA for 1dd9d94

Commits on Mar 22, 2023

• Upgrades release smoke tests to use new CLI (#3707)

  Show description for 4be21fe
  

  8 peopleauthored
  4be21fe

  Copy full SHA for 4be21fe

Commits on Mar 9, 2023

• chore: Fix release downloads verification workflow (#3678)

  Show description for 055c2b7
  

  robin-aws

  and

  jtristan

  authored
  055c2b7

  Copy full SHA for 055c2b7

Commits on Mar 2, 2023

• chore: Restore publishing language server to nuget, fix allow_on_mac.sh for z3 paths (#3668)

  Show description for fb78bd5
  robin-aws

  authored
  fb78bd5

  Copy full SHA for fb78bd5

Commits on Mar 1, 2023

• Update release process to work on non-master branches (#3656)

  Show description for 04e381a
  robin-aws

  authored
  04e381a

  Copy full SHA for 04e381a

Commits on Feb 27, 2023

• Another attempt at #3622 (#3638)

  Show description for 0af4408
  atomb

  authored
  0af4408

  Copy full SHA for 0af4408

Commits on Feb 22, 2023

• Check ide-vscode for blockers in release script (#3604)

  alex-chew

  authored
  800b204

  Copy full SHA for 800b204

Commits on Feb 11, 2023

• fix: correct project file when running dotnet publish (#3519)

  fabiomadge

  authored
  6aeaa2b

  Copy full SHA for 6aeaa2b

• feat: Implement sequence type using cross-compiled Dafny code in Go runtime (#3167)

  Show description for ffbee00
  robin-aws

  authored
  ffbee00

  Copy full SHA for ffbee00

Commits on Feb 2, 2023

• chore: Add Python to quicktest.sh (#3386)

  fabiomadge

  authored
  8f62c0c

  Copy full SHA for 8f62c0c

Commits on Dec 30, 2022

• Compute PR number automatically when generating release notes (#3234)

  Show description for cab0258
  

  cpitclaudel

  and

  MikaelMayer

  authored
  cab0258

  Copy full SHA for cab0258

Commits on Dec 9, 2022

• Changing tests to not use dafny_0 and /countVerificationErrors:0 (#3160)

  Show description for f981089
  

  davidcok

  and

  davidcok

  authored
  f981089

  Copy full SHA for f981089

Commits on Dec 7, 2022

• Implementing %exit in the test infrastructure (#3157)

  davidcok

  authored
  befef5b

  Copy full SHA for befef5b

Commits on Nov 17, 2022

• Build DafnyRuntime for netstandard2.0 and net452 instead of net6.0 (#2795)

  Show description for ca741e9
  robin-aws

  authored
  ca741e9

  Copy full SHA for ca741e9

Commits on Nov 14, 2022

• Adding arm64-osx architecture to publish script (#3033)

  Show description for 4bd935f
  

  3 peopleauthored
  4bd935f

  Copy full SHA for 4bd935f

Commits on Nov 1, 2022

• Add a "breaking changes" category to the release notes (#2902)

  cpitclaudel

  authored
  4ae748c

  Copy full SHA for 4ae748c

Commits on Oct 28, 2022

• Post 3.9.1 cleanup (#2937)

  Show description for db02c80
  atomb

  authored
  db02c80

  Copy full SHA for db02c80

Commits on Oct 12, 2022

• feat: Add a release script (#2848)

  cpitclaudel

  authored
  7206268

  Copy full SHA for 7206268

Commits on Oct 3, 2022

• Release 3.9.0 (#2834)

  MikaelMayer

  authored
  6eb02e5

  Copy full SHA for 6eb02e5

Pagination

Previous

Next