cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
20,496 Commits 348 Branches 121 Tags 100 MiB
ab5898f11c
Commit Graph

8 Commits

Author SHA1 Message Date
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