.gitignore

*.config
*.manifest
*.pkgdef
*.suo
*.userprefs
*.vsix
*.vsixmanifest
*.DS_Store
*~
.#*
\#*#

.gradle/
.idea/
.vs/

Binaries/*.dll
Binaries/*.mdb
Binaries/*.pdb
Binaries/*.xml
Binaries/z3*
Binaries/Dafny.exe
Binaries/Dafny.vshost.exe
Binaries/DafnyServer.exe
Binaries/DafnyRuntime.cs
Binaries/export/
Binaries/mono_crash*
Binaries/*

Package/

Source/*/bin/
Source/*/obj/
Source/*/obj_core/
Source/packages

Source/DafnyCore/Parser.cs.old
Source/DafnyCore/Scanner.cs.old

Source/DafnyRuntime/MSBuild_Logs/
TestResults/

Docs/OnlineTutorial/DocumentationTransducer.exe
Docs/OnlineTutorial/DocumentationTransducer.pdb
Docs/OnlineTutorial/DocumentationTransducer/obj
Docs/OnlineTutorial/manuscripts/*.htm
Docs/OnlineTutorial/manuscripts/*.*.dfy

# Generated by Rider IDE
*.sln.DotSettings.user
*.sln.DotSettings

# Generated by Visual Studio 2019
*.csproj.user
Source/.vs

# Generated by VS Code
.vscode/*

# Generated by Dafny tooling
/Source/DafnyStandardLibraries/build

# Generated by Java tools (gradle/javac/etc)

/Source/DafnyRuntime/DafnyRuntimeJava/.gradle
/Source/DafnyRuntime/DafnyRuntimeJava/build
*.class

node_modules/
package.json
package-lock.json
docs/dev/*.fix
docs/dev/*.feat
docs/dev/*.break

Source/IntegrationTests/TestFiles/LitTests/LitTest/server/*.bvd
/Source/IntegrationTests/TestFiles/LitTests/LitTest/separate-verification/Inputs/wrappers3.doo
/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1
/Source/IntegrationTests/TestFiles/LitTests/LitTest/separate-verification/assumptions-lib
/Source/IntegrationTests/TestFiles/LitTests/LitTest/cli/log.smt2
/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/model
Source/IntegrationTests/TestFiles/LitTests/LitTest/logger/*.html
Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/**/*.html
Source/IntegrationTests/TestFiles/LitTests/LitTest/**/*.dtr
/Source/IntegrationTests/TestFiles/LitTests/LitTest/cli/projectFile/libs/usesLibrary-lib
/Source/IntegrationTests/TestFiles/LitTests/LitTest/cli/projectFile/libs/usesLibrary.doo
Source/IntegrationTests/TestFiles/LitTests/LitTest/**/*.deps.json
Source/IntegrationTests/TestFiles/LitTests/LitTest/**/*.csproj
/Source/IntegrationTests/TestFiles/LitTests/LitTest/pythonmodule/multimodule/PythonModule2
/Source/IntegrationTests/TestFiles/LitTests/LitTest/pythonmodule/singlemodule/dafnysource/PythonModule1
/Source/DafnyCore/Prelude/DafnyPrelude.bpl
/Source/DafnyCore/Prelude/Sequences.bpl