Repository navigation
Commit 190f6ba
File tree
- pr-preview/pr-186
- assets
- css
- fonts
- js
- docs
- concepts
- info
- pointers
- programs
- types
- core-schemas
- info
- resources
- pointers
- collections
- expressions
- regions
- programs
- instructions
- tracing
- variables
- types
- composite
- elementary
- examples
- bug-playground
- getting-started
- for-compiler-authors
- for-debugger-authors
- implementation-guides
- compiler
- case-study-bug
- pointers
- dereference-logic
- generating-regions
- making-regions-concrete
- evaluating-expressions
- reading-from-regions
- testing
- blockchain-simulation
- compilation
- deployment
- example-pointers
- jest
- machine-observation
- test-cases
- string-storage
- struct-storage
- uint256-array-memory
- types
- cursors
- data-and-machines
- pointer-types
- overview
- reference
- challenges
- glossary
- goals
- home
- img
- spec
- category
- complex-types
- elementary-types
- data
- hex
- overview
- unsigned
- value
- info
- overview
- resources
- materials
- compilation
- id
- overview
- source-range
- source
- overview
- pointer
- collection
- conditional
- group
- list
- reference
- scope
- templates
- concepts
- expression
- overview
- region
- base
- location
- calldata
- code
- memory
- returndata
- stack
- storage
- transient
- scheme
- segment
- slice
- template
- program
- concepts
- context
- code
- frame
- function
- invoke
- return
- revert
- gather
- name
- pick
- remark
- variables
- example
- instruction
- overview
- type
- base
- complex
- alias
- array
- function
- mapping
- struct
- tuple
- concepts
- elementary
- address
- bool
- bytes
- contract
- enum
- fixed
- int
- string
- ufixed
- uint
- overview
- status
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
This file was deleted.
This file was deleted.
Binary file not shown.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments