Commit Graph

5 Commits

Author SHA1 Message Date
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
d89be74e4a Update docs 2021-04-08 21:03:39 +02:00
Leonardo Alt
dbd067d6db Report out of bounds index access 2021-03-30 10:28:48 +02:00
Leonardo Alt
569afe711a SMTChecker tutorial and docs cleanup 2021-03-18 11:09:26 +01:00