User Tools

Site Tools


projects:seer

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

projects:seer [2011/02/07 17:25] (current)
cormac created
Line 1: Line 1:
 +==== 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