| .. |
|
analyzer.rs
|
92a4410e31
Miscellaneous fixes and 'make fix'.
|
4 năm trước cách đây |
|
ast.rs
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
4 năm trước cách đây |
|
compiler.rs
|
92a4410e31
Miscellaneous fixes and 'make fix'.
|
4 năm trước cách đây |
|
decoder.rs
|
86d9aa81b2
zk/vm: Proper separation for prover and verifier.
|
4 năm trước cách đây |
|
error.rs
|
3238530003
Port codebase to latest halo2 revision.
|
4 năm trước cách đây |
|
lexer.rs
|
92a4410e31
Miscellaneous fixes and 'make fix'.
|
4 năm trước cách đây |
|
mod.rs
|
cabbe3c8ea
zkas: Unify error functions into an error emitter.
|
4 năm trước cách đây |
|
opcode.rs
|
9ab936d960
[script/research/crypsinous] update docs
|
4 năm trước cách đây |
|
parser.rs
|
73d7b4f19b
zkas/parser: Use a macro to parse function calls to reduce repetitive code.
|
4 năm trước cách đây |
|
types.rs
|
e00c8e0147
zkas: Separate constants into specific types.
|
4 năm trước cách đây |
mohab
9ab936d960
[script/research/crypsinous] update docs