diff options
| author | Jon French | 2018-05-18 15:06:09 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-18 15:06:09 +0100 |
| commit | 9af9da6b7e3d86462a0f84af35b4d3c3ff4d13f0 (patch) | |
| tree | 4cc7d1dc25f8fddcaf70d3fe1674eb2323478562 /.gitignore | |
| parent | d229327f6e4214604e39b1ae6292cd0146a6093f (diff) | |
update and reorganise .gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 85 |
1 files changed, 67 insertions, 18 deletions
@@ -1,23 +1,72 @@ /sail + *~ +.#* +*.bak + *.native *.byte -src/_build/ -src/sail.docdir -src/ast.lem -src/ast.ml -src/bytecode.lem -src/bytecode.ml +a.out + +_build/ _sbuild/ -test/typecheck/rtpass*/ -language/*.pdf -language/*.uo -language/*.ui -language/*.sig -language/*.sml -language/.HOLMK -language/*.tex -language/*.aux -language/*.log -language/*.dvi -language/*.ps + +/src/sail.docdir +/src/ast.lem +/src/ast.ml +/src/bytecode.lem +/src/bytecode.ml + +/test/typecheck/rtpass*/ +/test/typecheck/tests.xml +/test/lem/Out_lemmas.thy +/test/lem/out.lem +/test/lem/out_types.lem +/test/*/tests.xml + +/language/*.pdf +/language/*.uo +/language/*.ui +/language/*.sig +/language/*.sml +/language/.HOLMK +/language/*.tex +/language/*.aux +/language/*.log +/language/*.dvi +/language/*.ps + +/aarch64/Aarch64.thy +/aarch64/Aarch64Auxiliary.thy +/aarch64/Aarch64_extras.thy +/aarch64/Aarch64_lemmas.thy +/aarch64/Aarch64_types.thy +/aarch64/aarch64.lem +/aarch64/aarch64_types.lem +/aarch64/z3_problems + +/cheri/cheri +/cheri/cheri128 + +/power/power.lem +/power/power.ml +/power/power_embed.lem +/power/power_embed_sequential.lem +/power/power_embed_types.lem +/power/power_toFromInterp.lem + +/riscv/Riscv.thy +/riscv/RiscvAuxiliary.thy +/riscv/Riscv_extras.thy +/riscv/Riscv_lemmas.thy +/riscv/Riscv_types.thy +/riscv/riscv.lem +/riscv/riscv_types.lem +/riscv/riscv + +/x86/x86.lem +/x86/x86.ml +/x86/x86_embed.lem +/x86/x86_embed_sequential.lem +/x86/x86_embed_types.lem +/x86/x86_toFromInterp.lem
\ No newline at end of file |