Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 13, 2024

• IDE performance improvements (dafny-lang#5415)

  Show description for 57cefb6
  

  keyboardDrummer

  and

  robin-aws

  authored
  57cefb6

Commits on May 10, 2024

• Feat: Rust operators (dafny-lang#5390)

  Show description for 707510a
  MikaelMayer

  authored
  707510a

Commits on May 9, 2024

• Unsafe dependencies (dafny-lang#5394)

  Show description for cc2bc98
  keyboardDrummer

  authored
  cc2bc98

Commits on May 8, 2024

• Go libray module support (dafny-lang#5140)

  Show description for 8432b17
  

  ShubhamChaturvedi7

  and

  robin-aws

  authored
  8432b17

Commits on May 7, 2024

• Semantic vs non-semantic options (dafny-lang#5397)

  Show description for 1cace26
  keyboardDrummer

  authored
  1cace26

Commits on May 2, 2024

• Fix a bug in AwaitNextNotificationAsync that prevented the 'Waited fo… (dafny-lang#5386)

  Show description for 55d1c40
  keyboardDrummer

  authored
  55d1c40

• Timeout reporting (dafny-lang#5393)

  Show description for 075b2a8
  keyboardDrummer

  authored
  075b2a8

Commits on May 1, 2024

• ci: Daily CI to soak flaky tests (dafny-lang#5382)

  Show description for 79c323d
  robin-aws

  authored
  79c323d

• Add more logging to QuickEditsInLargeFile (dafny-lang#5387)

  Show description for dedaab9
  keyboardDrummer

  authored
  dedaab9

• Release 4.6.0 (dafny-lang#5268)

  Show description for c238e1f
  

  robin-aws

  and

  keyboardDrummer

  authored
  c238e1f

• Add support for base field in project files (dafny-lang#5359)

  Show description for 8ed91c4
  keyboardDrummer

  authored
  8ed91c4

• Revert "Feat rust operators (dafny-lang#5380)" (again) (dafny-lang#5383)

  Show description for 88808ee
  robin-aws

  authored
  88808ee

Commits on Apr 30, 2024

• Fix: Standard libraries to be compatible with general newtypes (dafny-lang#5347)

  Show description for a79ea8a
  

  MikaelMayer

  and

  fabiomadge

  authored
  a79ea8a

• feat: Translation records (dafny-lang#5346)

  robin-aws

  authored
  2e6938d

• Remove 'note,' at the start of some warnings (dafny-lang#5378)

  Show description for 74d9cd3
  keyboardDrummer

  authored
  74d9cd3

• Revert "Retry LSP tests in case of error (dafny-lang#5342)" (dafny-lang#5361)

  Show description for ba7ac85
  keyboardDrummer

  authored
  ba7ac85

Commits on Apr 29, 2024

• Feat rust operators (dafny-lang#5380)

  Show description for 0b629ea
  

  MikaelMayer

  and

  robin-aws

  authored
  0b629ea

• Allow using project files together with --library (dafny-lang#5297)

  Show description for 1be1cba
  

  keyboardDrummer

  and

  robin-aws

  authored
  1be1cba

• Revert "Feat: Rust operators and immutable collections (dafny-lang#5081)" (dafny-lang#5377)

  Show description for ea63179
  

  keyboardDrummer

  and

  fabiomadge

  authored
  ea63179

Commits on Apr 26, 2024

• Feat: Rust operators and immutable collections (dafny-lang#5081)

  Show description for 3e38580
  

  MikaelMayer

  and

  robin-aws

  authored
  3e38580

Commits on Apr 25, 2024

• Turning on doofiles/Test4.dfy (dafny-lang#5360)

  Show description for bc6c9c3
  keyboardDrummer

  authored
  bc6c9c3

Commits on Apr 24, 2024

• Do not refer to auditor code when building a Dafny library (dafny-lang#5329)

  Show description for b46f479
  keyboardDrummer

  authored
  b46f479

• Build against a newer GoLang (dafny-lang#5350)

  Show description for 06b8794
  keyboardDrummer

  authored
  06b8794

Commits on Apr 23, 2024

• Change the format of output produced by --progress (dafny-lang#5341)

  Show description for 2e7de95
  atomb

  authored
  2e7de95

Commits on Apr 21, 2024

• Test ResolutionErrors[45679] with new resolver (dafny-lang#5333)

  Show description for 0082cf6
  RustanLeino

  authored
  0082cf6

Commits on Apr 20, 2024

• Add first pass of proof obligation description expressions (dafny-lang#5317)

  Show description for 2e6a08c
  

  alex-chew

  and

  atomb

  authored
  2e6a08c

Commits on Apr 19, 2024

• Refactoring to support decreases to (dafny-lang#5315)

  Show description for 846a2f6
  atomb

  authored
  846a2f6

• Retry LSP tests in case of error (dafny-lang#5342)

  Show description for 44ca1b2
  atomb

  authored
  44ca1b2

• Deprecate unicode-char (dafny-lang#5302)

  Show description for ac24aef
  keyboardDrummer

  authored
  ac24aef

Commits on Apr 18, 2024

• Avoid duplicate names when compiling arrow types (dafny-lang#5328)

  Show description for 0ca6ae9
  atomb

  authored
  0ca6ae9

Commits on Apr 17, 2024

• Various project file related fixes (dafny-lang#5326)

  Show description for 563df88
  keyboardDrummer

  authored
  563df88

• Stop reusing solvers with the IDE by default (dafny-lang#5325)

  Show description for b34471f
  keyboardDrummer

  authored
  b34471f

• Make --filter-* work with measure-complexity (dafny-lang#5264)

  Show description for 91cdb2b
  

  atomb

  and

  keyboardDrummer

  authored
  91cdb2b

Commits on Apr 16, 2024

• Prevent incorrect internal error message (dafny-lang#5320)

  Show description for 67db058
  keyboardDrummer

  authored
  67db058

• Support members for the new newtypes (dafny-lang#5311)

  Show description for db2d6ed
  RustanLeino

  authored
  db2d6ed

Pagination

PreviousNext