Tracking PR for v0.3 release #175
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add support for list folding on vectors and identifiers
…er-1 IR refactor: create ConstraintBuilder
IR refactor: simplify symbol table validation of identifier accesses
…re appropriate, and similarly for E
…instead-of-new Replace Felt::new with Felt::ZERO or Felt::ONE where appropriate
feat(docs): add docs for list comprehension
Refactor the IR (1 of 4)
Refactor the IR (2 of 4)
- rename to use "Symbol" and "SymbolType" - add Symbol struct - add `get_value` accessor to symbol struct to simplify value access and error handling for different types of symbols - implemented validation trait for ConstantType and VariableType
…-points-2 masm: added get_exemptions_points procedure
Adds codegen for the procedure `compute_integrity_constraint_divisor` to compute the integrity constraint divisor.
…t-divisor masm: added integrity constraint divisor
The current implementation of this syntax simply compiles to a flat set of constraints, as if every branch of the match was a separate constraint conditioned on the selector for the match. Since this does not yet introduce a separate internal statement type for match constraints, we are using a temporary hack in the parser which parses match constraints directly into the representation described above. When we actually implement the correct semantics for match constraints, we'll update the parser accordingly.
feat: reintroduce match constraint syntax
…in-trace-columns masm: update the number of main trace columns
chore: enable resolver 2
masm: add comments to procedures
- The procedure to evalute the boundary constraints has been split, since different boundary constraints groups have different divisors. - The divisor is applied and the points are accumulated
…-divisor masm: added boundary constraint divisor computation
…uation-export add constraint evaluation export
Tidy up masm codegen
Update documentation for v0.3 release
bobbinth
approved these changes
Jul 12, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Tracking issue: support for describing 100% of Miden VM constraints in AirScript #162
Tracking issue: AirScript codegen for constraint evaluation logic in Miden assembly #164
Tracking issue: write Miden VM constraints in AirScript #165
Other fixes & improvements
new&from#48