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

Jump to bottom

Fractasy develop #69

Open
wants to merge 212 commits into
base: develop
Choose a base branch
from
Open

Fractasy develop #69

wants to merge 212 commits into from

Conversation

fractasy
Copy link
Contributor

No description provided.

zkronos73 and others added 30 commits April 17, 2023 01:20
@zkronos73
refactoring and yacc changes
6fdf1c8
@zkronos73
var scopes, deferred init
a13df4e
@zkronos73
wip pil2 language features
13259ef
@zkronos73
update grammar
9b2fe30
@zkronos73
add proto for piloutput
47cf780
@zkronos73
update grammar and tests
97e9f16
@jbaylina
Workshop LA mo
1cb65a0 
difications
@jbaylina
Merge branch 'feature/pil2' of github.com:0xPolygonHermez/pilcom into…
c081059 
… feature/pil2
@jbaylina
Some more improvements
d545e43
@jbaylina
Constants in pilout
a7464b4
@jbaylina
Small B suggestions
57b2582
@bobbinth
refactor: subproof section
e5894f8
@jbaylina
Merge pull request #32 from bobbinth/bobbin-proto-refactor
c3d93dd 
Potential refactoring of .proto file for pil2 IR
@jbaylina
More Improvements
3a420f5
@jbaylina
Fix proto bugs
8822c9b
@jbaylina
renum fields
2eda6e2
@zkronos73
updating test zkevm pil
e374003
@bobbinth
refactor: public table
96f7b65
@bobbinth
refactor: introduce global constraint/expression/operand
d3a8121
@jbaylina
Merge pull request #33 from bobbinth/bobbin-proto-public-table
aefe1c2 
Update public table and global constraint/expressions
@jbaylina
Name c
2da5245 
hanged subProof to basic air
@zkronos73
continue testing zkevm in pil2
f6a9b21
@bobbinth
fix: message names and comments
a0e608a
@jbaylina
Merge pull request #34 from bobbinth/bobbin-name-fixes
6ac3045 
fix: message names and comments
@zkronos73
added function references and prover values
2252cbd
@zkronos73
delete incorrect file
909e186
@zkronos73
add std functions and castings, fix minor bugs.
bfd5905
@zkronos73
fix bugs
f3832ae
@zkronos73
update public_table example
ed2a603
@zkronos73
update public_table example
53225fd
zkronos73 and others added 25 commits September 20, 2023 06:41
@zkronos73
adding more Exceptions and cast conversions
db2a833
@zkronos73
WIP expressions
752ca07
@zkronos73
WIP
d4626f7
@zkronos73
WIP refactoring and testing
03356c0
@zkronos73
WIP const expressions and integers
8f6c89a
@zkronos73
some fixs to be compatible with previous version of pil2
e720a83
@zkronos73
fix some bugs on pilout
c9e5ebf
@zkronos73
fix rowOffset on pilout
e01e53f
@zkronos73
WIP
eaf2de7
@hecmas
Renaming require and provide by assumes and proves, respectively
0f58edb
@hecmas
Merge pull request #58 from 0xPolygonHermez/feature/require-to-assume
d5c7d7b 
Require and provide renaming
@zkronos73
WIP
0b4d025
@zkronos73
fix bug with hints references
b50c90e
@zkronos73
fix hints duplicated
c3b87d4
@zkronos73
WIP pending finals and pilout errors
92845d8
@zkronos73
WIP, continue testing std
5864a08
@zkronos73
Merge feature/pil2 into feature/pil2-expression-refactoring
8c25209
@zkronos73
WIP debugging pilout generation
3499539
@zkronos73
fix bugs on pilout generation
2ada145
@zkronos73
WIP - translating etrog to pil2
be0d73f
@zkronos73
WIP zkevm-etrog
11310d3
@zkronos73
WIP
f09d001
@zkronos73
WIP pil2
41feddf
@zkronos73
WIP
4c15860
@zkronos73
clean obsolete pils, add README with pil info and fix some compilers …
d2a5cb4 
…bugs
@cla-bot cla-bot
Copy link

cla-bot bot commented Feb 21, 2024

We require contributors/corporates @bobbinth to read our Contributor License Agreement, please check the Individual CLA document/Corporate CLA document

@sonarqubecloud SonarQubeCloud
Copy link

Quality Gate Failed Quality Gate failed

Failed conditions
15 Security Hotspots
E Reliability Rating on New Code (required ≥ A)

See analysis details on SonarCloud

idea Catch issues before they fail your Quality Gate with our IDE extension SonarLint SonarLint

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@eduadiez eduadiez Awaiting requested review from eduadiez

@rickb80 rickb80 Awaiting requested review from rickb80

@zkronos73 zkronos73 Awaiting requested review from zkronos73

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@fractasy @zkronos73 @jbaylina @bobbinth @hecmas @RogerTaule