Initial work on the reactive bridge. Highly incomplete.
Tweak to cplus2asp system to use as2transition version 3.0 arguments.
Small bug fix to prevent running as2transition while in reactive mode.
Modified behavior of show statement to only hide fluents.
Merge branch 'master' of ssh://github.com/babb517/cplus2asp into dirty
Compatibility fix for cplus2asp's makefile.
Numerous bug fixes for reactive mode.
Development of base reactive bridge with output translation (input translation pending).
Enhanced command line options for cplus2asp.
Improved filesystem / process handling for system portability (work still required).
Fixed an issue with ':- show' statements preventing them from hiding rigid fluents.
Added strong type checking in the additive standard files.
Fixed an issue causing crashes when one of the toolchain components exits immediately.
Added boost configuration macros which are required for compilation.
Fixed issues with the cplus2asp symbol table (both the internal representation and the version outputted).
Added support for the language BC.
Added the 'computed' sort for compatibility with CCalc external calls implemented in LUA.
Added the '.lua' extension to the list of recognized files associated with the grounder. Files ending in .lua will now skip translation and preprocessing.
Fixed an issue where an exception may be thrown arbitrarily during translation.
Fixed an issue which prevented dynamically instantiating a numerical sort via a number range.
Added full support for LUA calls. Fixed the parser to allow LUA calls with empty parameter lists (or, equivalently, no parameter list).
Added support for arbitrary query names (extended from integral identifiers).
Added the ability to specify 'all' instead of '0' on the command line to find all solutions.
Worked around an iClingo quirk which caused solutions prior to the minstep to be returned.
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.
Cleaned up misc files.
Cleaned up some misc files.