Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 19, 2025

• Prepare for making new resolver the default (#5653)

  Show description for 60e9ae5
  

  RustanLeino

  and

  keyboardDrummer

  authored
  60e9ae5

  Copy full SHA for 60e9ae5

Commits on Feb 24, 2025

• Fixes: Rust supports overriding traits (#5948)

  Show description for cca1c96
  MikaelMayer

  authored
  cca1c96

  Copy full SHA for cca1c96

Commits on Jan 15, 2025

• fix: Forbid recursive function uses in decreases clauses (#6045)

  Show description for 6afa6d5
  RustanLeino

  authored
  6afa6d5

  Copy full SHA for 6afa6d5

Commits on Dec 18, 2024

• feat: Support @AssumeCrossModuleTermination on classes/traits that extend traits from other modules (#5991)

  Show description for 7df92c2
  robin-aws

  authored
  7df92c2

  Copy full SHA for 7df92c2

Commits on Nov 5, 2024

• Remove error message `file contains no code` (#5899)

  Show description for 0cdee56
  

  Ao-senXiong

  and

  Aosen Xiong

  authored
  0cdee56

  Copy full SHA for 0cdee56

Commits on Sep 5, 2024

• fix: Correct null-related checking of type bounds, and add axioms (#5738)

  Show description for ad812af
  RustanLeino

  authored
  ad812af

  Copy full SHA for ad812af

Commits on Aug 15, 2024

• Enable the option enforce determinism for the verify command (#5632)

  Show description for 8de6d00
  keyboardDrummer

  authored
  8de6d00

  Copy full SHA for 8de6d00

Commits on Jul 9, 2024

• feat: Add bounded polymorphism (#5547)

  Show description for 7e81f44
  RustanLeino

  authored
  7e81f44

  Copy full SHA for 7e81f44

Commits on Apr 19, 2024

• Deprecate unicode-char (#5302)

  Show description for ac24aef
  keyboardDrummer

  authored
  ac24aef

  Copy full SHA for ac24aef

Commits on Apr 10, 2024

• Add deprecation warning for old CLI (#5249)

  Show description for d8b081e
  keyboardDrummer

  authored
  d8b081e

  Copy full SHA for d8b081e

Commits on Mar 26, 2024

• fix: Add uniform checking of type characteristics in refinement modules (#5146)

  Show description for 480758f
  RustanLeino

  authored
  480758f

  Copy full SHA for 480758f

Commits on Mar 14, 2024

• chore: Update general-traits error message (#5191)

  Show description for 28f3a62
  RustanLeino

  authored
  28f3a62

  Copy full SHA for 28f3a62

Commits on Mar 7, 2024

• Add translation was aborted message (#5118)

  Show description for 2a4bf83
  keyboardDrummer

  authored
  2a4bf83

  Copy full SHA for 2a4bf83

Commits on Feb 22, 2024

• Make `dafny verify` more consistent (#5110)

  Show description for d692203
  keyboardDrummer

  authored
  d692203

  Copy full SHA for d692203

• Introduce code generator name (#4944)

  Show description for e224127
  keyboardDrummer

  authored
  e224127

  Copy full SHA for e224127

Commits on Feb 21, 2024

• Axiom warnings (#3553)

  Show description for 9b54b4e
  keyboardDrummer

  authored
  9b54b4e

  Copy full SHA for 9b54b4e

• Allow moving errorId code around in the codebase. (#5113)

  Show description for 6292c81
  

  keyboardDrummer

  and

  MikaelMayer

  authored
  6292c81

  Copy full SHA for 6292c81

Commits on Jan 23, 2024

• Separate UI code and business logic for the resolve and verify commands (#4798)

  Show description for 9d85655
  keyboardDrummer

  authored
  9d85655

  Copy full SHA for 9d85655

Commits on Jan 12, 2024

• fix: Adapt to work with more recent Jekyll versions (#4981)

  Show description for e635b81
  fabiomadge

  authored
  e635b81

  Copy full SHA for e635b81

Commits on Dec 4, 2023

• Chore: Explain how to reason with functions by methods (#4837)

  Show description for ccf6b83
  MikaelMayer

  authored
  ccf6b83

  Copy full SHA for ccf6b83

Commits on Oct 12, 2023

• Use subcommands instead of an argument for the various back-ends that can be used with translate (#4601)

  Show description for b68e693
  keyboardDrummer

  authored
  b68e693

  Copy full SHA for b68e693

Commits on Oct 6, 2023

• feat: Non-reference traits (#4600)

  Show description for 7258839
  RustanLeino

  authored
  7258839

  Copy full SHA for 7258839

Commits on Jul 3, 2023

• Allow non-reference-type traits (#4137)

  Show description for eb042e7
  

  RustanLeino

  and

  fabiomadge

  authored
  eb042e7

  Copy full SHA for eb042e7

Commits on Jun 20, 2023

• --show-snippets with default true and off in tests (#4087)

  Show description for 218afa4
  

  davidcok

  and

  davidcok

  authored
  218afa4

  Copy full SHA for 218afa4

Commits on Jun 8, 2023

• Restoring error message tests now that #4149 is merged (#4150)

  Show description for 164c316
  

  davidcok

  and

  davidcok

  authored
  164c316

  Copy full SHA for 164c316

Commits on Jun 7, 2023

• Documentation corrections and tests additions (#4118)

  Show description for 733a043
  

  davidcok

  and

  davidcok

  authored
  733a043

  Copy full SHA for 733a043

Commits on Jun 1, 2023

• Cleanup of errorids and information (#4109)

  Show description for 592be43
  

  davidcok

  and

  davidcok

  authored
  592be43

  Copy full SHA for 592be43

• Staging corrections to improved testing (#4106)

  Show description for 688e7d0
  

  davidcok

  and

  davidcok

  authored
  688e7d0

  Copy full SHA for 688e7d0

Commits on May 31, 2023

• Checking errorids when checking examples (#4101)

  Show description for 81c6f95
  

  davidcok

  and

  davidcok

  authored
  81c6f95

  Copy full SHA for 81c6f95

• Creating a dafny doc tool (#3849)

  Show description for b90b422
  

  3 peopleauthored
  b90b422

  Copy full SHA for b90b422

• Adding errorids for refinement errors (#4091)

  Show description for e897d86
  

  3 peopleauthored
  e897d86

  Copy full SHA for e897d86

Commits on May 30, 2023

• Adding parser error explanations and quick fixes (#3931)

  Show description for f38a64a
  

  davidcok

  and

  davidcok

  authored
  f38a64a

  Copy full SHA for f38a64a

• Adding command-line error explanations (#4052)

  Show description for f226664
  

  davidcok

  and

  davidcok

  authored
  f226664

  Copy full SHA for f226664

• Adding documentation for some resolution errors (#4089)

  Show description for 50568bc
  

  davidcok

  and

  davidcok

  authored
  50568bc

  Copy full SHA for 50568bc

• More detail for resolution errors (#4093)

  Show description for 2f5da8d
  

  3 peopleauthored
  2f5da8d

  Copy full SHA for 2f5da8d

Pagination

Previous

Next