.gitignore

# Ignore twenty-first, since this is most likely a symlink to a repository that
# lives in a different repository. This may eventually become a git submodule
# or similar.
twenty-first

### mdBook ###
specification/book
specification/*.pdf

### codecoverage ###
*.profraw

### JetBrains IDEs ###
**/.idea/**

### Rust ###
# Generated by Cargo
# will have compiled files and executables
debug/
target/

# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
Cargo.lock

# These are backup files generated by rustfmt
**/*.rs.bk

# MSVC Windows builds of rustc generate these, which store debugging information
*.pdb

### VisualStudioCode ###
.vscode/*
!.vscode/settings.json
!.vscode/tasks.json
!.vscode/launch.json
!.vscode/extensions.json
!.vscode/*.code-snippets

# Local History for Visual Studio Code
.history/

# Built Visual Studio Code Extensions
*.vsix

### VisualStudioCode Patch ###
# Ignore all local history of files
.history
.ionide

# Support for Project snippet scope
.vscode/*.code-snippets

# Ignore code-workspaces
*.code-workspace
specification/cheatsheet.aux
specification/cheatsheet.log
specification/cheatsheet.synctex.gz
triton-vm/proofs/*