Code

Tracking PR for v0.2 release#79

Code

Merged

grjte merged 133 commits intomain0xPolygonMiden/air-script:mainfrom next0xPolygonMiden/air-script:nextCopy head branch name to clipboardFeb 22, 2023

+8,421-2,254

Commits

Commits on Nov 22, 2022

• chore: update AirScript examples

  Show description for 4e61e3f
  tohrnii

  committed
  4e61e3f

  Copy full SHA for 4e61e3f

• Merge pull request #74 from tohrnii/remove-examples

  Show description for 016f0d0
  tohrnii

  authored
  016f0d0

  Copy full SHA for 016f0d0

• feat: add Sub operation

  Fumuran

  committed
  f315607

  Copy full SHA for f315607

Commits on Nov 25, 2022

• add DS_Store to gitignore

  tohrnii

  committed
  2081706

  Copy full SHA for 2081706

• refactor(examples): refactor bitwise air constraints to have currently supported syntax

  tohrnii

  committed
  f3ffa21

  Copy full SHA for f3ffa21

• test: add bitwise air constraints with currently supported syntax

  tohrnii

  committed
  1d5c670

  Copy full SHA for 1d5c670

• fix: doc rendering issue

  tohrnii

  committed
  642fb60

  Copy full SHA for 642fb60

• Merge pull request #80 from Overcastan/sub-operation

  Show description for 6006070
  tohrnii

  authored
  6006070

  Copy full SHA for 6006070

• Merge pull request #81 from 0xPolygonMiden/tohrnii-formatting-issue

  Show description for d522c69
  tohrnii

  authored
  d522c69

  Copy full SHA for d522c69

• Merge pull request #58 from tohrnii/bitwise

  Show description for 0e1908d
  grjte

  authored
  0e1908d

  Copy full SHA for 0e1908d

Commits on Nov 29, 2022

• feat(parser): add support for parsing of constants

  tohrnii

  committed
  a3b95be

  Copy full SHA for a3b95be

• test: add tests for parsing and lexing of constants

  tohrnii

  committed
  5738f0a

  Copy full SHA for 5738f0a

• feat(parser): add support for constant access in constraints

  tohrnii

  committed
  35a7f43

  Copy full SHA for 35a7f43

Commits on Dec 1, 2022

• refactor: Refactor constant parsing

  Show description for 2e43644
  tohrnii

  committed
  2e43644

  Copy full SHA for 2e43644

Commits on Dec 3, 2022

• fix(codegen): add missing auxiliary constraint degrees

  grjte

  committed
  57ae403

  Copy full SHA for 57ae403

• feat(ir,codegen): make trace reference more general

  grjte

  committed
  1d81ed8

  Copy full SHA for 1d81ed8

• refactor: minor cleanup

  grjte

  committed
  342e049

  Copy full SHA for 342e049

• test: add more tests for edge cases for const parsing

  tohrnii

  committed
  c1b9bd0

  Copy full SHA for c1b9bd0

• Merge pull request #63 from tohrnii/constants

  Show description for b78fb70
  tohrnii

  authored
  b78fb70

  Copy full SHA for b78fb70

Commits on Dec 4, 2022

• feat(parser): add variables to AST

  tohrnii

  committed
  7b814ef

  Copy full SHA for 7b814ef

• feat(parser): add variables parsing rules to grammar

  tohrnii

  committed
  39eefb8

  Copy full SHA for 39eefb8

• test: add lexer tests for variable parsing

  tohrnii

  committed
  d673473

  Copy full SHA for d673473

Commits on Dec 5, 2022

• docs: add repo link to mdbook

  tohrnii

  committed
  1209905

  Copy full SHA for 1209905

• test: add parser tests for variable parsing

  tohrnii

  committed
  e4e3a98

  Copy full SHA for e4e3a98

• refactor(parser): refactor boundary and transition constraints sections

  tohrnii

  committed
  fc0faf5

  Copy full SHA for fc0faf5

• Merge pull request #91 from 0xPolygonMiden/grjte-fix-aux-codegen

  Show description for 3e77d31
  tohrnii

  authored
  3e77d31

  Copy full SHA for 3e77d31

