Commit Graph

31 Commits

Author SHA1 Message Date
minaminao
7c870c95c5
docs: change the remix button from icon to text (#14122)
* docs: change remix button to text button

* docs(fix): trim trailing whitespaces

* fix: remove unnecessary spaces

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>

* fix: remove unnecessary !important in link

* refactor: remove !important in custom.css

* fix: `.. code-block:: Solidity` -> `.. code-block:: solidity`

* fix: broken layout of remix button in list items

* refactor: make selectors more strict

---------

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
2023-04-27 11:02:04 +01:00
minaminao
25a41e3ac6 Replace Javascript with JavaScript 2023-03-28 22:59:48 +09:00
minaminao
f12e368d67 Fix the missing dot 2023-03-28 22:55:09 +09:00
Leo Alt
aacbe72079 group unsupported warnings 2023-03-15 17:06:06 +01:00
Leo Alt
21c0f78650 Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
Nuno Santos
b8e74ffc57
Update smtchecker.rst
Fixes #13988
2023-02-23 12:09:12 +00: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
d5c6fd881b update docs on the required z3 version 2022-12-16 13:05:40 +01:00
Leo Alt
24df40de9a Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
Nikola Matic
f90b25449d Fix SMT checker paper link 2022-09-08 15:22:47 +02:00
Leo Alt
2fe143f7d0 add changelog entry and docs note 2022-05-12 13:43:28 +02:00
Richie
beb51068bb
fix: corrects _ prefixes 2022-03-14 08:03:10 -07:00
Leo Alt
d04ad57ee7 Docs 2021-10-26 11:30:30 +02:00
Leo Alt
563469ac33 Docs 2021-08-25 21:10:08 +02:00
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