Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Feb 26, 2024

• chore: update changelog and min rustc version

  bobbinth

  committed
  3a957f7

  Copy full SHA for 3a957f7

• feat: implement bitwise counters for u64 (#1179)

  

  Fumuran

  authored and

  bobbinth

  committed
  ff8ff8a

  Copy full SHA for ff8ff8a

• feat: implement u32clz, u32ctz, u32clo, u32cto and ilog2 instrs (#1176)

  

  Fumuran

  authored and

  bobbinth

  committed
  3a1848c

  Copy full SHA for 3a1848c

• fix: clippy errors for redundant imports (#1255)

  

  hackaugusto

  authored and

  bobbinth

  committed
  21bd410

  Copy full SHA for 21bd410

• clippy: fix TryFrom/TryInto warnings

  

  hackaugusto

  authored and

  bobbinth

  committed
  0314770

  Copy full SHA for 0314770

• Remove `smt64` (#1249)

  Show description for b35a417
  

  plafer

  authored and

  bobbinth

  committed
  b35a417

  Copy full SHA for b35a417

• feat: export AdviceMap publicly

  bobbinth

  committed
  3e63ae3

  Copy full SHA for 3e63ae3

• feat: add From BTreeMap conversion for AdviceMap

  bobbinth

  committed
  f62fb60

  Copy full SHA for f62fb60

• refactor: add AdviceMap wrapper (#1207)

  

  ginika-chinonso

  authored and

  bobbinth

  committed
  6e7bbda

  Copy full SHA for 6e7bbda

• test: rcomb_base and falcon test prove-verify (#1232)

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  9db662f

  Copy full SHA for 9db662f

• refactor: update logging messages in the VM (#1235)

  

  Fumuran

  authored and

  bobbinth

  committed
  6e04e0f

  Copy full SHA for 6e04e0f

• chore: minor clippy fixes

  bobbinth

  committed
  ab07f3c

  Copy full SHA for ab07f3c

• chore: update miden-crypto to v0.8 (#1248)

  

  Fumuran

  authored and

  bobbinth

  committed
  d3327bb

  Copy full SHA for d3327bb

• refactor: update to be compatible with Winterfell 0.8 (#1234)

  

  Fumuran

  authored and

  bobbinth

  committed
  c5cb688

  Copy full SHA for c5cb688

• Adds Kernel procedure responses (#1246)

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  38bf29d

  Copy full SHA for 38bf29d

• Handle additional memory requests made by `RCOMBBASE` (#1229)

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  9be1d3e

  Copy full SHA for 9be1d3e

• chore: split up decoder aux column builders into separate files (#1233)

  bobbinth

  committed
  abc345a

  Copy full SHA for abc345a

• fix: metal prover compilation

  bobbinth

  committed
  a4ae716

  Copy full SHA for a4ae716

• refactor: Deref `MainTrace` type to `ColMatrix` (#1214)

  

  iammadab

  authored and

  bobbinth

  committed
  6c9f4f5

  Copy full SHA for 6c9f4f5

• refactor: clean up aux column generator for stack overflow table (#1213)

  bobbinth

  committed
  196c571

  Copy full SHA for 196c571

• Trait for auxiliary column build (#1195)

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  b10c3fc

  Copy full SHA for b10c3fc

• feat: consolidate MainTrace and optimize column build

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  2f29f51

  Copy full SHA for 2f29f51

• feat: consolidate MainTrace and optimize column build

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  9d3002d

  Copy full SHA for 9d3002d

• feat: simplify auxiliary trace building logic

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  a25d02b

  Copy full SHA for a25d02b

• refactor: decoder auxiliary builder and uniformize the aux builder pattern

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  1d52447

  Copy full SHA for 1d52447

• chore: remove decoder aux-hints code

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  d9b8f1b

  Copy full SHA for d9b8f1b

• feat: simplify stack overflow auxiliary column build

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  5bff651

  Copy full SHA for 5bff651

• feat: simplify the 3 decoder auxiliary columns

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  dd54f93

  Copy full SHA for dd54f93

• feat: simplify the 3 decoder auxiliary columns

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  f12dd3c

  Copy full SHA for f12dd3c

• feat: simplify build of chiplet vtable column

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  fc74d75

  Copy full SHA for fc74d75

• feat: add simplified chiplet bus column builder

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  a0a7c78

  Copy full SHA for a0a7c78

• Removes any remnants of `TieredSmt` (#1237)

  

  plafer

  authored and

  bobbinth

  committed
  74d4b2a

  Copy full SHA for 74d4b2a

• `stdlib` `smt` replacement (single key-value leaf only) (#1215)

  Show description for 3abfdbb
  

  plafer

  and

  bobbinth

  committed
  3abfdbb

  Copy full SHA for 3abfdbb

• `mpverify`: don't panic when verification fails (#1230)

  Show description for d6e331b
  

  plafer

  authored and

  bobbinth

  committed
  d6e331b

  Copy full SHA for d6e331b

• fix: bug due to not copying prev stack state (#1227)

  

  Al-Kindi-0

  authored and

  bobbinth

  committed
  8c6335b

  Copy full SHA for 8c6335b