• Merge pull request #92 from 0xPolygonMiden/grjte-ir-trace-ref

  Show description for c14eedf
  tohrnii

  authored
  c14eedf

  Copy full SHA for c14eedf

• Merge pull request #93 from 0xPolygonMiden/docs

  Show description for 3a7824e
  tohrnii

  authored
  3a7824e

  Copy full SHA for 3a7824e

• Merge pull request #96 from 0xPolygonMiden/grjte-fix-aux-codegen

  Show description for e16f684
  bobbinth

  authored
  e16f684

  Copy full SHA for e16f684

• test: refactor tests to use enum variants directly

  tohrnii

  committed
  90588ab

  Copy full SHA for 90588ab

Commits on Dec 6, 2022

• Merge pull request #65 from tohrnii/variable_parsing

  Show description for ccb5a6a
  tohrnii

  authored
  ccb5a6a

  Copy full SHA for ccb5a6a

• feat(ir): add constants to IR

  tohrnii

  committed
  a89345b

  Copy full SHA for a89345b

• test: add const declaration tests for IR

  tohrnii

  committed
  85ee0ac

  Copy full SHA for 85ee0ac

• feat(ir): add constant handling for transition constraints

  tohrnii

  committed
  d798392

  Copy full SHA for d798392

• feat(ir): add vector access and matrix access validation

  tohrnii

  committed
  face797

  Copy full SHA for face797

• test: add tests for vector and matrix access

  tohrnii

  committed
  0cd1cbc

  Copy full SHA for 0cd1cbc

• refactor(ir): Refactor IR

  Show description for a8f60f1
  tohrnii

  committed
  a8f60f1

  Copy full SHA for a8f60f1

• test: add const declaration tests for IR

  tohrnii

  committed
  3658319

  Copy full SHA for 3658319

• feat(codegen): Add codegen for const declarations

  tohrnii

  committed
  55cda2f

  Copy full SHA for 55cda2f

• feat(codegen): Add codegen for const usage in constraints

  tohrnii

  committed
  6c680fb

  Copy full SHA for 6c680fb

Commits on Dec 7, 2022

• test: add integration tests for constants codegen

  tohrnii

  committed
  1cd8e70

  Copy full SHA for 1cd8e70

Commits on Dec 8, 2022

• Merge pull request #94 from 0xPolygonMiden/tohrnii-constants-ir

  Show description for ef2e7a7
  tohrnii

  authored
  ef2e7a7

  Copy full SHA for ef2e7a7

• Merge pull request #95 from 0xPolygonMiden/tohrnii-constants-codegen

  Show description for b7b2f10
  tohrnii

  authored
  b7b2f10

  Copy full SHA for b7b2f10

Commits on Dec 15, 2022

• refactor(parser): move constant declarations to top of file

  tohrnii

  committed
  72bb90e

  Copy full SHA for 72bb90e

Commits on Dec 20, 2022

• Merge pull request #103 from 0xPolygonMiden/tohrnii-constants-refactor

  Show description for e2a2e7d
  tohrnii

  authored
  e2a2e7d

  Copy full SHA for e2a2e7d

Commits on Dec 21, 2022

• feat(parser): add support for trace col grouping to parser

  tohrnii

  committed
  e4df490

  Copy full SHA for e4df490

• test: add trace col group tests and refactor old tests

  tohrnii

  committed
  e528374

  Copy full SHA for e528374

• refactor(parser): refactor trace columns AST

  tohrnii

  committed
  7b970b5

  Copy full SHA for 7b970b5

Commits on Dec 22, 2022

• Merge pull request #101 from 0xPolygonMiden/tohrnii-col-grouping-parser

  Show description for 2209932
  tohrnii

  authored
  2209932

  Copy full SHA for 2209932

• feat(parser): add accessors for BoundaryVariables and TransitionVariables

  tohrnii

  committed
  e5e8d41

  Copy full SHA for e5e8d41

• feat(ir): add support for variables to IR

  tohrnii

  committed
  1d743a7

  Copy full SHA for 1d743a7

• test: add tests for variables to IR

  tohrnii

  committed
  6fc0cf5

  Copy full SHA for 6fc0cf5

• feat(codegen): Add codegen for variable usage in constraints

  tohrnii

  committed
  b7e0acf

  Copy full SHA for b7e0acf

