]> Repositorios git - scryer-prolog.git/commit
use branch numbers to detect branch subsumption
authorMark Thom <[email protected]>
Wed, 10 Dec 2025 07:14:24 +0000 (23:14 -0800)
committerMark Thom <[email protected]>
Thu, 15 Jan 2026 04:34:06 +0000 (20:34 -0800)
commit9089f9ddb49820671a1e65ad2a886aec56b2a928
treede10a47234092adc9ce2b20f5f03a9f29a746ca4
parent16dc10ee968ef478eacc4ce1b4b9c22622daba17
use branch numbers to detect branch subsumption
src/codegen.rs
src/debray_allocator.rs
src/forms.rs
src/iterators.rs
src/machine/disjuncts.rs
src/variable_records.rs