-
Notifications
You must be signed in to change notification settings - Fork 26
/
.gitignore
41 lines (33 loc) · 631 Bytes
/
.gitignore
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
# Dune build directory
_build
# Merlin files are generated by Dune
.merlin
# Lem generation stuff
ocaml_frontend/lem.log
sibylfs/lem.log
ocaml_frontend/generated
sibylfs/generated
# Elaboration PP tex generation
generated_tex/
public/node_modules/
*~
cerberus-webserver
config.json
webcerb.concrete
webcerb.symbolic
webcerb.vip
.vscode/settings.json
a.out
/tests/csmith/**/LOG
/tests/csmith/**/LOG.old
public/dist/main.bundle.js
public/dist/main.bundle.js.map
public/dist/style.bundle.css
public/dist/style.bundle.css.map
public/package-lock.json
/.ignore
/backend/cheri/cerb.prof
/cerb.prof
# debug stuff
log*.txt
*.cache