Leo Alt 8d91ccf028 [SMTChecker] Add a new trusted mode which assumes that code that is ...

available at compile time is trusted.

2023-02-06 17:02:33 +01:00

..

CommandLineInterface.cpp

Report when no contracts to compile

2022-12-19 13:47:03 +01:00

CommandLineInterfaceAllowPaths.cpp

Allow running Eldarica from the command line

2022-11-22 21:16:45 +01:00

CommandLineParser.cpp

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

Common.cpp

Add std:: qualifier to move() calls

2022-08-30 11:12:15 +02:00

Common.h

CommandLineInterface: Update control flow to accommodate the new way of reporting errors

2021-11-09 18:16:30 +01:00