leo

leo copied to clipboard

Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.26 to 0.9.9. Release notes Sourced from serde_yaml's releases. 0.9.9 Add serde_yaml::with::singleton_map_recursive 0.9.8 Fix serialization of TaggedValue when used with to_value (#313) 0.9.7 Allow an empty plain...

dependabot[bot]

Check for Nested Record

2

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

d0cd

[Feature] Use a keyword to designate external functions?

1

There are currently two kinds of functions in Leo: - External functions, callable "from outside" (e.g. via input files), and designated via the `@program` annotation. - Internal functions, also called...

acoglio

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). -...

d0cd

[examples] eight 32-bit versions of trailing zeros from Hacker's Delight

1

Leo implementations in 32 bits of all 8 of the illustrated number of trailing zeros (ntz) algorithms from Hacker's Delight 2nd ed., section 5-4.

bendyarm

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

d0cd

Extract `ExpressionKind` from `Expression`

1

Work towards https://github.com/AleoHQ/leo/issues/1947.

Centril

[Bug] Char causes compiler to panic

1

## 🐛 Bug Report Using char seems to be broken as a datatype. The full code is: ``` // The `Oracle` record datatype. record Oracle { // The oracle owner....

evanmarshall

According to [this text in the Rust Book](https://doc.rust-lang.org/book/ch07-05-separating-modules-into-different-files.html#alternate-file-paths), the currently preferred path for the code in a module `mymodule` is `.../mymodule.rs` rather than `.../mymodule/mod.rs`. As noted in the referenced text,...

acoglio

Preprocess Negative Literals

1

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

d0cd