]> Repositorios git - scryer-prolog.git/commit
Merge pull request #3185 from mthom/install_verify_attr_opt
authorMark Thom <[email protected]>
Thu, 4 Dec 2025 02:10:46 +0000 (19:10 -0700)
committerGitHub <[email protected]>
Thu, 4 Dec 2025 02:10:46 +0000 (19:10 -0700)
commit96a9dfcc1b0c7cbb7a55e46e9e48ee10705cabc7
treec8e7ac45b047eb5d3f40cb5c7194599c912c031a
parent6fdcd17f32c27178cf78c0efa214a293f69dfbca
parentb287f0aedb8b5d43667f1294ed7e5815d69cbe04
Merge pull request #3185 from mthom/install_verify_attr_opt

Optimize `verify_attr` by removing the need to scan instructions
src/machine/attributed_variables.rs
src/machine/dispatch.rs
src/machine/machine_state.rs
src/machine/machine_state_impl.rs
src/machine/mod.rs
src/machine/system_calls.rs
src/macros.rs