.gitignore

# Generated by Cargo
# will have compiled files and executables
/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
.z3-trace
/experiments/original-dios/results/
*.Rhistory
/server/completed/
*.pyc
/server/diospyros-results/
/server/in-progress/
/server/figs/*.jpg
/server/figs/*.png
/server/figs/*.svg
/server/figs/*.pdf
/server/figs/_old_data_/
*.DS_Store
/server/jobs/
/server/completed.tar
/output/
*.pem
/aec/output/
*.aux
*.log
*.synctex.gz
/aec/latex/ae.pdf
/aec/latex/*.out

# don't track changes to data files
/server/figs/data/alpha_beta.csv
/server/figs/data/diospyros.csv
/server/figs/data/est_cycles.csv
/server/figs/data/instruction.csv
/server/figs/data/pruning.csv
/server/figs/data/rule_distribution.csv
/server/figs/data/ruleset_ablation.csv