diff options
author | 2011-01-21 22:58:00 +0000 | |
---|---|---|
committer | 2011-01-21 22:58:00 +0000 | |
commit | c5e0eb26a14adaab86c8adba7da828d7680a1bc4 (patch) | |
tree | 00ad5492abfaae301d75e374023f0254c87778cb /BCT/BytecodeTranslator/TraverserFactory.cs | |
parent | c0c9648a3b8cea11b7c82ee2cc5b5eb64a571f80 (diff) |
Added the heap representation I was supposed to have started with... A general one that generates function calls for heap reads and writes so that the actual heap representation can be decided just by changing the prelude.
Diffstat (limited to 'BCT/BytecodeTranslator/TraverserFactory.cs')
0 files changed, 0 insertions, 0 deletions