minaminao
ce0fbae00b
fix docs
...
Co-authored-by: r0qs <rodrigo.saramago@protonmail.com>
2023-07-10 21:22:10 +09:00
Nuno Santos
3eedc635c4
Misspelling and terms inconsistencies ( #14280 )
...
* Installing solidity tweeks
* A few more misspells
* More inconsistencies fixed
* Removed contractions according to our guide.
2023-05-30 20:49:25 +01:00
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
