Refactor dsverifier.cpp

[ssvlab]

• Review dsverifier.cpp methods
• Refactor according to design patterns
• Split dsverifier.cpp in other subclasses and methods
• Apply CPPLint
• Documentation: add comments for each method/class Main goals: (1) create C++ classes for representing digital-system and state-space objects; (2) instantiate those classes from the main procedure of DSVerifier.

[feliperodri]

@lucasccordeiro, are we still going to use the DSVerifier's GUI? Do we really need to keep this code around?

[lucasccordeiro]

Yes, sure :-) We must still keep it running. May I ask you to try it again?

On 10 August 2017 at 03:16, Felipe R. Monteiro notifications@github.com wrote:

@lucasccordeiro https://github.com/lucasccordeiro, are we still going to use the DSVerifier's GUI? Do we really need to keep this code around?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ssvlab/dsverifier/issues/114#issuecomment-321431457, or mute the thread https://github.com/notifications/unsubscribe-auth/ADheHbs9nF-83S_r9UnDDCTqh3FSvKMCks5sWmfsgaJpZM4OxQ7O .