Fixed an issue preventing named queries from being specified on the command line.
Fixed several issues with the BC translation.
Fixed an issue with segfaults occurring while running one formalization of MCP.
Properly hid the display of 'step' and 'astep' in the system output.
Fixed several bugs revolving around LUA (final fixes still pending).
Fixed a bug that prevented query specification on the command line.
Finished benchmarking incremental mode.
Cleaned up tests directory and renamed to examples. Added additional examples.
Fixed an issue preventing dynamic declaration of constants using the 'unless' clause introduced while implementing the symbol table.
Implemented named queries for the cplus2asp wrapper program.
Fixed an issue resulting from the automatic generation of the 'computed' sort in LUA calls.
Fixed an issue where the program segfaults after certain now-unsupported options are called.