.gitignore

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

.idea/

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*

Package/

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

Source/Dafny/Parser.cs.old
Source/Dafny/Scanner.cs.old
Source/DafnyExtension/DafnyPrelude.bpl
Source/DafnyExtension/DafnyRuntime.cs
Source/DafnyExtension/Z3-LICENSE.txt
Source/DafnyExtension/z3.exe

Test/*/bin/
Test/*/obj/
Test/*/obj_core/
Test/packages

Test/**/*.exe
Test/**/*.dll
Test/**/*.mdb
Test/**/*.pdb
Test/**/Output/
Test/server/model.bvd
Test/dafny0/Extern.cs
Test/dafny0/ExternCopyFromTrait.cs
Test/dafny0/DafnyLibClient.cs
Test/git-issues/github-issue-305-*.cs
Test/desktop/*
Test/node_modules/
Test/package-lock.json

Docs/OnlineTutorial/DocumentationTransducer.exe
Docs/OnlineTutorial/DocumentationTransducer.pdb
Docs/OnlineTutorial/DocumentationTransducer/obj
Docs/OnlineTutorial/manuscripts/*.htm
Docs/OnlineTutorial/manuscripts/*.*.dfy
Test/comp/*.cs
Test/comp/*.js
Test/comp/*-go
Test/comp/**/*.java
Test/expectations/*.cs
Test/expectations/*.js
Test/expectations/*-go
Test/expectations/**/*.java

# 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 Java tools (gradle/javac/etc)

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