17 lines
185 B
Text
17 lines
185 B
Text
|
# Cargo build
|
||
|
|
**/target
|
||
|
|
|
||
|
|
# Cargo config
|
||
|
|
.cargo
|
||
|
|
|
||
|
|
# Profile-guided optimization
|
||
|
|
/tmp
|
||
|
|
pgo-data.profdata
|
||
|
|
|
||
|
|
# MacOS nuisances
|
||
|
|
.DS_Store
|
||
|
|
|
||
|
|
# Proofs
|
||
|
|
**/proof-with-pis.json
|
||
|
|
**/proof-with-io.json
|