10 Commits

Author	SHA1	Message	Date
Nikola Matic	d0a5556fd0	Purge using namespace from libsolidity/formal	2023-08-15 14:40:27 +02:00
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
Leo Alt	d419c30ca6	Add errorCode list to invariants report	2021-10-26 11:30:30 +02:00
Leo Alt	bc90533c93	Add invariants to ModelCheckerSettings	2021-10-26 11:30:30 +02:00
Leo Alt	ee6285d6d7	Do not create VCs for underoverflow by default for Sol >=0.8	2021-08-09 14:12:31 +02:00
Daniel Kirchner	6104ac1cdf	Remove more imports of ranges namespace.	2021-05-07 15:42:17 +02:00
Leonardo Alt	dd1865873e	Choose contracts to be analyzed by the SMTChecker	2021-04-21 10:34:14 +02:00
Leonardo Alt	e3abde43f5	Change settings.modelChecker.targets to take an array instead of string	2021-04-19 17:53:03 +02:00
Leonardo Alt	dbd067d6db	Report out of bounds index access	2021-03-30 10:28:48 +02:00
Leonardo Alt	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00