Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 26, 2024

• Include comments for provenance

  atomb

  authored
  ab7f7b0

Commits on Mar 21, 2024

• Fix brittleness test

  

  Aleksandr Fedchin

  committed
  fc8b1ec

• Fix formatting

  

  Aleksandr Fedchin

  committed
  d713eb1

Commits on Jan 18, 2024

• chore: Set Dafny as the default language for syntax highlighting (dafny-lang#32)

  fabiomadge

  authored
  e9d9ef6

Commits on Jan 12, 2024

• fix: Typos and truncated code snippet in standard libraries blog (dafny-lang#31)

  robin-aws

  authored
  850802b

• Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny (dafny-lang#23)

  

  3 peopleauthored
  c13d273

Commits on Jan 9, 2024

• Custom Jekyll build (dafny-lang#30)

  fabiomadge

  committed
  98fe80d

Commits on Jan 3, 2024

• Verify the code from a previous blog post (dafny-lang#29)

  

  atomb

  and

  alex-chew

  authored
  e876dde

Commits on Dec 20, 2023

• Standard libraries (dafny-lang#22)

  robin-aws

  authored
  651a721

Commits on Dec 15, 2023

• Teaching material (dafny-lang#25)

  jtristan

  authored
  6a36bc5

Commits on Dec 14, 2023

• Blog post announcing new teaching material (dafny-lang#24)

  jtristan

  authored
  3b933b8

Commits on Dec 8, 2023

• fix: Filenames of assets (dafny-lang#21)

  

  Dargones

  and

  Aleksandr Fedchin

  authored
  79d92d1

Commits on Dec 7, 2023

• Test Generation Post (dafny-lang#9)

  

  4 peopleauthored
  6cb3c36

Commits on Dec 6, 2023

• Fix URLs to generate correct HTML (dafny-lang#19)

  atomb

  authored
  5a099be

Commits on Dec 1, 2023

• Draft blog post on avoiding brittleness (dafny-lang#18)

  atomb

  authored
  4d09097

Commits on Nov 10, 2023

• Fix another typo (dafny-lang#17)

  stefan-aws

  authored
  0f7965d

Commits on Nov 9, 2023

• Typo sourcefile (dafny-lang#16)

  stefan-aws

  authored
  811090e

• Coding interview post (dafny-lang#15)

  

  stefan-aws

  and

  atomb

  authored
  c92f7de

Commits on Oct 27, 2023

• Proof dependencies post (dafny-lang#14)

  atomb

  authored
  bfbe568

Commits on Oct 13, 2023

• Correction of typos, bad breaks, and terminology issues (dafny-lang#13)

  jtristan

  authored
  83634af

Commits on Oct 11, 2023

• Introduction to Dafny: Insertion Sort (dafny-lang#11)

  

  jtristan

  and

  atomb

  authored
  f602fa3

Commits on Oct 5, 2023

• Update verification-compelling-intro.html (dafny-lang#12)

  MikaelMayer

  authored
  c1834e7

Commits on Aug 15, 2023

• Post: Clear Separation of Specification and Implementation in Dafny (dafny-lang#8)

  atomb

  authored
  4d7288a

Commits on Jul 15, 2023

• Better explanation on how to publish the blog post (dafny-lang#7)

  MikaelMayer

  authored
  5d3a5b6

• Post about types and programming languages (dafny-lang#6)

  

  MikaelMayer

  authored and

  fabiomadge

  committed
  fea1b9e

Commits on Apr 25, 2023

• Typos (dafny-lang#5)

  MikaelMayer

  authored
  5821039

Commits on Apr 19, 2023

• Making Verification Compelling (dafny-lang#3)

  

  MikaelMayer

  authored and

  fabiomadge

  committed
  42219cd

Commits on Mar 6, 2023

• add links

  fabiomadge

  committed
  4589e43

Commits on Mar 4, 2023

• 🔍

  fabiomadge

  committed
  58bf732

Commits on Mar 3, 2023

• update about

  fabiomadge

  committed
  4fa48df

• Dafny 4.0 blog post (dafny-lang#2)

  

  4 peopleauthored
  b452206

Commits on Feb 28, 2023

• welcome guests

  fabiomadge

  committed
  1443e88

• add about

  fabiomadge

  committed
  f9bab4d

Commits on Feb 13, 2023

• Merge pull request dafny-lang#1 from MikaelMayer/better-readme

  MikaelMayer

  authored
  b8c27b7

Commits on Feb 10, 2023

• Better readme and removed initial post

  MikaelMayer

  committed
  e8616d5

Pagination

PreviousNext