User Tools

Site Tools


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