0xPolygonMiden/air-script issues and pull requests

#376 - Feat: implement variable length public input (for bus boundaries)

Pull Request - State: open - Opened by Soulthym 4 months ago

#375 - Refactor: remove `aux` trace and `rand` value in frontend

Pull Request - State: open - Opened by Leo-Besancon 4 months ago - 1 comment

#374 - Bump Winterfell version

Issue - State: open - Opened by Leo-Besancon 4 months ago

#373 - [ Refactor / Bus Followup ] Remove random values and aux trace in frontend

Issue - State: open - Opened by Leo-Besancon 4 months ago

#372 - Refactor / remove the MASM backend

Issue - State: open - Opened by Leo-Besancon 4 months ago

#371 - Feat: implement buses

Pull Request - State: closed - Opened by Leo-Besancon 5 months ago - 6 comments

#370 - ACE backend: a code generator from AirScript to the ACE chiplet of Miden's recursive verifier

Pull Request - State: open - Opened by paracetamolo 5 months ago - 11 comments
Labels: codegen

#369 - fix: typos in documentation files

Pull Request - State: open - Opened by maximevtush 6 months ago

#368 - fix: Remove unnecessary pub before main Update main.rs

Pull Request - State: open - Opened by mdqst 6 months ago

#367 - Update LICENSE

Pull Request - State: open - Opened by maximevtush 6 months ago - 1 comment

#366 - Support arithmetic evaluation chiplet (ACE) in AirScript

Issue - State: open - Opened by Al-Kindi-0 6 months ago - 15 comments

#365 - Update book.yml

Pull Request - State: open - Opened by crStiv 7 months ago

#364 - Fix Typos in Documentation and Code

Pull Request - State: closed - Opened by teenager-ETH 7 months ago - 1 comment

#363 - docs: typo fix Update keywords.md

Pull Request - State: closed - Opened by defitricks 7 months ago - 1 comment

#361 - Typos fix

Pull Request - State: open - Opened by romashka-btc 8 months ago

#360 - Update declarations.md

Pull Request - State: open - Opened by detrina 8 months ago

#359 - MassaLabs: Implement a Intermediate Representation to improve the compilation process

Pull Request - State: closed - Opened by Leo-Besancon 10 months ago - 12 comments

#357 - RFC: A proposal for a better compiler IR

Issue - State: closed - Opened by bobbinth 11 months ago - 1 comment

#356 - MassaLabs: add comma in match/case statement

Pull Request - State: closed - Opened by sydhds 12 months ago

#355 - MassaLabs: Allow named constants range notation

Pull Request - State: closed - Opened by Leo-Besancon 12 months ago - 5 comments

#354 - Optimize Winterfell codegen in some expressions

Issue - State: open - Opened by Leo-Besancon 12 months ago

#353 - MassaLabs: Add semicolon in AirScript

Pull Request - State: closed - Opened by sydhds 12 months ago - 2 comments

#352 - MassaLabs: Eliminate exponentiations in the IR

Pull Request - State: closed - Opened by Leo-Besancon 12 months ago - 2 comments

#343 - Tracking PR for v0.4 release

Pull Request - State: open - Opened by bobbinth about 2 years ago

#333 - Eliminate exponentiations in the IR

Issue - State: closed - Opened by bobbinth about 2 years ago - 3 comments
Labels: enhancement, IR, parser

#298 - bugfix: fixed tests compilation

Pull Request - State: closed - Opened by hackaugusto about 2 years ago - 3 comments

#297 - feat: implement modules

Pull Request - State: closed - Opened by bitwalker about 2 years ago - 10 comments
Labels: IR, parser

#296 - masm: initial implementation of the backend

Pull Request - State: closed - Opened by hackaugusto about 2 years ago

#295 - deps: structopt -> clap

Pull Request - State: closed - Opened by hackaugusto about 2 years ago

#294 - Stdlib for airscript

Issue - State: open - Opened by hackaugusto about 2 years ago - 1 comment

#293 - feat: implement diagnostics/parsing infrastructure

Pull Request - State: closed - Opened by bitwalker about 2 years ago - 2 comments
Labels: parser

#292 - Refactor comprehension

