We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fcbe41f commit de3e4cbCopy full SHA for de3e4cb
docs/todo.md
@@ -7,6 +7,8 @@
7
- [X] Call / return ~~using the stack~~ using generic variables.
8
- [X] Support for include files / packages/ modules.
9
- [ ] Multiple instantiations of included files.
10
+- [ ] Make it possible to access state (block) encodings directly for better
11
+ call / return support.
12
13
#### Parsing
14
@@ -30,5 +32,5 @@
30
32
### Examples
31
33
34
- [ ] Stack example
-- [ ] Finish the AXI example
35
+- [X] Finish the AXI example
36
- [ ] Mini RISCV registers and instructions. RV32UI Only.
0 commit comments