Spaces:
Sleeping
Sleeping
朱东升
commited on
Commit
·
f1270af
1
Parent(s):
a215dc5
update22
Browse files- src/eval_adb.py +1 -1
- src/eval_clj.py +2 -2
- src/eval_cpp.py +2 -2
- src/eval_cs.py +1 -1
- src/eval_elixir.py +1 -1
- src/eval_go.py +1 -1
- src/eval_hs.py +1 -1
- src/eval_java.py +2 -2
- src/eval_julia.py +1 -1
- src/eval_lean.py +1 -1
- src/eval_lua.py +1 -1
- src/eval_luau.py +1 -1
- src/eval_matlab.py +1 -1
- src/eval_ocaml.py +1 -1
- src/eval_php.py +1 -1
- src/eval_python.py +1 -1
- src/eval_racket.py +2 -2
- src/eval_ruby.py +1 -1
- src/eval_rust.py +1 -1
src/eval_adb.py
CHANGED
@@ -1,6 +1,6 @@
|
|
1 |
from pathlib import Path
|
2 |
from src.safe_subprocess import run
|
3 |
-
from generic_eval import main
|
4 |
|
5 |
|
6 |
LANG_NAME = "Ada"
|
|
|
1 |
from pathlib import Path
|
2 |
from src.safe_subprocess import run
|
3 |
+
from src.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 safe_subprocess import run
|
7 |
-
from libeval import run_without_exn
|
8 |
|
9 |
|
10 |
def eval_script(path: Path):
|
|
|
3 |
"""
|
4 |
import os
|
5 |
from pathlib import Path
|
6 |
+
from src.safe_subprocess import run
|
7 |
+
from src.libeval import run_without_exn
|
8 |
|
9 |
|
10 |
def eval_script(path: Path):
|
src/eval_cpp.py
CHANGED
@@ -1,6 +1,6 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
-
from .generic_eval import main
|
4 |
|
5 |
LANG_NAME = "C++"
|
6 |
LANG_EXT = ".cpp"
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
+
from src.generic_eval import main
|
4 |
|
5 |
LANG_NAME = "C++"
|
6 |
LANG_EXT = ".cpp"
|
src/eval_cs.py
CHANGED
@@ -3,7 +3,7 @@ import subprocess
|
|
3 |
import tempfile
|
4 |
from pathlib import Path
|
5 |
|
6 |
-
from generic_eval import main
|
7 |
|
8 |
LANG_NAME = "CSharp"
|
9 |
LANG_EXT = ".cs"
|
|
|
3 |
import tempfile
|
4 |
from pathlib import Path
|
5 |
|
6 |
+
from src.generic_eval import main
|
7 |
|
8 |
LANG_NAME = "CSharp"
|
9 |
LANG_EXT = ".cs"
|
src/eval_elixir.py
CHANGED
@@ -2,7 +2,7 @@ import argparse
|
|
2 |
from sys import exit
|
3 |
import subprocess
|
4 |
from pathlib import Path
|
5 |
-
from generic_eval import main as gmain
|
6 |
|
7 |
|
8 |
def eval_script(path: Path):
|
|
|
2 |
from sys import exit
|
3 |
import subprocess
|
4 |
from pathlib import Path
|
5 |
+
from src.generic_eval import main as gmain
|
6 |
|
7 |
|
8 |
def eval_script(path: Path):
|
src/eval_go.py
CHANGED
@@ -4,7 +4,7 @@ import subprocess
|
|
4 |
from pathlib import Path
|
5 |
import os
|
6 |
import tempfile
|
7 |
-
from .generic_eval import main as gmain
|
8 |
|
9 |
|
10 |
def eval_script(path: Path):
|
|
|
4 |
from pathlib import Path
|
5 |
import os
|
6 |
import tempfile
|
7 |
+
from src.generic_eval import main as gmain
|
8 |
|
9 |
|
10 |
def eval_script(path: Path):
|
src/eval_hs.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["runghc", str(path)])
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["runghc", str(path)])
|
src/eval_java.py
CHANGED
@@ -1,8 +1,8 @@
|
|
1 |
import os
|
2 |
import tempfile
|
3 |
-
from .safe_subprocess import run
|
4 |
from pathlib import Path
|
5 |
-
from .generic_eval import main
|
6 |
|
7 |
LANG_NAME = "Java"
|
8 |
LANG_EXT = ".java"
|
|
|
1 |
import os
|
2 |
import tempfile
|
3 |
+
from src.safe_subprocess import run
|
4 |
from pathlib import Path
|
5 |
+
from src.generic_eval import main
|
6 |
|
7 |
LANG_NAME = "Java"
|
8 |
LANG_EXT = ".java"
|
src/eval_julia.py
CHANGED
@@ -1,4 +1,4 @@
|
|
1 |
-
from .safe_subprocess import run
|
2 |
from pathlib import Path
|
3 |
|
4 |
def eval_script(path: Path):
|
|
|
1 |
+
from src.safe_subprocess import run
|
2 |
from pathlib import Path
|
3 |
|
4 |
def eval_script(path: Path):
|
src/eval_lean.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
import subprocess
|
4 |
|
5 |
def eval_script(path: Path):
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
import subprocess
|
4 |
|
5 |
def eval_script(path: Path):
|
src/eval_lua.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["lua", str(path)])
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["lua", str(path)])
|
src/eval_luau.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
|
4 |
|
5 |
def eval_script(path: Path):
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
|
4 |
|
5 |
def eval_script(path: Path):
|
src/eval_matlab.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
|
4 |
def eval_script(path):
|
5 |
# Matlab has the requirement that all functions must appear at the end
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
|
4 |
def eval_script(path):
|
5 |
# Matlab has the requirement that all functions must appear at the end
|
src/eval_ocaml.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["ocaml", str(path)])
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["ocaml", str(path)])
|
src/eval_php.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
|
4 |
LANG_NAME = "PHP"
|
5 |
LANG_EXT = ".php"
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
|
4 |
LANG_NAME = "PHP"
|
5 |
LANG_EXT = ".php"
|
src/eval_python.py
CHANGED
@@ -1,5 +1,5 @@
|
|
1 |
from pathlib import Path
|
2 |
-
from .safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["python3", str(path)])
|
|
|
1 |
from pathlib import Path
|
2 |
+
from src.safe_subprocess import run
|
3 |
|
4 |
def eval_script(path: Path):
|
5 |
r = run(["python3", str(path)])
|
src/eval_racket.py
CHANGED
@@ -3,8 +3,8 @@ Evaluates a generated Racket program (.rkt).
|
|
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):
|
|
|
3 |
"""
|
4 |
import os
|
5 |
from pathlib import Path
|
6 |
+
from src.safe_subprocess import run
|
7 |
+
from src.libeval import run_without_exn
|
8 |
|
9 |
|
10 |
def eval_script(path: Path):
|
src/eval_ruby.py
CHANGED
@@ -2,7 +2,7 @@ import argparse
|
|
2 |
from sys import exit
|
3 |
import subprocess
|
4 |
from pathlib import Path
|
5 |
-
from .generic_eval import main as gmain
|
6 |
|
7 |
def eval_script(path: Path):
|
8 |
try:
|
|
|
2 |
from sys import exit
|
3 |
import subprocess
|
4 |
from pathlib import Path
|
5 |
+
from src.generic_eval import main as gmain
|
6 |
|
7 |
def eval_script(path: Path):
|
8 |
try:
|
src/eval_rust.py
CHANGED
@@ -2,7 +2,7 @@ import os
|
|
2 |
import subprocess
|
3 |
import tempfile
|
4 |
from pathlib import Path
|
5 |
-
from .generic_eval import main
|
6 |
|
7 |
LANG_NAME = "Rust"
|
8 |
LANG_EXT = ".rs"
|
|
|
2 |
import subprocess
|
3 |
import tempfile
|
4 |
from pathlib import Path
|
5 |
+
from src.generic_eval import main
|
6 |
|
7 |
LANG_NAME = "Rust"
|
8 |
LANG_EXT = ".rs"
|