Merge pull request #61 from trishullab/feature/tactic-parsing-strong-validation

Revampped the Lean 4 execution framework; Removed REPL dependency

Author: amit9oct

.github/workflows/github-build-actions-python314t.yaml

@@ -117,3 +117,12 @@ jobs:
           eval $(opam env)
           source $HOME/.elan/env
           python src/test/simple_data_gen_test.py
+
+      - name: Run Data Extraction Test
+        shell: bash
+        run: |
+          export PATH="$HOME/miniconda/bin:$PATH"
+          source $HOME/miniconda/bin/activate py314-ft
+          eval $(opam env)
+          source $HOME/.elan/env
+          python src/test/simple_data_extract_test.py

.github/workflows/github-build-actions.yaml

@@ -75,10 +75,32 @@ jobs:
           eval $(opam env)
           source $HOME/.elan/env
           python src/test/simple_env_test.py
+        
+      - name: Ray Cleanup
+        shell: bash
+        run: |
+          rm -rf /tmp/* --verbose
 
       - name: Run Data Gen Test
         shell: bash
         run: |
           eval $(opam env)
           source $HOME/.elan/env
-          python src/test/simple_data_gen_test.py
+          python src/test/simple_data_gen_test.py
+
+      - name: Ray Cleanup
+        shell: bash
+        run: |
+          rm -rf /tmp/* --verbose
+
+      - name: Run Data Extraction Test
+        shell: bash
+        run: |
+          eval $(opam env)
+          source $HOME/.elan/env
+          python src/test/simple_data_extract_test.py
+
+      - name: Ray Cleanup
+        shell: bash
+        run: |
+          rm -rf /tmp/* --verbose

pyproject.toml

@@ -5,7 +5,7 @@ requires = [
 build-backend = "hatchling.build"
 [project]
 name = "itp_interface"
-version = "1.1.14"
+version = "1.1.15"
 authors = [
   { name="Amitayush Thakur", email="[email protected]" },
 ]
@@ -45,6 +45,12 @@ dependencies = [
     "grpcio>=1.51.3; python_version<'3.14'"
 ]
 
+[project.optional-dependencies]
+app = [
+    "flask>=2.3.0",
+    "flask-cors>=4.0.0"
+]
+
 [project.urls]
 Homepage = "https://github.com/trishullab/itp-interface"
 Issues = "https://github.com/trishullab/itp-interface/issues"