• test: add integration test for variables

  tohrnii

  committed
  678c234

  Copy full SHA for 678c234

• refactor(ir): Refactor IR

  Show description for f087117
  tohrnii

  committed
  f087117

  Copy full SHA for f087117

• Merge pull request #100 from 0xPolygonMiden/tohrnii-variables-ir-codegen

  Show description for b9dd537
  tohrnii

  authored
  b9dd537

  Copy full SHA for b9dd537

• test: add trace col group tests and refactor old tests

  tohrnii

  committed
  5007221

  Copy full SHA for 5007221

• refactor(parser): refactor trace columns AST

  tohrnii

  committed
  c036551

  Copy full SHA for c036551

• feat(ir): add support for trace col groups to IR

  tohrnii

  committed
  0402835

  Copy full SHA for 0402835

• test: add tests for trace column groups to IR

  tohrnii

  committed
  c13bb22

  Copy full SHA for c13bb22

Commits on Jan 5, 2023

• test: add integration test for trace column groups

  tohrnii

  committed
  2fdc6f1

  Copy full SHA for 2fdc6f1

Commits on Jan 6, 2023

• Merge pull request #102 from 0xPolygonMiden/tohrnii-col-grouping-ir

  Show description for 9ffc6ca
  tohrnii

  authored
  9ffc6ca

  Copy full SHA for 9ffc6ca

• refactor: rename transition constraints to integrity constraints

  tohrnii

  committed
  5004365

  Copy full SHA for 5004365

Commits on Jan 10, 2023

• refactor(ir): refactor constraint graph

  Show description for 73d5939
  tohrnii

  committed
  73d5939

  Copy full SHA for 73d5939

Commits on Jan 14, 2023

• Merge pull request #105 from 0xPolygonMiden/tohrnii-transition-constraints-rename

  Show description for 41170e2
  tohrnii

  authored
  41170e2

  Copy full SHA for 41170e2

Commits on Jan 16, 2023

• refactor: refactor ConstraintRoot struct

  tohrnii

  committed
  35e520a

  Copy full SHA for 35e520a

Commits on Jan 18, 2023

• Merge pull request #111 from 0xPolygonMiden/tohrnii-validity-constraints

  Show description for 3269063
  grjte

  authored
  3269063

  Copy full SHA for 3269063

• feat: add main and aux columns access by index

  Fumuran

  committed
  11806e3

  Copy full SHA for 11806e3

• feat: add tests for column access

  Fumuran

  committed
  5bd64f8

  Copy full SHA for 5bd64f8

• feat: improve code

  Fumuran

  committed
  9fa1763

  Copy full SHA for 9fa1763

Commits on Jan 19, 2023

• Merge pull request #112 from 0xPolygonMiden/andrew-main-aux-index-access

  Show description for ef18179
  grjte

  authored
  ef18179

  Copy full SHA for ef18179

• feat: add new crate with core AirScript structs/types

  grjte

  committed
  f8fc616

  Copy full SHA for f8fc616

Commits on Jan 22, 2023

• refactor: switch to core structs

  Show description for 6251dc9
  grjte

  committed
  6251dc9

  Copy full SHA for 6251dc9

• Merge pull request #116 from 0xPolygonMiden/grjte-refactor-shared-types

  Show description for 93143a0
  grjte

  authored
  93143a0

  Copy full SHA for 93143a0

Commits on Jan 23, 2023

• refactor: replace row_offset with ConstraintDomain

  grjte

  committed
  a5812b7

  Copy full SHA for a5812b7

• Merge pull request #117 from 0xPolygonMiden/grjte-refactor-constraint-domain

  Show description for ccb90ba
  grjte

  authored
  ccb90ba

  Copy full SHA for ccb90ba

Commits on Jan 25, 2023

• chore: update string formatting for clippy

  grjte

  committed
  5f25642

  Copy full SHA for 5f25642

• Merge pull request #121 from 0xPolygonMiden/grjte-clippy-fixes

  Show description for cc7072d
  grjte

  authored
  cc7072d

  Copy full SHA for cc7072d

Commits on Jan 27, 2023

