Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

projects / scryer-prolog.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 0e12265) | patch

author	Mark Thom <[email protected]>
	Wed, 29 Apr 2020 01:22:20 +0000 (19:22 -0600)
committer	Mark Thom <[email protected]>
	Wed, 29 Apr 2020 01:22:20 +0000 (19:22 -0600)
commit	a3bb288f015b52ad23e0ad1cbbdc76bef8701e3e
tree	d6a63db6dc645a2f27051c06af65e3423ac6d508	tree \| snapshot
parent	0e1226573a97169fd9d1428c89aa522dd66fee8d	commit \| diff

check that lower bound on term expansion drain is below the len of the term expansion vector, queue (#416)

src/prolog/machine/code_repo.rs		diff \| blob \| history
src/prolog/machine/term_expansion.rs		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust