Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Fri, 09 May 2014 20:22:05 +0200 | Miguel Garcia | Merge |
Fri, 09 May 2014 20:05:41 +0200 | Miguel Garcia | [single-pass-iter] offloading tracking successor-pre-states to nodeQueue |
Fri, 09 May 2014 17:33:14 +0200 | Miguel Garcia | [single-pass-iter] early pruning of state map, visit a whole method |