Issue - State: closed - Opened by tohrnii about 2 years ago - 1 comment

#290 - fix(ir): fix columns size for vector trace access

Pull Request - State: closed - Opened by tohrnii over 2 years ago - 1 comment

#289 - Incorrect column index in evaluators

Issue - State: closed - Opened by tohrnii over 2 years ago - 1 comment

#288 - fix(ir): throw an error on segment mismatch in evaluators

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#287 - feat(ir): add support for constraint comprehension with evaluators

Pull Request - State: closed - Opened by tohrnii over 2 years ago - 1 comment

#286 - Incorrect segment in evaluator calls

Issue - State: closed - Opened by tohrnii over 2 years ago - 1 comment

#285 - Remove `size` from `TraceAccess`

Issue - State: closed - Opened by bobbinth over 2 years ago - 1 comment

#284 - Fix conversion of `SymbolAccess` to `TraceAccess` for multi-column references

Pull Request - State: closed - Opened by grjte over 2 years ago

#283 - feat(ir): add support for selectors with evaluators

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#282 - fix graph cloning when processing evaluator function calls

Pull Request - State: closed - Opened by grjte over 2 years ago

#281 - Problem using column groups in evaluator signature

Issue - State: closed - Opened by tohrnii over 2 years ago - 1 comment

#280 - Code generated for evaluator constraints is incorrect

Issue - State: closed - Opened by tohrnii over 2 years ago - 1 comment

#278 - fix(ir): fix evaluator constraints insertion

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#277 - Field Spec required

Issue - State: open - Opened by skaller over 2 years ago

#276 - Enum for section exhaustive check

Pull Request - State: closed - Opened by hackaugusto over 2 years ago

#274 - Replace `Vec<Vec<T>>` with a native Matrix representation

Issue - State: open - Opened by hackaugusto over 2 years ago - 5 comments

#273 - Forbid name shadowing on comprehensions

Issue - State: open - Opened by hackaugusto over 2 years ago

#272 - Write stack multiset check constraints in AirScript

Pull Request - State: open - Opened by Overcastan over 2 years ago

#271 - feat(ir): add support for constraint comprehension

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#270 - feat(ir): add support for selectors

Pull Request - State: closed - Opened by tohrnii over 2 years ago - 1 comment

#269 - refactor(parser): refactor constraint comprehension grammar

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#268 - Consider optionally allowing named segments as evaluator parameters

Issue - State: open - Opened by tohrnii over 2 years ago

#267 - Make the trace more general

Issue - State: open - Opened by tohrnii over 2 years ago

#266 - Consider allowing named constants to be used in range notation.

Issue - State: closed - Opened by tohrnii over 2 years ago - 1 comment
Labels: good first issue, IR, parser

#265 - Validate variable declaration

Issue - State: open - Opened by tohrnii over 2 years ago - 3 comments
Labels: IR

#263 - Write Memory chiplet bus constraints in AirScript

Pull Request - State: closed - Opened by Overcastan over 2 years ago

#262 - Write Bitwise chiplet bus constraints in AirScript

Pull Request - State: closed - Opened by Overcastan over 2 years ago

#261 - Write hasher multiset check constraints in AirScript

Pull Request - State: open - Opened by Overcastan over 2 years ago

#260 - Remove keywords from evaluator function declaration

Pull Request - State: closed - Opened by grjte over 2 years ago - 2 comments

#259 - refactor: remove TraceAccess from the parser

Pull Request - State: closed - Opened by grjte over 2 years ago - 3 comments

#258 - replace `TraceBindingAccess` with `SymbolAccess`

Pull Request - State: closed - Opened by grjte over 2 years ago

#257 - feat(constraints): add rpo constraints

Pull Request - State: open - Opened by tohrnii over 2 years ago - 2 comments

#256 - refactor: replace Rand with SymbolAccess

Pull Request - State: closed - Opened by grjte over 2 years ago

#255 - Renaming refactor

Pull Request - State: closed - Opened by grjte over 2 years ago - 1 comment

#254 - refactor: change access types to BindingAccess

Pull Request - State: closed - Opened by grjte over 2 years ago - 1 comment

