Spaces:
Sleeping
Sleeping
朱东升
commited on
Commit
·
6d17930
1
Parent(s):
5620318
update20
Browse files- app.py +2 -2
- src/eval_adb.py +2 -2
- src/eval_clj.py +2 -2
- src/eval_dart.py +1 -1
- src/eval_dfy.py +1 -1
- src/eval_pl.py +1 -1
- src/eval_scala.py +1 -1
- src/eval_sh.py +1 -1
- src/eval_swift.py +1 -1
- src/eval_ts.py +1 -1
app.py
CHANGED
@@ -27,7 +27,7 @@ if src_dir not in sys.path:
|
|
27 |
task_queue = queue.Queue()
|
28 |
# Dictionary to store task status
|
29 |
task_status = {}
|
30 |
-
# List to store task history, max
|
31 |
task_history = []
|
32 |
# Lock for shared resources
|
33 |
lock = threading.Lock()
|
@@ -89,7 +89,7 @@ def queue_processor():
|
|
89 |
'status': 'completed',
|
90 |
'factors': task_status[task_id].get('estimated_factors', {})
|
91 |
})
|
92 |
-
while len(task_history) >
|
93 |
task_history.pop(0)
|
94 |
|
95 |
task_queue.task_done()
|
|
|
27 |
task_queue = queue.Queue()
|
28 |
# Dictionary to store task status
|
29 |
task_status = {}
|
30 |
+
# List to store task history, max 200 tasks
|
31 |
task_history = []
|
32 |
# Lock for shared resources
|
33 |
lock = threading.Lock()
|
|
|
89 |
'status': 'completed',
|
90 |
'factors': task_status[task_id].get('estimated_factors', {})
|
91 |
})
|
92 |
+
while len(task_history) > 200:
|
93 |
task_history.pop(0)
|
94 |
|
95 |
task_queue.task_done()
|
src/eval_adb.py
CHANGED
@@ -1,6 +1,6 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from
|
3 |
-
from
|
4 |
|
5 |
|
6 |
LANG_NAME = "Ada"
|
|
|
1 |
from pathlib import Path
|
2 |
+
from safe_subprocess import run
|
3 |
+
from generic_eval import main
|
4 |
|
5 |
|
6 |
LANG_NAME = "Ada"
|
src/eval_clj.py
CHANGED
@@ -3,8 +3,8 @@ Evaluates a generated Clojure program (.clj).
|
|
3 |
"""
|
4 |
import os
|
5 |
from pathlib import Path
|
6 |
-
from
|
7 |
-
from
|
8 |
|
9 |
|
10 |
def eval_script(path: Path):
|
|
|
3 |
"""
|
4 |
import os
|
5 |
from pathlib import Path
|
6 |
+
from safe_subprocess import run
|
7 |
+
from libeval import run_without_exn
|
8 |
|
9 |
|
10 |
def eval_script(path: Path):
|
src/eval_dart.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from
|
3 |
|
4 |
|
5 |
def eval_script(path: Path):
|
|
|
1 |
from pathlib import Path
|
2 |
+
from safe_subprocess import run
|
3 |
|
4 |
|
5 |
def eval_script(path: Path):
|
src/eval_dfy.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from
|
3 |
|
4 |
# 0 – success
|
5 |
# 1 – invalid command-line arguments
|
|
|
1 |
from pathlib import Path
|
2 |
+
from safe_subprocess import run
|
3 |
|
4 |
# 0 – success
|
5 |
# 1 – invalid command-line arguments
|
src/eval_pl.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["perl", path])
|
|
|
1 |
from pathlib import Path
|
2 |
+
from safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["perl", path])
|
src/eval_scala.py
CHANGED
@@ -1,6 +1,6 @@
|
|
1 |
from pathlib import Path
|
2 |
import tempfile
|
3 |
-
from .safe_subprocess import run
|
4 |
|
5 |
LANG_NAME = "Scala"
|
6 |
LANG_EXT = ".scala"
|
|
|
1 |
from pathlib import Path
|
2 |
import tempfile
|
3 |
+
from src.safe_subprocess import run
|
4 |
|
5 |
LANG_NAME = "Scala"
|
6 |
LANG_EXT = ".scala"
|
src/eval_sh.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from
|
3 |
|
4 |
LANG_NAME = "bash"
|
5 |
LANG_EXT = ".sh"
|
|
|
1 |
from pathlib import Path
|
2 |
+
from safe_subprocess import run
|
3 |
|
4 |
LANG_NAME = "bash"
|
5 |
LANG_EXT = ".sh"
|
src/eval_swift.py
CHANGED
@@ -1,7 +1,7 @@
|
|
1 |
import subprocess
|
2 |
from pathlib import Path
|
3 |
import os
|
4 |
-
from
|
5 |
|
6 |
def eval_script(path: Path):
|
7 |
basename = ".".join(str(path).split(".")[:-1])
|
|
|
1 |
import subprocess
|
2 |
from pathlib import Path
|
3 |
import os
|
4 |
+
from safe_subprocess import run
|
5 |
|
6 |
def eval_script(path: Path):
|
7 |
basename = ".".join(str(path).split(".")[:-1])
|
src/eval_ts.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from
|
3 |
|
4 |
|
5 |
def eval_script(path: Path):
|
|
|
1 |
from pathlib import Path
|
2 |
+
from safe_subprocess import run
|
3 |
|
4 |
|
5 |
def eval_script(path: Path):
|