17 Commits

Author	SHA1	Message	Date
Leo Alt	8ce878621a	Make show unproved CLI a flag	2021-08-11 10:54:03 +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
Leo Alt	08c065ee04	Add option divModWithSlacks	2021-08-06 15:50:25 +02:00
Leo Alt	847dd5cf92	Docs	2021-08-04 13:54:50 +02:00
chriseth	62727f322a	Merge pull request #11662 from ethereum/docs-fix-highlighting-and-upgrade-pygments ... [Docs] Fix highlighting and always use latest packages	2021-07-29 11:29:38 +02:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +02:00
Kamil Śliwak	310a35185a	docs: Fix some mislabeled bash and text blocks	2021-07-15 10:14:00 +02:00
Kamil Śliwak	235a39eaef	docs: Fix syntax errors in JSON snippets and enable JavaScript highlighting for them	2021-07-15 10:14:00 +02:00
Kamil Śliwak	42f982c063	docs: Fix indentation in some of the code snippets	2021-07-15 10:13:32 +02:00
Simon Tian	f0ec3dd6a2	Update smtchecker.rst	2021-07-06 23:24:37 +08:00
iskanderandrews	a8e9d7a80d	docs/ ... Enhancing all the .rst doc files by adding highlighting for the code snippets, including the following langs: 1. Solidity 2. bash 3. javascript 4. assembly	2021-06-25 12:33:55 +02:00
Leo Alt	75afaf14f6	Docs	2021-05-11 15:30:19 +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	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