diff options
| author | Brian Campbell | 2018-04-13 15:18:21 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-13 15:18:21 +0100 |
| commit | 4cabe141fc5f89627fcb44f6c90b24daedc70c89 (patch) | |
| tree | 3a62a74c4c0c1434f54250dbbe7734595124db9e | |
| parent | 2e44dbdaccfd39e18a451a5403ebac89aa34ac09 (diff) | |
Add a few more generated file to gitignore
| -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 |