Bot releases are visible (Hide)
This patch release includes a fix for:
Note: The jump in patch version numbers is due to me messing up the release process briefly :(. Just one of those days.
Published by cd1m0 6 months ago
This release brings a fix for:
Published by cd1m0 6 months ago
This patch fixes:
Published by cd1m0 8 months ago
This patch release brings:
Published by cd1m0 9 months ago
This release brings:
Published by cd1m0 about 1 year ago
This release includes a single fix:
Published by cd1m0 about 1 year ago
This patch release brings a single fix for an edge case of call-site interposing where we introduce a function argument in a call-site wrapper that may refer to a contract that is not in scope. For those cases we need to add some extra imports in the instrumented code.
Published by cd1m0 about 1 year ago
This release brings a fix for:
#244
Published by cd1m0 about 1 year ago
This release brings fixes for:
Published by blitz-1306 about 1 year ago
This release introduces hardhat
user assertion mode (#235) and fixes bug, causing invalid code when processing edge-case sources with immutable
state variables (#237).
Published by cd1m0 about 1 year ago
This release brings:
eq_bytes
operator that allows checking structural equality between complex Solidity data typesPublished by cd1m0 over 1 year ago
This patch relase contains a single fix for:
Published by cd1m0 over 1 year ago
This release brings a single fix for:
Published by cd1m0 over 1 year ago
This release brings just one fix for:
Published by cd1m0 over 1 year ago
This release brings:
Published by cd1m0 over 1 year ago
This release brings fixes for:
With this release we remove the need for a separate scribble_utils.sol file, which removes the need to add imports (thus addressing #207 on windows). We also remove the need to change the inheritance hierarchy, and add a bit of assembly to keep track of the in-contract flag, thus removing the issues caused by our instrumentation breaking the proxy pattern enforced by OZ (#202 ). Finally we now include the instrumented location of each issue in the event message that is emitted (#168)
Published by cd1m0 over 1 year ago
This release bumps solc-typed-ast to version 12.0.0 and contains minor cleanup.
Published by cd1m0 almost 2 years ago
This release bumps solc-typed-ast to version 11.0.2 to avoid a breakage in one of our dependencies (axios)
Published by cd1m0 about 2 years ago
This release brings:
Published by cd1m0 about 2 years ago
The release brings fixes for the following bugs:
#171 __scribble__ReentrancyUtils.sol compiler error.
#191 Instrumented try...catch fails compilation step with Mythril
#188 Scribble doesnt work for instrumenting libraries
#181 Properly support UserDefinedTypes to Scribble functions
#176 Annotation is skipped in specific case