diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2018-11-30 12:22:50 +0000 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2018-11-30 12:22:50 +0000 |
| commit | d4ebbe4f3f32ea10082009fb93f0c3fbf9c56c97 (patch) | |
| tree | b3c9209b85b8451e2c101ce3977feb5f2d4876b3 /.gitignore | |
| parent | 913a233bbfc06b5b58d2c29572f3d0ad3db26acc (diff) | |
| download | sail-riscv-d4ebbe4f3f32ea10082009fb93f0c3fbf9c56c97.zip sail-riscv-d4ebbe4f3f32ea10082009fb93f0c3fbf9c56c97.tar.gz sail-riscv-d4ebbe4f3f32ea10082009fb93f0c3fbf9c56c97.tar.bz2 | |
Add gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 53 |
1 files changed, 48 insertions, 5 deletions
@@ -1,5 +1,48 @@ -riscv.lem -riscv_types.lem -riscvScript.sml -riscv_extrasScript.sml -riscv_typesScript.sml +# global things + +*~ +.#* +*.bak + +*.native +*.byte + +a.out + +_build/ +_sbuild/ + +# HOL4 + +.HOLMK +.hollogs +*Theory.dat +*Theory.sig +*Theory.sml +*Theory.ui +*Theory.uo + +# Coq + +*.vo +*.glob +.*.aux + +# location specific things + +/Riscv.thy +/RiscvAuxiliary.thy +/Riscv_extras.thy +/Riscv_lemmas.thy +/Riscv_types.thy +/riscv.lem +/riscv_types.lem +/riscv_sequential.lem +/riscv_sequential_types.lem +/Riscv_sequential_lemmas.thy +/riscv +/platform +/riscv.c +/riscv_model.c +/riscv_c +/riscv_sim |