User Tools

Site Tools


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/07 17:25 by cormac