]> gitweb.factorcode.org Git - factor.git/commit
type propagation for ifte, and partial evaluation if branch taken is known
authorSlava Pestov <slava@factorcode.org>
Sun, 26 Dec 2004 07:52:39 +0000 (07:52 +0000)
committerSlava Pestov <slava@factorcode.org>
Sun, 26 Dec 2004 07:52:39 +0000 (07:52 +0000)
commit4cb5714094896dbba15328ca97d3dc499a51741f
treea86496c8fe5055223f1af74bb0a76aedc5af35b5
parentb1953d4e0b01262845d079d731872b0fe42460fb
type propagation for ifte, and partial evaluation if branch taken is known
library/inference/branches.factor