 parazyd
|
389602e253
zkas: Implement Uint32 type.
|
4 years ago |
|
parazyd
|
e71c8bebb1
zkas: Add EcMulBase opcode.
|
4 years ago |
|
parazyd
|
b05a32d0e1
zkas: Use IndexMap instead of HashMap to keep order.
|
4 years ago |
|
parazyd
|
0c39188ead
zkas/analyzer: Implement type checking.
|
4 years ago |
|
parazyd
|
f87c5c7baa
zkas/parser: Check if parenthesis pairs are correct in statements.
|
4 years ago |
|
parazyd
|
3b1b0de2e9
zkas/parser: Remove outdated comment.
|
4 years ago |
|
parazyd
|
cd2124271c
zkas/parser: Clean up function parsing redundancy.
|
4 years ago |
|
parazyd
|
9db98a97cb
zkas/parser: Implement missing parser errors.
|
4 years ago |
|
parazyd
|
7546e641c5
zkas: Move some types to ast module.
|
4 years ago |
|
parazyd
|
b865aeb150
zkas: Implement initial full circuit parsing.
|
4 years ago |
|
parazyd
|
b996e0266c
zkas: WIP circuit parsing.
|
4 years ago |
|
parazyd
|
7edbf0ee04
zkas: Move binary to main.rs.
|
4 years ago |
|
parazyd
|
2cdb452987
zkas/parser: Fix logic bug in check_section_structure().
|
4 years ago |
|
parazyd
|
1247051866
zkas/parser: Small naming cleanups.
|
4 years ago |
|
parazyd
|
6b148dcceb
zkas: Add circuit parser skeleton and improve some error handling.
|
4 years ago |
|
parazyd
|
b483c8caf0
zkas: Rework lexer and parser into classes and simplify errors.
|
4 years ago |
|
parazyd
|
bda7ad6c06
zkas/AST: Proper parsing of constant/contract.
|
4 years ago |
|
parazyd
|
faa88faec9
zkas: Parse constants and contract.
|
4 years ago |
|
parazyd
|
c3188b7576
zkas: Outline parser behaviour and add opcodes+types.
|
4 years ago |
|
parazyd
|
3511b8ff51
zkas: Add zkas code from zkas repo.
|
4 years ago |
|
parazyd
|
ba18a15764
zkas: Remove old code.
|
4 years ago |
|
parazyd
|
4999914663
zkas: Add zk circuit compiler.
|
4 years ago |
