gitweb.factorcode.org Git - factor.git/commit

]> gitweb.factorcode.org Git - factor.git/commit

author	Slava Pestov <slava@slava-pestovs-macbook-pro.local>
	Mon, 10 Aug 2009 06:16:49 +0000 (01:16 -0500)
committer	Slava Pestov <slava@slava-pestovs-macbook-pro.local>
	Mon, 10 Aug 2009 06:16:49 +0000 (01:16 -0500)
commit	7e35723db00ea3fc4584fd4bff71694899ed0417
tree	426d6f1f5c9914ec361492120eea987dbcd970d9	tree \| snapshot
parent	50e366bbe1b1f34e1ae13c34bdac287fab2868d1	commit \| diff

compiler.tree.propagation: be more careful with intervals, ensuring that the inferred interval of a value is a subset of the value class's interval. This improves accuracy, for example [ >fixnum 1 + >fixnum most-positive-fixnum <= ] constant-folds to true

Factor programming language

RSS Atom

basis/compiler/tree/debugger/debugger.factor		diff \| blob \| history
basis/compiler/tree/modular-arithmetic/modular-arithmetic-tests.factor		diff \| blob \| history
basis/compiler/tree/propagation/info/info.factor		diff \| blob \| history
basis/compiler/tree/propagation/known-words/known-words.factor		diff \| blob \| history
basis/compiler/tree/propagation/propagation-tests.factor		diff \| blob \| history
basis/compiler/tree/propagation/recursive/recursive-tests.factor		diff \| blob \| history
basis/compiler/tree/propagation/recursive/recursive.factor		diff \| blob \| history
basis/math/intervals/intervals.factor		diff \| blob \| history