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

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

author	Slava Pestov <slava@slava-pestovs-macbook-pro.local>
	Sun, 9 Aug 2009 04:03:45 +0000 (23:03 -0500)
committer	Slava Pestov <slava@slava-pestovs-macbook-pro.local>
	Sun, 9 Aug 2009 04:03:45 +0000 (23:03 -0500)
commit	e400d80d8ba8fbe455e8f60b8e643e730e1cb2a3
tree	48c20d27f4156ea16099b9afc8fb54020bd55661	tree \| snapshot
parent	61ea749bb6eb824e1f3b58385925877f35593f77	commit \| diff

More accurate interval inference for mod, rem, and propagation can now infer intervals in the case where a value might be f. so, [ [ 127 bitand ] [ drop f ] if dup [ 0 >= ] [ not ] if ] now constant-folds down to 't'!

Factor programming language

RSS Atom

basis/compiler/tree/propagation/info/info-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/math/intervals/intervals.factor		diff \| blob \| history