clean up old scripts

run_mint3.sh

@@ -1,6 +1,6 @@
 #!/bin/bash -x
 #python scripts/preprocess.py proofs/mint2.psm > /tmp/mint2.psm || exit $?
 python scripts/preprocess.py proofs/jubjub.pism > /tmp/mint2.psm || exit $?
-python scripts/vm.py --supervisor /tmp/mint2.psm --output mint.zcd || exit $?
+python scripts/compile.py --supervisor /tmp/mint2.psm --output mint.zcd || exit $?
 cargo run --release --bin mint3
 

scripts/vm.py → scripts/compile.py

@@ -442,13 +442,14 @@ def main(argv):
     if args.display:
         default_display()
     elif args.rust:
-        import vm_export_rust
+        import compile_export_rust
         for contract_name, contract in contracts.items():
-            vm_export_rust.display(contract)
+            compile_export_rust.display(contract)
     elif args.supervisor:
-        import vm_export_supervisor
+        import compile_export_supervisor
         for contract_name, contract in contracts.items():
-            vm_export_supervisor.export(args.output, contract_name, contract)
+            compile_export_supervisor.export(args.output, contract_name,
+                                             contract)
     else:
         default_display()
 

scripts/vm_export_supervisor.py → scripts/compile_export_supervisor.py

@@ -1,5 +1,5 @@
 import struct
-from vm import VariableType, VariableRefType
+from compile import VariableType, VariableRefType
 
 class Operation: