6 Pull requests merged by 2 people

• Collect keccaks during concrete running and inject them into the Props during query

  #806 merged Jul 30, 2025

• Optimize word256Bytes, word160Bytes

  #808 merged Jul 30, 2025

• Update forge and forge-std to latest stable

  #809 merged Jul 29, 2025

• More complete keccak computation

  #812 merged Jul 29, 2025

• Minor cleanup -- less brackets

  #810 merged Jul 29, 2025

• Add cost centers to opcodes, optimize

  #803 merged Jul 25, 2025

1 Issue closed by 1 person

• Bug in keccak computations

  #804 closed Jul 30, 2025

1 Issue opened by 1 person

• Add yices and bitwuzla with abstraction flag to the solvers available

  #807 opened Jul 24, 2025