All pull requests

Pull requests

• Hol iterate inside lambdas in simplifications

  #1058·mezpusz opened Nov 12, 2026Contributor·

  ·
  2

• Optimization: Code tree literal occupancy

  #1056·Synrom opened Nov 10, 2026Contributor·

  ·
  13

• replay LRS updates at their recorded loop positions

  #1049·shalashaska117 opened Nov 5, 2026Contributor·

  ·

• accept empty SMT-LIB symbol names in Debug builds

  #1048·shalashaska117 opened Nov 5, 2026Contributor·

  ·
  1

• reject SMT-LIB match on non-datatype sorts

  #1047·shalashaska117 opened Nov 5, 2026Contributor·

  ·
  1

  2

• Guard original integer variables during ALASCA conversion

  #1031·shalashaska117 opened Oct 20, 2026Contributor·

  ·
  1

  4

• Small optimizations that improve search speed by 20% and reduce memory usage with no behavior differences.

  #1008·Dragon-Hatcher opened Oct 4, 2026Contributor·

  ·
  20

• Unify signature symbol IDs and compact category storage

  #944·shalashaska117 opened Sep 14, 2026Contributor·

  ·
  17

• coroutines for clause generation

  on hold (don't merge)
  #920·quickbeam123 opened Aug 31, 2026Collaborator·

  ·
  3

• Allows FMB output to hold symbolic definitions and FMB's model_check mode to read a use them

  on hold (don't merge)
  #914·quickbeam123 opened Aug 28, 2026Collaborator·

  ·

• Will add unit tests for Properties such as hasXEqualsY and onlyExistsForallPrefix (a draft for now)

  on hold (don't merge)
  #779·quickbeam123 opened Nov 10, 2025Collaborator·

  ·
  2

• prevent FMB crashes on FOOLish inputs

  on hold (don't merge)
  #724·MichaelRawson opened Jun 27, 2025Contributor·

  ·
  1