Remove unused (outdated) method.
Make the source viewer scroll to the active Stmt or Decl.
Make the active code highlight stronger.
Fix recording of scanf, fscanf, and sscanf so that state changes are recorded after the result (otherwise they are attached to the previously executed instruction). Also fixes a couple of bugs where the recorded value would not match the returned result. Closes #43.
Update for wxWidgets 2.9.5.
Use BoxSizer because there is only one child.
Format NULL address arguments as "NULL" rather than "0x0000..."; update the unowned memory reference error text to make use of this change.
Explicitly handle other Value kinds in switch.
Make checkCStringRead use the parameter when checking if the referenced memory exists, and make the print format conversion checker honour field width for string conversions.
Support user selection of area layout engines.
Use a grey background for uninitialized primitive values.
Don't allow uninitialized chars to start elision when laying out C strings.
Use SAFECode's BreakConstantGEPs transform to convert constant getelementptr expressions into instructions, so that their values can be recorded at runtime.
Remove usage of SAFECode's BreakConstantGEPs from seec-ld, as this will ruin the SeeC-Clang mapping information at this stage.
Apply SAFECode's BreakConstantGEPs pass after compilation, but prior to serializing the SeeC-Clang mapping information. This ensures that the mapping remains valid.
Merge updates from development into the recording feature branch.