1  .vscode
 2  **/*.idea/
 3  **/target
 4  **/.DS_Store
 5  **storage_db
 6  **/*.prover.*
 7  **/*.verifier.*
 8  *.usrs
 9  !**/powers-of-beta-15.usrs*
10  !**/shifted-powers-of-beta-15.usrs*
11  !**/powers-of-beta-16.usrs*
12  !**/shifted-powers-of-beta-16.usrs*
13  !**/powers-of-beta-gamma.usrs
14  !**/beta-h.usrs
15  !**/neg-powers-of-beta.usrs
16  **/proptest-regressions/
17  artifacts
18  
19  # CI artifacts
20  mutants.out/
21  mutants.out.old/
22  sbom.json
23  grype-report.json
24  ci_output.log
25  ci_final_output.log
26  ci_test_output.log
27  mutation_run.log
28  coverage/
29  *.profraw
30  *.profdata
31  
32  # Backup files
33  *.bak