projects:seer
A page to keep track of the PeerCheck project.
Compare peercheck and symbolic pathfinder (and others?) in terms of
- ines of code
- performance when most computation is not symbolic
- performance when most computation is symbolic
Add symbolic evaluation of functions?
Get graph of behavior of Y combinator (plus other usual combinators, S, K, I) via symbolic execution
merge the various symbolic entities into a single class (eg we give the target a symbolic input, and only later determine its an int, etc).
projects/seer.txt · Last modified: 2011/02/08 01:25 by cormac
