diff options
| -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 |