git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Tim Chevalier <chevalier@alum.wellesley.edu>
	Thu, 21 Jul 2011 23:03:30 +0000 (16:03 -0700)
committer	Tim Chevalier <chevalier@alum.wellesley.edu>
	Thu, 21 Jul 2011 23:11:34 +0000 (16:11 -0700)
commit	a9a1392b2c1fece9447a2b834896b4316c5dbfff
tree	e6f912fef11732b31e86b685c48938c0d9b8a895	tree \| snapshot
parent	2261ddc717485dc06e4dbd255947549816f37e4b	commit \| diff

Instantiate function preconditions inside the function body

so that if we have a function like:
f(...) : p(x) {
...
}

p(x) is true inside the body of f.

Closes #694.

src/comp/middle/tstate/auxiliary.rs		diff \| blob \| history
src/comp/middle/tstate/bitvectors.rs		diff \| blob \| history
src/comp/middle/tstate/collect_locals.rs		diff \| blob \| history
src/comp/middle/tstate/states.rs		diff \| blob \| history
src/test/run-pass/typestate-transitive.rs	[new file with mode: 0644]	blob

Empowering everyone to build reliable and efficient software.

RSS Atom