diff options
| -rw-r--r-- | .gitignore | 5 | ||||
| -rw-r--r-- | lib/isabelle/.gitignore | 13 | ||||
| -rw-r--r-- | test/riscv/tests/.gitignore | 1 |
3 files changed, 19 insertions, 0 deletions
@@ -1,8 +1,13 @@ +/sail *~ *.native *.byte src/_build/ src/sail.docdir +src/ast.lem +src/ast.ml +src/bytecode.lem +src/bytecode.ml _sbuild/ test/typecheck/rtpass*/ language/*.pdf diff --git a/lib/isabelle/.gitignore b/lib/isabelle/.gitignore new file mode 100644 index 00000000..0d595f3c --- /dev/null +++ b/lib/isabelle/.gitignore @@ -0,0 +1,13 @@ +PromptAuxiliary.thy +Prompt_monadAuxiliary.thy +Prompt_monad.thy +Prompt.thy +Sail_instr_kinds.thy +Sail_operators_bitlists.thy +Sail_operators_mwords.thy +Sail_operators.thy +Sail_valuesAuxiliary.thy +Sail_values.thy +StateAuxiliary.thy +State_monad.thy +State.thy diff --git a/test/riscv/tests/.gitignore b/test/riscv/tests/.gitignore new file mode 100644 index 00000000..f47cb204 --- /dev/null +++ b/test/riscv/tests/.gitignore @@ -0,0 +1 @@ +*.out |