| .. |
|
analyzer.rs
|
882f1e931a
zkas: Implement interactive semantic analyzer.
|
4 years ago |
|
ast.rs
|
ba41f1b863
zkas/compiler: Implement initial bincode generation.
|
4 years ago |
|
compiler.rs
|
1540d52f53
zkas: Implement constants and witness bincode decoding.
|
4 years ago |
|
decoder.rs
|
534d918534
zkas/decoder: Fix logic typo for section offset checks.
|
4 years ago |
|
lexer.rs
|
389602e253
zkas: Implement Uint32 type.
|
4 years ago |
|
lib.rs
|
2418684555
zkas: Add binary decoder skeleton.
|
4 years ago |
|
main.rs
|
882f1e931a
zkas: Implement interactive semantic analyzer.
|
4 years ago |
|
opcode.rs
|
9335ae31ea
zkas: Use hex values for from_repr() calls.
|
4 years ago |
|
parser.rs
|
389602e253
zkas: Implement Uint32 type.
|
4 years ago |
|
types.rs
|
9335ae31ea
zkas: Use hex values for from_repr() calls.
|
4 years ago |
parazyd
882f1e931a
zkas: Implement interactive semantic analyzer.