Merge pull request #329 from dapphub/notmp

Rename `rules.k.tmp` to `rules.k.tmpl`

Author: asymmetric

README.md

@@ -100,6 +100,12 @@ Once the proof is complete, we can explore the generated symbolic execution trac
 klab debug <hash>
 ```
 
+### Embedded rules
+
+klab comes with a set of pre-defined K rewrite rules, additional to the ones
+defined in [evm-semantics](https://github.com/kframework/evm-semantics). They
+are located in `resources/rules.k.tmpl`.
+
 ### Key Bindings
 
 Toggle different views by pressing any of the following keys:

lib/build.js

@@ -175,7 +175,7 @@ endmodule
     .join("\n")
 
   const rules_k = rules_template([
-    fs.readFileSync(path.join(__dirname, "../resources/rules.k.tmp")).toString(),
+    fs.readFileSync(path.join(__dirname, "../resources/rules.k.tmpl")).toString(),
     rules
   ])
   const rules_path = path.join(KLAB_OUT, "rules.k");