From: Mark Thom Date: Mon, 25 May 2026 21:10:02 +0000 (-0600) Subject: Merge pull request #3342 from Skgland/pdl-pairs X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=43b6afcdf3402e6d204de50e6a55a83ceb286b38;p=scryer-prolog.git Merge pull request #3342 from Skgland/pdl-pairs ensure pdl is pushed/popped in pairs and reuse tabu_list allocation by moving it from a local variable into the machine state --- 43b6afcdf3402e6d204de50e6a55a83ceb286b38