d0cd

Check for Nested Record

2

This PR - Checks that a record does not contain a record. - Fixes codegen for records that contain circuits.

Validation for Nested Function Calls and Data Types

1

This PR adds additional functionality and validation for function calls. Specifically, it: - introduces the `@inline` annotation. - checks for cycles in the call graph (recursion is not allowed). -...

Check for Unrecognized Type

1

This PR - checks that a type has been defined during type checking. - Closes https://github.com/AleoHQ/leo/issues/2012

Preprocess Negative Literals

1

This PR - Processes negation expressions during parsing, producing negative literals as necessary. - Reintroduces `IntegerType` as it improves code cleanliness.

Constant Folding

2

TODO

Feature/update to specified version

1

Taken from https://github.com/AleoHQ/snarkOS/pull/1491

## Motivation Early exit for parsing and (de)serializing Value and Definition

## Motivation This PR: - Introduces `UpdatableCount`, a struct that stores the desired number of constants, public variables, private variables, and constraints. - Demonstrates how to use `UpdatableCount` in `pow_wrapped.rs`...

Implements `count` and `output_type` for all circuits. Removes `Metadata` from bytecode. Splits `Compare`, `Equal` and `To/FromBits` into multiple traits. DO NOT MERGE.

## Motivation This feature determines the number of constants, variables, constraints, and gates produced by a function by calculating the total after synthesis.