Leo Programming Compiler
Topic | Replies | Views | Activity | |
---|---|---|---|---|
About the Compiler category
|
![]() |
0 | 144 | September 20, 2020 |
Maybe a bug: Identifier too long - Error [EPAR0370044]
|
![]() |
0 | 14 | March 18, 2025 |
Proposal: Binary operator precedence in pest grammar
|
![]() ![]() ![]() |
2 | 301 | February 16, 2022 |
What formal verification of R1CS circuits proves
|
![]() |
1 | 497 | December 12, 2020 |
Static and dynamic semantics of Leo
|
![]() |
0 | 210 | September 23, 2020 |
Semantics of circuit member functions
|
![]() ![]() |
1 | 203 | September 22, 2020 |