Commits

History for

Commits on Mar 29, 2024

Fix: Enhanced "insufficient reads clause to read field" (dafny-lang#5265 )
MikaelMayer
committedMar 29, 2024

Commits on Mar 5, 2024

docs: Update the function section of the tutorial for Dafny 4 (dafny-lang#5006 )

turbotimon
and
fabiomadge
committedMar 5, 2024

Commits on Feb 21, 2024

Axiom warnings (dafny-lang#3553 )
keyboardDrummer
committedFeb 21, 2024

Commits on Jan 26, 2024

Improve trigger related warnings (dafny-lang#5000 )
keyboardDrummer
committedJan 26, 2024

Commits on Jan 23, 2024

Separate UI code and business logic for the resolve and verify commands (dafny-lang#4798 )
keyboardDrummer
committedJan 23, 2024

Commits on Jan 12, 2024

fix: Adapt to work with more recent Jekyll versions (dafny-lang#4981 )
fabiomadge
committedJan 12, 2024

Commits on Nov 20, 2023

typo: code sample uses the variable name index (dafny-lang#4801 )
hackaugusto
committedNov 20, 2023

Commits on Oct 11, 2023

Always include .Term in children of ComprehensionExpr (dafny-lang#4617 )
keyboardDrummer
committedOct 11, 2023

Commits on Jul 3, 2023

Allow non-reference-type traits (dafny-lang#4137 )

RustanLeino
and
fabiomadge
committedJul 3, 2023

Commits on Jun 20, 2023

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

davidcok
and
davidcok
committedJun 20, 2023

Commits on May 30, 2023

Adding parser error explanations and quick fixes (dafny-lang#3931 )

davidcok
and
davidcok
committedMay 30, 2023

Commits on May 19, 2023

Changing opaque type to abstract type (dafny-lang#3990 )

davidcok
and
davidcok
committedMay 19, 2023

Commits on Mar 16, 2023

Update Boogie to 2.16.2 (dafny-lang#3645 )
atomb
committedMar 16, 2023

Commits on Feb 28, 2023

Update tests to work with Z3 4.12.1 (dafny-lang#3400 )
atomb
committedFeb 28, 2023

Commits on Feb 22, 2023

Dafny 4 edits to the Tutorial, FAQs and Error catalog (dafny-lang#3587 )

committedFeb 22, 2023

Commits on Feb 17, 2023

Repeat of dafny-lang#3500 (dafny-lang#3564 )

davidcok
and
davidcok
committedFeb 17, 2023

Commits on Feb 16, 2023

Pre-Dafny 4 edits of the RM - Types chapter (dafny-lang#3539 )

davidcok
and
davidcok
committedFeb 16, 2023
Revert "Redo: Add new macros to tests for new CLI (dafny-lang#3510 )" (dafny-lang#3552 )
keyboardDrummer
committedFeb 16, 2023

Commits on Feb 15, 2023

Misc error message improvements and bug fixes: dafny-lang#1637 , dafny-lang#3496 , dafny-lang#3497 , dafny-lang#2200 , dafny-lang#2477 , dafny-lang#1618 , dafny-lang#2830 (dafny-lang#3500 )

committedFeb 15, 2023
Pre-Dafny 4 edits to the reference manual (dafny-lang#3507 )

davidcok
and
davidcok
committedFeb 15, 2023

Commits on Dec 22, 2022

Fixing formatting in markdown documents with html comments (dafny-lang#3254 )

davidcok
and
davidcok
committedDec 22, 2022

Commits on Dec 16, 2022

Final tests for tutorial files (dafny-lang#3205 )

davidcok
and
davidcok
committedDec 16, 2022
Adding tests for more examples in tutorial files (dafny-lang#3197 )

davidcok
and
davidcok
committedDec 16, 2022

Commits on Dec 14, 2022

Issue dafny-lang#2679 - tests of examples in documentation (dafny-lang#3144 )

davidcok
and
davidcok
committedDec 14, 2022

Commits on Nov 30, 2022

Issue 2676: Fix typos and remove .edit, .editonly annotations (dafny-lang#3135 )

davidcok
and
davidcok
committedNov 30, 2022

Commits on Nov 21, 2022

Correcting online tutorial (dafny-lang#1646 ) (dafny-lang#3085 )

committedNov 21, 2022

Commits on Nov 20, 2022

Fixing dafny-lang#188 with a sentence about nullable arrays. (dafny-lang#3086 )

davidcok
and
davidcok
committedNov 20, 2022

Commits on Sep 1, 2022

Indentation fix followups (dafny-lang#2684 )

committedSep 1, 2022
dafny-lang#2431 Indentation fixes in documentation (dafny-lang#2677 )

committedSep 1, 2022

Commits on Jul 1, 2022

docs: Remove mention of rise4fun editor (dafny-lang#2344 )
cpitclaudel
committedJul 1, 2022

Commits on Apr 28, 2022

docs: Minor wording change (dafny-lang#2061 )

x11x
and
fabiomadge
committedApr 28, 2022

Commits on Feb 22, 2022

docs: Various improvements (dafny-lang#1849 )
fabiomadge
committedFeb 22, 2022

Commits on Feb 4, 2022

fix: more typos in OnlineTutorial (dafny-lang#1785 )
cdisselkoen
committedFeb 4, 2022

Commits on Feb 3, 2022

fix: typos in guide.md (dafny-lang#1783 )
cdisselkoen
committedFeb 3, 2022

Commits on Nov 23, 2021

docs: remove HTML text & correct typo (dafny-lang#1603 )
sunnymatt
committedNov 23, 2021