From 4c97eae05eebd3e2033c854fdce4a2d4e3a17c8f Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 24 Oct 2018 11:52:59 +0100
Subject: add a couple things to gitignore

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 6e5f1362..b4535aba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,6 +46,7 @@ lib/hol/sail-heap
 /test/lem/out.lem
 /test/lem/out_types.lem
 /test/*/tests.xml
+/test/riscv/tests/*.iout
 
 /language/*.pdf
 /language/*.uo
@@ -92,6 +93,7 @@ lib/hol/sail-heap
 /riscv/platform
 /riscv/riscv.c
 /riscv/riscv_c
+/riscv/z3_problems
 
 /x86/x86.lem
 /x86/x86.ml
-- 
cgit v1.2.3