#77: wip

sdasgup3 · Jun 6, 2018 · e0f1cc4 · e0f1cc4
1 parent ca115a3
commit e0f1cc4
Show file tree

Hide file tree

Showing 5 changed files with 6,088 additions and 59,898 deletions.
diff --git a/x86-semantics/scripts/run.pl b/x86-semantics/scripts/run.pl
@@ -112,7 +112,7 @@ sub createEnv {
     my @kstates = processKFile( $basename, $filek );
     my @xstates = processXFile( $basename, $filex );
 
-    pprint( \@kstates, \@xstates, $kstateskip );
+    #pprint( \@kstates, \@xstates, $kstateskip );
 
     compareStates( $basename, \@kstates, \@xstates );
 }

diff --git a/x86-semantics/semantics/x86-instructions-semantics.k b/x86-semantics/semantics/x86-instructions-semantics.k
diff --git a/x86-semantics/tests/Features/filelist.txt b/x86-semantics/tests/Features/filelist.txt
@@ -0,0 +1,6 @@
+loader
+memory1
+memory2
+memory3
+memory4
+pushpop
diff --git a/x86-semantics/tests/Programs/filelist.txt b/x86-semantics/tests/Programs/filelist.txt
@@ -0,0 +1,9 @@
+bubblesort
+for_if
+funcptr
+if1
+if2
+if3
+if4
+sum_array_elems
+swap
diff --git a/x86-semantics/tests/filelist.txt b/x86-semantics/tests/filelist.txt
@@ -26,8 +26,6 @@
 ./Instructions/sar/
 ./Instructions/sarx/
 ./Instructions/shr/
-./Instructions/vfnmsub132/
-./Instructions/vsub/
 ./Instructions/vxorpd/
 ./Instructions/xadd/
 ./Instructions/xchg/
-Original file line number
+Diff line change
@@ -0,0 +1,6 @@
+    loader
+    memory1
+    memory2
+    memory3
+    memory4
+    pushpop