From 13a131323937b6327e2eeeca1adfb2710ae73fb8 Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Wed, 12 Feb 2025 20:38:55 -0600 Subject: [PATCH 1/2] Fixed lemma_name prefix match bug --- src/itp_interface/rl/simple_proof_env.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/itp_interface/rl/simple_proof_env.py b/src/itp_interface/rl/simple_proof_env.py index 8ff3f18..555019a 100644 --- a/src/itp_interface/rl/simple_proof_env.py +++ b/src/itp_interface/rl/simple_proof_env.py @@ -526,7 +526,7 @@ def _foward_to_lemma_proof(self): lemma_name = self._dynamic_proof_executor.get_lemma_name_if_running() if lemma_name is not None: lemma_name = lemma_name.strip() - lemma_found = lemma_name.startswith(self.lemma_name) if lemma_name is not None else False + lemma_found = lemma_name == self.lemma_name if lemma_name is not None else False if not lemma_found: _ = list(self._dynamic_proof_executor.run_to_finish_lemma_return_exec()) if self._dynamic_proof_executor.execution_complete: @@ -544,7 +544,7 @@ def _foward_to_lemma_proof(self): lemma_name = self._dynamic_proof_executor.get_lemma_name_if_running() if lemma_name is not None: lemma_name = lemma_name.strip() - lemma_found = lemma_name.startswith(self.lemma_name) if lemma_name is not None else False + lemma_found = lemma_name == self.lemma_name if lemma_name is not None else False if not lemma_found: _ = list(self._dynamic_proof_executor.run_to_finish_lemma_return_exec()) if self._dynamic_proof_executor.execution_complete: From 23f0561ea8352ab02d3f0e1d365fa522f521e2c7 Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Wed, 12 Feb 2025 21:09:48 -0600 Subject: [PATCH 2/2] version bump --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index a6cbd0d..872a703 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -5,7 +5,7 @@ requires = [ build-backend = "hatchling.build" [project] name = "itp_interface" -version = "1.1.2" +version = "1.1.4" authors = [ { name="Amitayush Thakur", email="amitayush@utexas.edu" }, ]