Commits

Commits on Dec 13, 2022

smt2 files containing RegEx generated directly from seq.dfy
ChuyueSun
committedDec 13, 2022
smt2 files containing RegEx generated directly from seq.dfy
ChuyueSun
committedDec 13, 2022

Commits on Nov 29, 2022

regex replaced with reglan
ChuyueSun
committedNov 29, 2022

Commits on Nov 27, 2022

Merge branch 'dafny-lang:master' into master
ChuyueSun
committedNov 27, 2022

Commits on Nov 26, 2022

comment out axioms that cause type constructor errors
chuyues
committedNov 26, 2022
add file
chuyues
committedNov 26, 2022
add reference generated smt2
chuyues
committedNov 26, 2022

Commits on Nov 25, 2022

chore: Remove -noLogo from tests that run dotnet test (dafny-lang#3115 )
robin-aws
committedNov 25, 2022

Commits on Nov 24, 2022

Commits on Nov 23, 2022

fix: Revert old buffer workaround for calling node (dafny-lang#3104 )
fabiomadge
committedNov 23, 2022
Removed dead link to rise4fun from DafnyCheatsheet (dafny-lang#3096 )

davidcok
and
davidcok
committedNov 23, 2022
Ensure non-parseable SeqIndexs do not throw on parse failure (dafny-lang#3093 )
dijkstracula
committedNov 23, 2022
Add missing options to new CLI (dafny-lang#3054 )
keyboardDrummer
committedNov 23, 2022
refactor: Move Resolver.{TypeSubstitutionMap, SubstType} (dafny-lang#3057 )
RustanLeino
committedNov 23, 2022

Commits on Nov 22, 2022

dafny-lang#2475 - moving cheatsheet into docs (dafny-lang#3084 )

davidcok
and
davidcok
committedNov 22, 2022
Update --enforce-determism (dafny-lang#3052 )
keyboardDrummer
committedNov 22, 2022
Fix: Language server no longer crashing in special case (dafny-lang#3064 )
MikaelMayer
committedNov 22, 2022
Fixes dafny-lang#2860 - enhancements to the text about refining types (dafny-lang#3082 )

davidcok
and
davidcok
committedNov 22, 2022
doc: Making examples visible to users (dafny-lang#3077 )

davidcok
and
robin-aws
committedNov 22, 2022

Commits on Nov 21, 2022

doc: dafny-lang#2864 - adding explanation of RHS expressions (dafny-lang#3087 )

committedNov 21, 2022
Correcting online tutorial (dafny-lang#1646 ) (dafny-lang#3085 )

committedNov 21, 2022
Small adjustments to discussion of array types (dafny-lang#3081 )

davidcok
and
davidcok
committedNov 21, 2022
Brief text to fix dafny-lang#2805 re ownership of dafny.org (dafny-lang#3083 )

davidcok
and
davidcok
committedNov 21, 2022
Remove one instance of static state in the compilation pipeline (dafny-lang#3065 )
keyboardDrummer
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 Nov 19, 2022

chore: Remove accidental binary (dafny-lang#3079 )
fabiomadge
committedNov 19, 2022

Commits on Nov 18, 2022

Fix: Use correct type for map update expression (dafny-lang#3060 )

MikaelMayer
and
cpitclaudel
committedNov 18, 2022
Fixes incorrrect links introduced in ce30fd1 (dafny-lang#3074 )

davidcok
and
davidcok
committedNov 18, 2022

Commits on Nov 17, 2022

Commits on Nov 16, 2022

Add warnings about possibly confused operator precedence (dafny-lang#2783 )
RustanLeino
committedNov 16, 2022