From 673a756983bb6e1fb07444b14ab02fb0832b83aa Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Thu, 13 Feb 2025 13:05:50 -0600 Subject: [PATCH 1/2] Removed special case handling while calling an environment which has completed the proof already. --- src/itp_interface/rl/simple_proof_env.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/itp_interface/rl/simple_proof_env.py b/src/itp_interface/rl/simple_proof_env.py index 555019a..4f6c62d 100644 --- a/src/itp_interface/rl/simple_proof_env.py +++ b/src/itp_interface/rl/simple_proof_env.py @@ -221,7 +221,7 @@ def step(self, action: Action) -> typing.Tuple[State, Action, State, float, bool info = ProofEnvInfo(progress=ProgressState.STARTING) if self.done: info.progress = ProgressState.DONE - return self.state, 0.0, True, info + return self.state, action, self.state, 0.0, True, info assert isinstance(action, ProofAction), f"action must be of type ProofAction, not {type(action)}" history_idx = len(self._history) state_before = self.state From 9869221e503170827eb0f110fad4966bf0eb82fd Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Thu, 13 Feb 2025 13:15:45 -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 872a703..90a007a 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -5,7 +5,7 @@ requires = [ build-backend = "hatchling.build" [project] name = "itp_interface" -version = "1.1.4" +version = "1.1.5" authors = [ { name="Amitayush Thakur", email="amitayush@utexas.edu" }, ]