Features & improvements:
wake up
now uses the same config options aswake compile
[core]- more specifically, it does not adjust current config options unless
wake.toml
doesn't exist or--force
was passed
- more specifically, it does not adjust current config options unless
- JSON detections export now includes even detections disabled with
// wake-disable
comments, along with a booleansuppressed
flag [core] - improved
wake open
CLI messages when source code cannot be found [core] - variables in NatSpec comments are now also updated on LSP rename [language server]
- removed the requirement for valid Solidity identifiers when using LSP rename [language server]
- implemented fuzzing statistics collection and summary [testing]
- debugger responses are now formatted with Rich [testing]
- added a new boolean
optimistic_pytypes_resolving
attribute toChain
[testing & deployment framework]- it enforces resolving of pytypes events & errors to the first available definition (using fully qualified contract names sorted alphabetically) if multiple pytypes definitions are available
wake print storage-layout
doesn't print storage layout for contracts that don't have any storage variables [static analysis]ControlFlowGraph.graph
is no longer copied upon access for performance reasons [static analysis]- added new
invalid-memory-safe-assembly
detector [static analysis] - added new
array-delete-nullification
detector [static analysis] - added new
contract-size
printer [static analysis] - added new
--keep-folders
option toabi
printer [static analysis]
Fixes:
- fixed compilation crash on using any other assembly flag than
memory-safe
[core] - fixed compilation issues sometimes triggered when a file was compiled under multiple source unit names [core]
- fixed issue where code (IR nodes) was ignored inside
StorageLayoutSpecifier
[core] - changed how pytypes errors are resolved to correctly handle
require(condition, CustomError())
[testing & deployment framework]