653: Fix return type error for input-dependent branches r=collinc97 a=Protryon
This PR fixes failure to handle input-dependent branches. No tests added here since base case is covered, and this only occurs with production constraints. Should fix#535.
There is an additional issue not solved by this PR on branching on booleans from input.
Co-authored-by: Protryon <max.bruce12@gmail.com>
641: Bug/564 input array len not enforced r=collinc97 a=gluax
Resolves#564, depends on #563. The changes for this branch have pulled from PR #638, which is the PR that fixes#563.
Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
638: bug/563-array-input-wrong-dimensions r=collinc97 a=gluax
Closes#563. Fixes the array dimension builder when coming from the input file. Adds a test for it as well.
Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
633: duplicate name context test r=collinc97 a=gluax
Adding a test for duplicate name context that was resolved in #546.
634: fn call array params r=collinc97 a=gluax
Adding a test for bug #522, which was resolved by the asg.
Closes#522
Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
620: Feature/254 strengthen import rules r=collinc97 a=gluax
Grammar changes are a bit different than what was suggested in the original feature request #254. However, it should be logically equivalent and I think makes more sense on the rust side.
Closes#254
Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
598: [Feature] 374 circuit self access r=collinc97 a=gluax
Feature resolves#374. At the grammar level the following syntax is no longer allowed on self:
```
self[0];
self();
```
Syntax that is allowed at the grammar level is:
```
console.log("b: {}", self::b);
console.log("hmm: {}",self::hmm());
self.hello();
console.log("access: {}", self.a);
```
Note that these changes are only at the grammar level only.
Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
Co-authored-by: Howard Wu <9260812+howardwu@users.noreply.github.com>
- fixes import ordering (with rule group_imports)
- removes explicit 0group from pedersen hash example
- updater is now fully-anyhow-ed :)
- fixed doc comment in prove command
- renamed cmd to command in main
