Home Explore Help
Sign In
jonathanvdc
/
modelverse
forked from yentl/modelverse
Watch 1
Star 0
Fork 0
Files
Browse Source

Compress the bootstrap.m and minimal.m file using gzip

Yentl Van Tendeloo 9 years ago
parent
d37fd8aff1
commit
2e8a5892e6
12 changed files with 13 additions and 162613 deletions
Split View Show Diff Stats
  1. 0 160743
      bootstrap/bootstrap.m
  2. BIN
      bootstrap/bootstrap.m.gz
  3. 5 4
      bootstrap/bootstrap.py
  4. 0 1859
      bootstrap/minimal.m
  5. BIN
      bootstrap/minimal.m.gz
  6. 1 1
      hybrid_server/classes/mvkcontroller.xml
  7. 1 1
      kernel/test/functions/utils.py
  8. 1 1
      kernel/test/instructions/utils.py
  9. 1 1
      kernel/test/primitives/utils.py
  10. 1 1
      kernel/test/rules/utils.py
  11. 1 1
      kernel/test/utils.py
  12. 2 1
      state/modelverse_state/main.py

File diff suppressed because it is too large
+ 0 - 160743
bootstrap/bootstrap.m


BIN
bootstrap/bootstrap.m.gz
View File


+ 5 - 4
bootstrap/bootstrap.py
View File 

@@ -2,6 +2,7 @@
 
 import glob
 
 import hashlib
 
 import tempfile
 
+import gzip
 
 
 def bootstrap():
 
     root = ["__hierarchy"]
 
@@ -151,8 +152,8 @@ def bootstrap():
 
                 self.file_b.write(text)
 
 
     try:
 
-        with open("bootstrap/bootstrap.m", "w") as fa:
 
-            with open("bootstrap/minimal.m", "w") as fb:
 
+        with gzip.open("bootstrap/bootstrap.m.gz", "wb") as fa:
 
+            with gzip.open("bootstrap/minimal.m.gz", "wb") as fb:
 
                 f = Writer(fa, fb)
 
                 # Create the root first
 
                 f.write("Node root()\n")
 
@@ -301,6 +302,6 @@ def bootstrap():
 
                 f.write("Edge _user_IP(__hierarchy, new_user_initial_IP)\n", both=False)
 
                 f.write("Edge __user_IP(_user_IP, __IP_str)\n", both=False)
 
     except:
 
-        os.remove("bootstrap/bootstrap.m")
 
-        os.remove("bootstrap/minimal.m")
 
+        os.remove("bootstrap/bootstrap.m.gz")
 
+        os.remove("bootstrap/minimal.m.gz")
 
         raise

File diff suppressed because it is too large
+ 0 - 1859
bootstrap/minimal.m


BIN
bootstrap/minimal.m.gz
View File


+ 1 - 1
hybrid_server/classes/mvkcontroller.xml
View File 

@@ -6,7 +6,7 @@
 
         <parameter name="params"/>

         <body>

             <![CDATA[

-            self.mvs = ModelverseState("../bootstrap/bootstrap.m")

+            self.mvs = ModelverseState("../bootstrap/bootstrap.m.gz")

             # Enable Garbage Collection

             self.mvs.GC = True

             self.root = self.mvs.read_root()[0]

+ 1 - 1
kernel/test/functions/utils.py
View File 

@@ -5,7 +5,7 @@ import json
 
 
 class MvSWrapper(object):
 
     def __init__(self):
 
-        self.mvs = ModelverseState("../bootstrap/minimal.m")
 
+        self.mvs = ModelverseState("../bootstrap/minimal.m.gz")
 
 
         self.mapping = {
 
                    "RD": self.mvs.read_dict,

+ 1 - 1
kernel/test/instructions/utils.py
View File 

@@ -5,7 +5,7 @@ import json
 
 
 class MvSWrapper(object):
 
     def __init__(self):
 
-        self.mvs = ModelverseState("../bootstrap/minimal.m")
 
+        self.mvs = ModelverseState("../bootstrap/minimal.m.gz")
 
 
         self.mapping = {
 
                    "RD": self.mvs.read_dict,

+ 1 - 1
kernel/test/primitives/utils.py
View File 

@@ -5,7 +5,7 @@ import json
 
 
 class MvSWrapper(object):
 
     def __init__(self):
 
-        self.mvs = ModelverseState("../bootstrap/minimal.m")
 
+        self.mvs = ModelverseState("../bootstrap/minimal.m.gz")
 
 
         self.mapping = {
 
                    "RD": self.mvs.read_dict,

+ 1 - 1
kernel/test/rules/utils.py
View File 

@@ -5,7 +5,7 @@ import json
 
 
 class MvSWrapper(object):
 
     def __init__(self):
 
-        self.mvs = ModelverseState("../bootstrap/minimal.m")
 
+        self.mvs = ModelverseState("../bootstrap/minimal.m.gz")
 
 
         self.mapping = {
 
                    "RD": self.mvs.read_dict,

+ 1 - 1
kernel/test/utils.py
View File 

@@ -5,7 +5,7 @@ import json
 
 
 class MvSWrapper(object):
 
     def __init__(self):
 
-        self.mvs = ModelverseState("../bootstrap/minimal.m")
 
+        self.mvs = ModelverseState("../bootstrap/minimal.m.gz")
 
 
         self.mapping = {
 
                    "RD": self.mvs.read_dict,

+ 2 - 1
state/modelverse_state/main.py
View File 

@@ -2,6 +2,7 @@ from modelverse_state import status
 
 import sys
 
 from collections import defaultdict
 
 import os
 
+import gzip
 
 
 import cPickle as pickle
 
 
@@ -81,7 +82,7 @@ class ModelverseState(object):
 
                     else:
 
                         return symbols[symb]
 
 
-            with open(filename, 'r') as f:
 
+            with gzip.open(filename, 'rb') as f:
 
                 for line in f:
 
                     element_type, constructor = line.split(None, 1)
 
                     name, values = constructor.split("(", 1)