Alex Beregszaszi bab96ee1e0 Disallow unknown options in solc

2016-10-06 16:32:56 +02:00

..

CMakeLists.txt

wrap solc add_executable

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

CommandLineInterface.cpp

Disallow unknown options in solc

2016-10-06 16:32:56 +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