| .. |
|
analyzer.rs
|
92a4410e31
Miscellaneous fixes and 'make fix'.
|
преди 4 години |
|
ast.rs
|
9f819b0dba
general clean up and run cargo clippy for all bins
|
преди 4 години |
|
compiler.rs
|
92a4410e31
Miscellaneous fixes and 'make fix'.
|
преди 4 години |
|
decoder.rs
|
86d9aa81b2
zk/vm: Proper separation for prover and verifier.
|
преди 4 години |
|
error.rs
|
3238530003
Port codebase to latest halo2 revision.
|
преди 4 години |
|
lexer.rs
|
92a4410e31
Miscellaneous fixes and 'make fix'.
|
преди 4 години |
|
mod.rs
|
cabbe3c8ea
zkas: Unify error functions into an error emitter.
|
преди 4 години |
|
opcode.rs
|
9ab936d960
[script/research/crypsinous] update docs
|
преди 4 години |
|
parser.rs
|
73d7b4f19b
zkas/parser: Use a macro to parse function calls to reduce repetitive code.
|
преди 4 години |
|
types.rs
|
9f819b0dba
general clean up and run cargo clippy for all bins
|
преди 4 години |
ghassmo
9f819b0dba
general clean up and run cargo clippy for all bins