proof-systems/.gitignore at master · querolita/proof-systems · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
user.bazelrc
bazel-*
.bazel/
user.bazelrc
.cpcache

*.log
log/
tmp/

target
.DS_Store
idea
.idea
*.iml
*.ipynb_checkpoints
*.pyc
*.sage.py
params
_build
build
.merlin
*.swp
*.swo
.vscode
.envrc
.direnv

*.html
# If symlink created for kimchi-visu
tools/srs

.ignore
o1vm/env-for-*
o1vm/cpu.pprof
o1vm/snapshot-state*
o1vm/rpcs.sh
o1vm/meta.json
o1vm/out.json
o1vm/op-program-db*
o1vm/state.json
meta.json
state.json
o1vm/meta_test.json

# Directory for the RISC-V 32bits toolchain
_riscv32-gnu-toolchain
o1vm/resources/programs/riscv32im/bin/*.o

# modified assembly files generated from cannon's open mips tests
o1vm/resources/programs/mips/src
# mips binary files for open mips tests
o1vm/resources/programs/mips/bin

CLAUDE.md

# Node.js
node_modules/