coderabbitai[bot]
commented
5 months ago Walkthrough
The update to version 7.1.0 introduces several new predicates and enhancements across various functionalities related to blockchain operations, data handling, and Prolog programming. Key additions include predicates for handling bank balances, cryptographic verification, and enhanced file operations, alongside improvements in handling JSON, strings, and URI encoding.
Changes
| Files Affected | Change Summary |
|---|---|
bank_balances_2.md, bank_locked_balances_2.md, bank_spendable_balances_2.md |
Introduction of predicates for handling different types of bank balances. |
bech32_address_2.md, block_height_1.md, block_time_1.md, chain_id_1.md, consult_1.md, crypto_data_hash_3.md, current_output_1.md, did_components_2.md, ecdsa_verify_4.md, eddsa_verify_4.md, hex_bytes_2.md, json_prolog_2.md, open_3.md, open_4.md, read_string_3.md, source_file_1.md, string_bytes_3.md, uri_encoded_3.md |
Various enhancements and introductions of new functionalities in data handling, cryptographic operations, and file management. |
version-v7.1.0-sidebars.json, predicates_versions.json |
Updates to system configuration and version management. |
šš¬ In the world of code where logic is king, New predicates bloom like flowers in spring. From balances locked to streams that sing, A rabbit hops along, making blockchain ring! š¼š¶š
Recent Review Details
**Configuration used: CodeRabbit UI** **Review profile: CHILL**Commits
Files that changed from the base of the PR and between e88676397b2f8ad4bad720567f75d6dfc935fd97 and 135114a82a39362459f42c25c375fc3f4c320afd.Files selected for processing (23)
* predicates_versioned_docs/version-v7.1.0/bank_balances_2.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/bank_locked_balances_2.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/bank_spendable_balances_2.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/bech32_address_2.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/block_height_1.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/block_time_1.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/chain_id_1.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/consult_1.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/crypto_data_hash_3.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/current_output_1.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/did_components_2.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/ecdsa_verify_4.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/eddsa_verify_4.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/hex_bytes_2.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/json_prolog_2.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/open_3.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/open_4.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/read_string_3.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/source_file_1.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/string_bytes_3.md (1 hunks) * predicates_versioned_docs/version-v7.1.0/uri_encoded_3.md (1 hunks) * predicates_versioned_sidebars/version-v7.1.0-sidebars.json (1 hunks) * predicates_versions.json (1 hunks)Files skipped from review due to trivial changes (2)
* predicates_versioned_sidebars/version-v7.1.0-sidebars.json * predicates_versions.jsonAdditional Context Used
LanguageTool (162)
predicates_versioned_docs/version-v7.1.0/bank_balances_2.md (3)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # bank_balances/2 ## Description `bank_balan... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...es/2 ## Description `bank_balances/2` is a predicate which unifies the given ter... --- Near line 10: A punctuation mark might be missing here. Context: ...e given terms with the list of balances \(coins\) of the given account. The signature i...predicates_versioned_docs/version-v7.1.0/bank_locked_balances_2.md (2)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # bank_locked_balances/2 ## Description `ban... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...# Description `bank_locked_balances/2` is a predicate which unifies the given ter...predicates_versioned_docs/version-v7.1.0/bank_spendable_balances_2.md (2)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # bank_spendable_balances/2 ## Description `... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...escription `bank_spendable_balances/2` is a predicate which unifies the given ter...predicates_versioned_docs/version-v7.1.0/bech32_address_2.md (12)
Near line 10: This sentence does not start with an uppercase letter. Context: ...s/2 ## Description `bech32_address/2` is a predicate that convert a [bech32](predicates_versioned_docs/version-v7.1.0/block_height_1.md (6)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # block_height/1 ## Description `block_height... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...ght/1 ## Description `block_height/1` is a predicate which unifies the given ter... --- Near line 27: Did you mean āHere are the stepsā? Context: ...the block height of the current block. Here's the steps of the scenario: - **Given** a block w... --- Near line 59: This phrasing could be wordy, so try replacing it with something more concise. Context: ...ates how to check that the block height is greater than 100. This predicate is useful for gover... --- Near line 59: Possible missing comma found. Context: ... than 100. This predicate is useful for governance which requires a certain block height t... --- Near line 61: Did you mean āHere are the stepsā? Context: ...ched before a certain action is taken. Here's the steps of the scenario: - **Given** a block w...predicates_versioned_docs/version-v7.1.0/block_time_1.md (7)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # block_time/1 ## Description `block_time/1` ... --- Near line 10: This sentence does not start with an uppercase letter. Context: ..._time/1 ## Description `block_time/1` is a predicate which unifies the given ter... --- Near line 27: Did you mean āHere are the stepsā? Context: ...e the block time of the current block. Here's the steps of the scenario: - **Given** a block w... --- Near line 59: This phrasing could be wordy, so try replacing it with something more concise. Context: ...trates how to check that the block time is greater than 1709550216 seconds (Monday 4 March 2024... --- Near line 60: Possible missing comma found. Context: ...predicate. This predicate is useful for governance which requires a certain block time to ... --- Near line 60: Possible missing preposition found. Context: ...vernance which requires a certain block time to be reached before a certain action i... --- Near line 62: Did you mean āHere are the stepsā? Context: ...ched before a certain action is taken. Here's the steps of the scenario: - **Given** a block w...predicates_versioned_docs/version-v7.1.0/chain_id_1.md (2)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # chain_id/1 ## Description `chain_id/1` is a... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...hain_id/1 ## Description `chain_id/1` is a predicate which unifies the given ter...predicates_versioned_docs/version-v7.1.0/consult_1.md (27)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # consult/1 ## Description `consult/1` is a pre... --- Near line 10: This sentence does not start with an uppercase letter. Context: ... consult/1 ## Description `consult/1` is a predicate which read files as Prolog ... --- Near line 10: Possible spelling mistake found. Context: ...t/1` is a predicate which read files as Prolog source code. ## Signature ```text con... --- Near line 22: The verb form āareā does not seem to match the subject āargumentā. Context: ...g the source files. The Files argument are typically URIs that point to the source... --- Near line 26: Possible spelling mistake found. Context: ...ut the VFS. ## Examples ### Consult a Prolog program This scenario demonstrates how... --- Near line 28: Possible spelling mistake found. Context: ...io demonstrates how to consult (load) a Prolog program from a CosmWasm smart contract.... --- Near line 28: Possible spelling mistake found. Context: ... consult (load) a Prolog program from a CosmWasm smart contract. Assuming the existence... --- Near line 30: Possible spelling mistake found. Context: ... contract. Assuming the existence of a CosmWasm smart contract configured to store a Pr... --- Near line 30: Possible spelling mistake found. Context: ...sm smart contract configured to store a Prolog program, we construct a URI to specific... --- Near line 31: Possible spelling mistake found. Context: ...fy this smart contract and pinpoint the Prolog program we want to consult via a query ... --- Near line 32: Did you mean āHere are the stepsā? Context: ...e want to consult via a query message. Here's the steps of the scenario: - **Given** the CosmW... --- Near line 35: Possible spelling mistake found. Context: ...steps of the scenario: - **Given** the CosmWasm smart contract "okp415ekvz3qdter33mdnk9... --- Near line 78: Possible spelling mistake found. Context: ...n: "['W',o,r,l,d,!]" ``` ### Consult a Prolog program which also consults another Pro... --- Near line 78: Possible spelling mistake found. Context: ...log program which also consults another Prolog program This scenario demonstrates the... --- Near line 80: Possible spelling mistake found. Context: ...enario demonstrates the capability of a Prolog program to consult another Prolog progr... --- Near line 80: Possible spelling mistake found. Context: ... of a Prolog program to consult another Prolog program. This is useful for modularizin... --- Near line 81: Possible spelling mistake found. Context: ...rogram. This is useful for modularizing Prolog programs and reusing code. Note that t... --- Near line 83: Possible spelling mistake found. Context: ...ograms and reusing code. Note that the `:- multifile/1` directive is employed to enable a si... --- Near line 86: Did you mean āHere are the stepsā? Context: ...ite the existing predicate definition. Here's the steps of the scenario: - **Given** the CosmW... --- Near line 89: Possible spelling mistake found. Context: ...steps of the scenario: - **Given** the CosmWasm smart contract "okp415ekvz3qdter33mdnk9... --- Near line 105: Possible spelling mistake found. Context: ...'). program(a). ``` - **Given** the CosmWasm smart contract "okp412ssv28mzr02jffvy4x... --- Near line 145: Possible spelling mistake found. Context: ...xpression: "a" ``` ### Consult several Prolog programs This scenario demonstrates th... --- Near line 147: Possible spelling mistake found. Context: ...emonstrates the consultation of several Prolog programs from different CosmWasm smart ... --- Near line 147: Possible spelling mistake found. Context: ... several Prolog programs from different CosmWasm smart contracts. Here's the steps of t... --- Near line 148: Did you mean āHere are the stepsā? Context: ...om different CosmWasm smart contracts. Here's the steps of the scenario: - **Given** the CosmW... --- Near line 151: Possible spelling mistake found. Context: ...steps of the scenario: - **Given** the CosmWasm smart contract "okp415ekvz3qdter33mdnk9... --- Near line 164: Possible spelling mistake found. Context: ...e: | program(a). ``` - **Given** the CosmWasm smart contract "okp412ssv28mzr02jffvy4x...predicates_versioned_docs/version-v7.1.0/crypto_data_hash_3.md (9)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # crypto_data_hash/3 ## Description `crypto_da... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...3 ## Description `crypto_data_hash/3` is a predicate that computes the Hash of t... --- Near line 22: Only proper nouns start with an uppercase character (there are exceptions for headlines). Context: ...m, or code\-list. - Hash represents the Hashed value of Data, which can be given as an... --- Near line 23: Possible spelling mistake found. Context: ...ing used for the Data, and algorithm\(\+Alg\) which chooses the hashing algorithm a... --- Near line 27: The correct spelling defined by the Internet Assigned Numbers Authority (IANA) is āUTF-8ā or āutf-8ā. Context: ...Format, the supported encodings are: - utf8 \(default\), the UTF\-8 encoding repres... --- Near line 28: This sentence does not start with an uppercase letter. Context: ...F\-8 encoding represented as an atom. - text, the plain text encoding represented as... --- Near line 29: This sentence does not start with an uppercase letter. Context: ...text encoding represented as an atom. - hex, the hexadecimal encoding represented a... --- Near line 30: This sentence does not start with an uppercase letter. Context: ...imal encoding represented as an atom. - octet, the raw byte encoding depicted as a li... --- Near line 32: Possible spelling mistake found. Context: ...of integers ranging from 0 to 255. For Alg, the supported algorithms are: - sha25...predicates_versioned_docs/version-v7.1.0/current_output_1.md (6)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # current_output/1 ## Description `current_outp... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...t/1 ## Description `current_output/1` is a predicate that unifies the given term... --- Near line 32: Did you mean āHere are the stepsā? Context: ...ontent in the response of the request. Here's the steps of the scenario: - **Given** the modul... --- Near line 78: Did you mean āHere are the stepsā? Context: ...his is helpful for debugging purposes. Here's the steps of the scenario: - **Given** the modul... --- Near line 126: Did you mean āHere are the stepsā? Context: ...s limit, the output will be truncated. Here's the steps of the scenario: - **Given** the modul... --- Near line 174: Did you mean āHere are the stepsā? Context: ...the user output is less than expected. Here's the steps of the scenario: - **Given** the modul...predicates_versioned_docs/version-v7.1.0/did_components_2.md (7)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # did_components/2 ## Description `did_comp... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...s/2 ## Description `did_components/2` is a predicate which breaks down a DID int... --- Near line 22: Did you mean āareā or āwereā? Context: .../did-core>) specification. - Components is a compound Term in the format did\(Meth... --- Near line 22: Only proper nouns start with an uppercase character (there are exceptions for headlines). Context: ...identifier, Path is the path component, Query is the query component and Fragment is ... --- Near line 22: Only proper nouns start with an uppercase character (there are exceptions for headlines). Context: ...onent, Query is the query component and Fragment is the fragment component. Values are g... --- Near line 22: Possible spelling mistake found. Context: ...nt. Values are given as an Atom and are url encoded. For any component not present,... --- Near line 22: Possible spelling mistake found. Context: ...ill be null and thus will be left as an uninstantiated variable. ## Examples ```text # Decom...predicates_versioned_docs/version-v7.1.0/ecdsa_verify_4.md (10)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # ecdsa_verify/4 ## Description `ecdsa_verify... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...ify/4 ## Description `ecdsa_verify/4` determines if a given signature is valid as per th... --- Near line 20: Possible spelling mistake found. Context: ...h is semi-deterministic. ``` Where: - PubKey is the 33\-byte compressed public key, ... --- Near line 26: Possible spelling mistake found. Context: ...encoding used for the data, and type\(\+Alg\) which chooses the algorithm within th... --- Near line 30: This sentence does not start with an uppercase letter. Context: ...Format, the supported encodings are: - hex \(default\), the hexadecimal encoding r... --- Near line 31: This sentence does not start with an uppercase letter. Context: ...imal encoding represented as an atom. - octet, the plain byte encoding depicted as a ... --- Near line 32: This sentence does not start with an uppercase letter. Context: ...st of integers ranging from 0 to 255. - text, the plain text encoding represented as... --- Near line 33: The correct spelling defined by the Internet Assigned Numbers Authority (IANA) is āUTF-8ā or āutf-8ā. Context: ...text encoding represented as an atom. - utf8 \(default\), the UTF\-8 encoding repres... --- Near line 35: Possible spelling mistake found. Context: ...8 encoding represented as an atom. For Alg, the supported algorithms are: - secp2... --- Near line 38: Possible spelling mistake found. Context: ...P\-256 and prime256v1. - secp256k1: The Koblitz elliptic curve used in Bitcoin's public...predicates_versioned_docs/version-v7.1.0/eddsa_verify_4.md (14)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # eddsa_verify/4 ## Description `eddsa_verify... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...ify/4 ## Description `eddsa_verify/4` determines if a given signature is valid as per th... --- Near line 10: Possible spelling mistake found. Context: ...f a given signature is valid as per the EdDSA algorithm for the provided data, using ... --- Near line 20: Possible spelling mistake found. Context: ...e, +Options) is semi-det ``` Where: - PubKey is the encoded public key as a list of ... --- Near line 21: If the situation that youāre describing is mandatory or essential, you can use the subjunctive mood here. Context: ... bytes. It's important that the message isn't pre\-hashed since the Ed25519 algori... --- Near line 21: Possible missing comma found. Context: ...s important that the message isn't pre\-hashed since the Ed25519 algorithm processes m... --- Near line 23: Possible spelling mistake found. Context: ...encoding used for the Data, and type\(\+Alg\) which chooses the algorithm within th... --- Near line 23: Possible spelling mistake found. Context: ... which chooses the algorithm within the EdDSA family \(see below for details\). For ... --- Near line 27: This sentence does not start with an uppercase letter. Context: ...Format, the supported encodings are: - hex \(default\), the hexadecimal encoding r... --- Near line 28: This sentence does not start with an uppercase letter. Context: ...imal encoding represented as an atom. - octet, the plain byte encoding depicted as a ... --- Near line 29: This sentence does not start with an uppercase letter. Context: ...st of integers ranging from 0 to 255. - text, the plain text encoding represented as... --- Near line 30: The correct spelling defined by the Internet Assigned Numbers Authority (IANA) is āUTF-8ā or āutf-8ā. Context: ...text encoding represented as an atom. - utf8 \(default\), the UTF\-8 encoding repres... --- Near line 32: Possible spelling mistake found. Context: ...8 encoding represented as an atom. For Alg, the supported algorithms are: - ed255... --- Near line 34: Possible spelling mistake found. Context: ...rithms are: - ed25519 \(default\): The EdDSA signature scheme using SHA\-512 \(SHA\-...predicates_versioned_docs/version-v7.1.0/hex_bytes_2.md (3)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # hex_bytes/2 ## Description `hex_bytes/2` ... --- Near line 10: This sentence does not start with an uppercase letter. Context: ..._bytes/2 ## Description `hex_bytes/2` is a predicate that unifies hexadecimal en... --- Near line 21: Did you mean āareā or āwereā? Context: ...acters in hexadecimal encoding. - Bytes is the list of numbers between 0 and 255 t...predicates_versioned_docs/version-v7.1.0/json_prolog_2.md (9)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # json_prolog/2 ## Description `json_prolog/... --- Near line 6: Possible spelling mistake found. Context: ...ase do not modify it yourself.) # json_prolog/2 ## Description `json_prolog/2` is a... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...olog/2 ## Description `json_prolog/2` is a predicate that will unify a JSON stri... --- Near line 10: Possible spelling mistake found. Context: ...cate that will unify a JSON string into prolog terms and vice versa. The signature is... --- Near line 20: Possible spelling mistake found. Context: ...log(?Json, ?Term) is det ``` Where: - Json is the string representation of the jso... --- Near line 20: Possible spelling mistake found. Context: ...son is the string representation of the json - Term is an Atom that would be unified... --- Near line 21: Possible spelling mistake found. Context: ...e unified by the JSON representation as Prolog terms. In addition, when passing Json ... --- Near line 23: Possible spelling mistake found. Context: ...rolog terms. In addition, when passing Json and Term, this predicate return true if... --- Near line 23: This verb does not appear to agree with the subject. Consider using a different form. Context: ...n passing Json and Term, this predicate return true if both result match. ## Examples...predicates_versioned_docs/version-v7.1.0/open_3.md (8)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # open/3 ## Description `open/3` is a predic... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...f.) # open/3 ## Description `open/3` is a predicate which opens a stream to a s... --- Near line 20: Possible spelling mistake found. Context: ...rceSink, +Mode, -Stream) ``` where: - SourceSink is an atom representing the source or s... --- Near line 23: This sentence does not start with an uppercase letter. Context: .... - Stream is the stream to be opened. open/3 gives True when SourceSink can be ope... --- Near line 24: Possible spelling mistake found. Context: ...m to be opened. open/3 gives True when SourceSink can be opened in Mode. ## Examples ##... --- Near line 30: Possible spelling mistake found. Context: ...or accessing a resource stored within a CosmWasm smart contract for reading purposes and... --- Near line 34: Did you mean āHere are the stepsā? Context: ...predicate for a more detailed example. Here's the steps of the scenario: - **Given** the CosmW... --- Near line 37: Possible spelling mistake found. Context: ...steps of the scenario: - **Given** the CosmWasm smart contract "okp415ekvz3qdter33mdnk9...predicates_versioned_docs/version-v7.1.0/open_4.md (24)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # open/4 ## Description `open/4` is a predic... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...f.) # open/4 ## Description `open/4` is a predicate which opens a stream to a s... --- Near line 20: Possible spelling mistake found. Context: ...Mode, -Stream, +Options) ``` where: - SourceSink is an atom representing the source or s... --- Near line 23: Did you mean āareā or āwereā? Context: ...m is the stream to be opened. - Options is a list of options. No options are curre... --- Near line 24: This sentence does not start with an uppercase letter. Context: ... defined, so the list should be empty. open/4 gives True when SourceSink can be ope... --- Near line 25: Possible spelling mistake found. Context: ...hould be empty. open/4 gives True when SourceSink can be opened in Mode with the given Op... --- Near line 29: Possible spelling mistake found. Context: ...The logical module interprets on\-chain Prolog programs, relying on a Virtual Machine ... --- Near line 33: Possible spelling mistake found. Context: ...path, and any necessary parameters. ## CosmWasm URI The cosmwasm URI enables interacti... --- Near line 35: Possible spelling mistake found. Context: ...ssary parameters. ## CosmWasm URI The cosmwasm URI enables interaction with instantiat... --- Near line 35: Possible spelling mistake found. Context: ...I enables interaction with instantiated CosmWasm smart contract on the blockchain. The U... --- Near line 45: Possible spelling mistake found. Context: ...pe of the smart contract \(e.g., "okp4\-objectarium"\). - \{contract\_address\}: Specifies ... --- Near line 54: Possible spelling mistake found. Context: ...or accessing a resource stored within a CosmWasm smart contract for reading purposes and... --- Near line 57: Possible spelling mistake found. Context: ...roperties. Assuming the existence of a CosmWasm smart contract configured to store reso... --- Near line 59: Did you mean āHere are the stepsā? Context: ...e aim to retrieve via a query message. Here's the steps of the scenario: - **Given** the CosmW... --- Near line 62: Possible spelling mistake found. Context: ...steps of the scenario: - **Given** the CosmWasm smart contract "okp415ekvz3qdter33mdnk9... --- Near line 115: Possible spelling mistake found. Context: ...o open an existing resource stored in a CosmWasm smart contract and read its content. T... --- Near line 119: Did you mean āHere are the stepsā? Context: ...acters. Finally, the stream is closed. Here's the steps of the scenario: - **Given** the CosmW... --- Near line 122: Possible spelling mistake found. Context: ...steps of the scenario: - **Given** the CosmWasm smart contract "okp415ekvz3qdter33mdnk9... --- Near line 169: Did you mean āHere are the stepsā? Context: ... query (the default value is `false`). Here's the steps of the scenario: - **Given** the CosmW... --- Near line 172: Possible spelling mistake found. Context: ...steps of the scenario: - **Given** the CosmWasm smart contract "okp415ekvz3qdter33mdnk9... --- Near line 218: Did you mean āHere are the stepsā? Context: ...rying to open a non-existing resource. Here's the steps of the scenario: - **Given** the query... --- Near line 244: Did you mean āHere are the stepsā? Context: ...n smart contracts which are read-only. Here's the steps of the scenario: - **Given** the query... --- Near line 270: Did you mean āHere are the stepsā? Context: ...n smart contracts which are read-only. Here's the steps of the scenario: - **Given** the query... --- Near line 295: Did you mean āHere are the stepsā? Context: ...ing a resource with incorrect options. Here's the steps of the scenario: - **Given** the query...predicates_versioned_docs/version-v7.1.0/read_string_3.md (4)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # read_string/3 ## Description `read_string/... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...ring/3 ## Description `read_string/3` is a predicate that reads characters from ... --- Near line 10: Possible missing article found. Context: ...e provided Stream and unifies them with String. Users can optionally specify a maximum... --- Near line 21: You might be missing the article ātheā here. Context: ... If unbound, denotes the full length of Stream. - String is the resultant string after...predicates_versioned_docs/version-v7.1.0/source_file_1.md (2)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # source_file/1 ## Description `source_file/1`... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...file/1 ## Description `source_file/1` is a predicate which unifies the given ter...predicates_versioned_docs/version-v7.1.0/string_bytes_3.md (3)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # string_bytes/3 ## Description `string_bytes/... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...tes/3 ## Description `string_bytes/3` is a predicate that unifies a string with ... --- Near line 21: Did you mean āareā or āwereā? Context: ...ng or list of characters codes. - Bytes is the list of numbers between 0 and 255 t...predicates_versioned_docs/version-v7.1.0/uri_encoded_3.md (2)
Near line 6: This sentence does not start with an uppercase letter. Context: .... Please do not modify it yourself.) # uri_encoded/3 ## Description `uri_encoded... --- Near line 10: This sentence does not start with an uppercase letter. Context: ...oded/3 ## Description `uri_encoded/3` is a predicate that unifies the given URI ...
š Documentation update
š A new version of okp4/okp4d is available.
This PR add this new
v7.1.0version into the documentation.Summary by CodeRabbit
New Features
Documentation
Chores