chriseth c641ca26ec Merge pull request #1009 from pirapira/separate_exceptions ...

Separate the try/catch blocks on JSON and formal methods output generation

2016-09-07 15:13:41 +02:00

..

CMakeLists.txt

wrap solc add_executable

2016-05-01 00:43:16 +01:00

CommandLineInterface.cpp

Fix compiler error.

2016-09-06 11:57:21 +02:00

CommandLineInterface.h

Allow remappings to change depending on the context.

2016-06-08 18:16:46 +02:00

jsonCompiler.cpp

Separate the try/catch blocks on JSON output generation and formal method output generation.

2016-09-05 18:00:24 +02:00

main.cpp

Corrected accidental non-ANSI characters in comments.

2016-08-31 13:01:48 -07:00