• refactor: allow expressions as exponent for exp expressions

  tohrnii

  committed
  0a46017

  Copy full SHA for 0a46017

• Merge pull request #120 from 0xPolygonMiden/tohrnii-refactor-exp

  Show description for a4de554
  grjte

  authored
  a4de554

  Copy full SHA for a4de554

Commits on Jan 31, 2023

• feat: move boundary constraints into the graph

  grjte

  committed
  9abb772

  Copy full SHA for 9abb772

• refactor: simplify insertions into the constraint graph

  grjte

  committed
  6447ee9

  Copy full SHA for 6447ee9

• chore: update winterfell code generation

  grjte

  committed
  c31968a

  Copy full SHA for c31968a

• test: update tests for boundary constraint changes

  grjte

  committed
  3f44c8c

  Copy full SHA for 3f44c8c

• Merge pull request #126 from 0xPolygonMiden/grjte-refactor-graph

  Show description for 2141470
  grjte

  authored
  2141470

  Copy full SHA for 2141470

• feat(core): add list comprehension structures to air-script-core

  tohrnii

  committed
  65c30fa

  Copy full SHA for 65c30fa

• feat(parser): add list comprehension parsing rules to grammar

  tohrnii

  committed
  e17d5a0

  Copy full SHA for e17d5a0

• feat(parser): add list comprehension support to parser

  tohrnii

  committed
  a3dd07c

  Copy full SHA for a3dd07c

• test: add list comprehension lexer tests

  tohrnii

  committed
  b6f9dc3

  Copy full SHA for b6f9dc3

• test: add list comprehension parser tests

  tohrnii

  committed
  580e060

  Copy full SHA for 580e060

• feat(core): add list folding structures to air-script-core

  tohrnii

  committed
  bcd389b

  Copy full SHA for bcd389b

• feat(parser): add list folding parsing rules to grammar

  tohrnii

  committed
  b0b0c97

  Copy full SHA for b0b0c97

• feat(parser): add list folding support to parser

  tohrnii

  committed
  08763f9

  Copy full SHA for 08763f9

• test: add list folding lexer and parser tests

  tohrnii

  committed
  0d3b94e

  Copy full SHA for 0d3b94e

• Merge pull request #119 from 0xPolygonMiden/tohrnii-list-comprehension

  Show description for 42e2648
  tohrnii

  authored
  42e2648

  Copy full SHA for 42e2648

Commits on Feb 1, 2023

• Merge pull request #127 from 0xPolygonMiden/tohrnii-list-folding

  Show description for 5844e8d
  tohrnii

  authored
  5844e8d

  Copy full SHA for 5844e8d

• feat: add parsing of rand values section, add parser tests

  Fumuran

  committed
  da6a45f

  Copy full SHA for da6a45f

• feat: code refactor and tests improvement

  Fumuran

  committed
  6075ea5

  Copy full SHA for 6075ea5

Commits on Feb 2, 2023

• Merge pull request #129 from 0xPolygonMiden/andrew-parse-random-values

  Show description for 6446fd2
  grjte

  authored
  6446fd2

  Copy full SHA for 6446fd2

• feat: add random values to the IR

  Fumuran

  committed
  1c8675b

  Copy full SHA for 1c8675b

• feat: add intergation test

  Fumuran

  committed
  5cb4acc

  Copy full SHA for 5cb4acc

Commits on Feb 3, 2023

• feat: refactoring

  Fumuran

  committed
  8e31a6b

  Copy full SHA for 8e31a6b

Commits on Feb 6, 2023

• feat: add indexed access to random values by custom name

  Fumuran

  committed
  a7eb8a3

  Copy full SHA for a7eb8a3

• feat: naming improvements

  Fumuran

  committed
  dcaf137

  Copy full SHA for dcaf137

Commits on Feb 7, 2023

• Merge pull request #134 from 0xPolygonMiden/andrew-ir-random-values

  Show description for 3e541d7
  tohrnii

  authored
  3e541d7

  Copy full SHA for 3e541d7

Commits on Feb 9, 2023

• chore: remove Neg operation

  Fumuran

  committed
  9396f3f

  Copy full SHA for 9396f3f

