disable qmake's creation of .app bundle on OS X
use vector instead of array in case where size is not known at compile-time
allow translation tool to be imported as a module
change 'uint' to 'unsigned int' to ensure broader compatibility
(1) Added the functionality to write the automaton to an output file
(2) Added a command line help to slugs
(3) Split up the initialization assumptions and guarantees for the special robotics semantics mode again. This keeps the explicit state automata that are synthesized smaller.
ifstream and ofstream constructors require char* instead of String in older compilers
Added stuttering avoidance to the strategy extraction
Removed unnecessary warning.
Make sure that output bits cannot be used in the initialization assumptions
Added script to generate a NuSMV file from a slugs specification and an automaton file to verify the computed implementation
Simplified the explicit-state strategy extraction and added the first version of a Fuzz testing tool for generated strategies
Updated NuSMV model generator script and the fuzz tester.
Major restructuring to a template-based plugin framework to allow for adding future extensions without obstructing understanding of the underlying algorithms.
Added minimal-assumption-set extractor extension
Fix for the problem that some compiler versions on the mac cannot deal with one statement in the code - now exchanged for a more lengthy, but equivalent statement.
change uint references to unsigned ints again :)
Added "A bias for action" extension and some documentation
Added a bit of documentation
Added literal-level simplification to the "Weaken Safety Assumptions" extension
Fixed a small error in the strategy verification script and updated documentation of the synthesis algorithm.