#253 - Write chiplet module constraints in AirScript

Pull Request - State: closed - Opened by Overcastan over 2 years ago

#252 - Rename core types for clarity

Pull Request - State: closed - Opened by grjte over 2 years ago

#251 - minor cleanup for clarity

Pull Request - State: closed - Opened by grjte over 2 years ago

#250 - Write constraints for the stack overflow table in AirScript

Pull Request - State: open - Opened by Overcastan over 2 years ago

#249 - Write constraints for the range checker bus in AirScript

Pull Request - State: open - Opened by Overcastan over 2 years ago

#248 - Write 8-bit range checks constraints in AirScript

Pull Request - State: closed - Opened by Overcastan over 2 years ago - 2 comments

#247 - Small fix of range checker constraints

Pull Request - State: closed - Opened by Overcastan over 2 years ago

#246 - Remove usage of next row operator from functions

Pull Request - State: closed - Opened by Overcastan over 2 years ago
Labels: bug

#244 - Write new memory constraints to check correctness

Issue - State: open - Opened by Overcastan over 2 years ago
Labels: v0.3

#241 - refactor(IR): Refactor IR

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#240 - modularity for boundary constraints

Issue - State: open - Opened by grjte over 2 years ago - 1 comment

#239 - Write general stack constraints in AirScript

Pull Request - State: open - Opened by Overcastan over 2 years ago - 1 comment

#238 - fix: define a_aggr and b_aggr

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#236 - Refactor constraint comprehension

Issue - State: closed - Opened by tohrnii over 2 years ago - 1 comment
Labels: v0.3

#235 - Add IR tests

Issue - State: open - Opened by tohrnii over 2 years ago
Labels: v0.3

#234 - Write decoder constraints in AirScript

Pull Request - State: closed - Opened by Overcastan over 2 years ago - 2 comments

#233 - fix: minor doc example fix

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#232 - bug in example 2.7 doc

Issue - State: closed - Opened by skaller over 2 years ago - 2 comments

#231 - Allow users to combine constraints applied on same selectors

Issue - State: open - Opened by tohrnii over 2 years ago

#230 - Allow inlined vectors as iterables in list and constraint comprehension

Issue - State: open - Opened by tohrnii over 2 years ago

#229 - refactor: refactor trace access in IR

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#228 - refactor: refactor trace access

Pull Request - State: closed - Opened by tohrnii over 2 years ago - 2 comments

#227 - add support for evaluator functions to the IR

Pull Request - State: closed - Opened by grjte over 2 years ago - 8 comments

#225 - Add ir tests for evaluator functions and selectors

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#224 - Modify match syntax

Issue - State: closed - Opened by tohrnii over 2 years ago - 9 comments

#222 - refactor(ir): move constraints and graph to ConstraintBuilder

Pull Request - State: closed - Opened by tohrnii over 2 years ago

#219 - Enforce selectors are binary

Issue - State: closed - Opened by tohrnii over 2 years ago - 2 comments

#216 - Refactor IntegrityStmt

Pull Request - State: closed - Opened by tohrnii over 2 years ago - 1 comment

#215 - Write Hash Chiplet constraints in AirScript

Pull Request - State: closed - Opened by Overcastan over 2 years ago - 3 comments

#213 - Bitwise constraints submodule refactor for modularity

Pull Request - State: closed - Opened by grjte over 2 years ago - 2 comments

#212 - write MidenVM constraints for the hasher chiplet (Rescue Prime Optimized)

Issue - State: open - Opened by grjte over 2 years ago
Labels: v0.3, MidenVM constraints

#209 - write MidenVM constraints for the stack (general) and determine operation flag handling

Issue - State: open - Opened by grjte over 2 years ago
Labels: MidenVM constraints

#208 - write MidenVM constraints for the stack overflow table (multiset check constraints)

Issue - State: open - Opened by grjte over 2 years ago
Labels: v0.3, MidenVM constraints

#206 - write MidenVM constraints for the decoder (general)

Issue - State: open - Opened by grjte over 2 years ago
Labels: v0.3, MidenVM constraints

GitHub / 0xPolygonMiden/air-script issues and pull requests