diff options
| author |  mikebarnett <unknown> | 2010-06-06 03:53:24 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-06-06 03:53:24 +0000 |
| commit | 17580f73a7919cff527c5839b37f9e9006b5f64d (patch) | |
| tree | a74e6e45385aea0c026434af9f7a79f00484f8cc /BCT/BytecodeTranslator/app.config | |
| parent | e51b347511f11ea1bda810b843e5d61fdf088832 (diff) | |
Updated the project to .NET v4.0.
Added helper methods to the statement traverser.
Handle ILocalDeclarationStatement, IAssertStatement, IAssumeStatement in StatementTraverser.
Handle simple logical-and and logical-or expressions in ExpressionTraverser.
Inject assertion that divisor is non-zero for IDivision in ExpressionTraverser.
Added static variable BCT.Host so all parts of translation can access the CCI Metadata host.
Diffstat (limited to 'BCT/BytecodeTranslator/app.config')
0 files changed, 0 insertions, 0 deletions