• Merge pull request #141 from 0xPolygonMiden/andrew-remove-neg-operation

  Show description for 25095be
  tohrnii

  authored
  25095be

  Copy full SHA for 25095be

• feat: add additional checks

  Fumuran

  committed
  77e49db

  Copy full SHA for 77e49db

Commits on Feb 13, 2023

• Merge pull request #137 from 0xPolygonMiden/andrew-random-values-checks

  Show description for 3cbb82b
  grjte

  authored
  3cbb82b

  Copy full SHA for 3cbb82b

Commits on Feb 14, 2023

• fix: boundary constraint validation

  Show description for de4eb94
  grjte

  committed
  de4eb94

  Copy full SHA for de4eb94

• test: update tests based on graph changes

  grjte

  committed
  970fa67

  Copy full SHA for 970fa67

• Merge pull request #144 from 0xPolygonMiden/grjte-ir-bc-validation

  Show description for 5137ab5
  grjte

  authored
  5137ab5

  Copy full SHA for 5137ab5

• fix: restore public input support

  grjte

  committed
  712c4c1

  Copy full SHA for 712c4c1

• Merge pull request #145 from 0xPolygonMiden/grjte-ir-pub-inputs

  Show description for 0fc7ea1
  tohrnii

  authored
  0fc7ea1

  Copy full SHA for 0fc7ea1

Commits on Feb 17, 2023

• fix: fix codegen for aux transition constraints that use main cols

  tohrnii

  committed
  9c83bad

  Copy full SHA for 9c83bad

• Merge pull request #148 from 0xPolygonMiden/tohrnii-codegen-fix

  Show description for df1e3bb
  tohrnii

  authored
  df1e3bb

  Copy full SHA for df1e3bb

• chore: clippy fix

  grjte

  committed
  4b56e26

  Copy full SHA for 4b56e26

Commits on Feb 20, 2023

• test: split ir tests into modules

  grjte

  committed
  963d91c

  Copy full SHA for 963d91c

• Merge pull request #151 from 0xPolygonMiden/grjte-ir-refactor-tests

  Show description for e74af8a
  grjte

  authored
  e74af8a

  Copy full SHA for e74af8a

• fix(codegen): remove redundant parens from generated code

  tohrnii

  committed
  b3115de

  Copy full SHA for b3115de

• test: update variable tests and add for variables in bc

  grjte

  committed
  e2f4371

  Copy full SHA for e2f4371

Commits on Feb 21, 2023

• refactor: refactor binary_op_to_string

  tohrnii

  committed
  703227a

  Copy full SHA for 703227a

• Merge pull request #155 from 0xPolygonMiden/tohrnii-paren-fix

  Show description for a5b0ef4
  tohrnii

  authored
  a5b0ef4

  Copy full SHA for a5b0ef4

• feat: add support for boundary variables

  Show description for 0b167b9
  grjte

  committed
  0b167b9

  Copy full SHA for 0b167b9

Commits on Feb 22, 2023

• Merge pull request #160 from 0xPolygonMiden/grjte-ir-bc-variables

  Show description for b8641d9
  grjte

  authored
  b8641d9

  Copy full SHA for b8641d9

• feat(docs): update README.md with info about new crates

  tohrnii

  committed
  6828ca7

  Copy full SHA for 6828ca7

• refactor(ir, air-script): rename from_source to new

  tohrnii

  committed
  b1d44a8

  Copy full SHA for b1d44a8

• docs: add README.md for air-script-core crate

  tohrnii

  committed
  2c1c9b8

  Copy full SHA for 2c1c9b8

• docs: update README.md for parser crate

  tohrnii

  committed
  dde783d

  Copy full SHA for dde783d

• chore: add changelog for v0.1 and v0.2

  grjte

  committed
  51bcddc

  Copy full SHA for 51bcddc

• docs: update docs to include v0.2 features

  tohrnii

  committed
  d219423

  Copy full SHA for d219423

• Merge pull request #152 from 0xPolygonMiden/tohrnii-docs

  Show description for 001db39
  tohrnii

  authored
  001db39

  Copy full SHA for 001db39

• Merge pull request #161 from 0xPolygonMiden/grjte-v02-changelog

  Show description for 29a2d51
  grjte

  authored
  29a2d51

  Copy full SHA for 29a2d51