Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for ZoKrates with curly brackets (wip) #211

Merged
merged 28 commits into from
Feb 12, 2025
Merged

Add support for ZoKrates with curly brackets (wip) #211

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
26f3e65
Add boilerplate code for a new Zokrates frontend (curcly brackets)
StefanosChaliasos Oct 30, 2024
bb5f2c5
Update the Zokrates standard library and pest to the newer version (c…
StefanosChaliasos Oct 30, 2024
a13a18e
Update tests and examples for ZoKratesCurly
StefanosChaliasos Oct 30, 2024
ce9ddbf
Implement the ZSharpCurlyFE
StefanosChaliasos Oct 30, 2024
95e58e3
Apply fmt
StefanosChaliasos Oct 30, 2024
cdbc804
Add zcxi in Cargo.toml
StefanosChaliasos Oct 30, 2024
1121700
Fix linting errors
StefanosChaliasos Oct 30, 2024
33f0075
Correctly implement tuple for zsharpcurly
StefanosChaliasos Nov 7, 2024
11aba74
Update error message for MPC support
StefanosChaliasos Nov 7, 2024
3309a0d
Apply fmt
StefanosChaliasos Nov 7, 2024
b2c08da
Remove commented out code
StefanosChaliasos Nov 7, 2024
9981366
Fix linting error
StefanosChaliasos Nov 7, 2024
36497e1
Fix script for processing zcx tests
StefanosChaliasos Dec 13, 2024
79e1d94
Handle assembly assignments and constraints
StefanosChaliasos Dec 13, 2024
788fb51
Remove deprecated comment
StefanosChaliasos Dec 13, 2024
7f284b6
Add support for AssignConstrain (<==)
StefanosChaliasos Dec 13, 2024
2629341
Remove print stmts
StefanosChaliasos Dec 13, 2024
3a32dcb
Add support for field_to_bool_unsafe
StefanosChaliasos Jan 21, 2025
f442e2b
Uncomment tests and fmt changes
StefanosChaliasos Jan 21, 2025
8ece447
Fix field_to_bool_unsafe and some linting errors
StefanosChaliasos Jan 23, 2025
94db4be
Fix type alias issue in type checking
StefanosChaliasos Jan 23, 2025
2704df6
Apply fmt
StefanosChaliasos Jan 23, 2025
51b8bf2
Fix linting errors
StefanosChaliasos Jan 23, 2025
d4a1644
Fix linting errors
StefanosChaliasos Jan 23, 2025
354d0fe
fmt changes
StefanosChaliasos Jan 23, 2025
78499d9
README: rm circom, add pointer to old implementation
alex-ozdemir Feb 6, 2025
7836f55
Fix the build (#221)
alex-ozdemir Feb 10, 2025
0ffdcb5
Extend input declarations in Z# to support structs (#219)
lorenzorota Feb 11, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -37,4 +37,4 @@ jobs:
- name: Document
run: python3 driver.py --doc
- name: Build, then Test
run: python3 driver.py --test
run: python3 driver.py --test --ci
Loading
Loading