All pull requests

Pull requests

• Fix hashcons collapsing distinct constants that share a hash

  #310·ChrisRackauckas-Claude opened Oct 2, 2026Member·

  ·

• Keep false/0 and 1.0/1 in distinct e-classes

  #309·ChrisRackauckas-Claude opened Oct 2, 2026Member·

  ·
  1

• Fix race when saturating independent e-graphs on separate threads (#224)

  #308·ChrisRackauckas-Claude opened Oct 1, 2026Member·

  ·
  1

• Document areequal, @areequal, and @areequalg (#263)

  #307·ChrisRackauckas-Claude opened Oct 1, 2026Member·

  ·
  1

• Document extract! CSE strategy (cse=true)

  #306·ChrisRackauckas-Claude opened Oct 1, 2026Member·

  ·
  1

• Propagate repeated PatVar predicates so later occurrences are checked (#246)

  #305·ChrisRackauckas-Claude opened Oct 1, 2026Member·

  ·
  1

• Restrict TermInterface compat to 0.3.3 (fix #285 breakage)

  #304·ChrisRackauckas-Claude opened Oct 1, 2026Member·

  ·
  1

• Fix stale eclasslimit argument in propositional_logic tutorial test

  #302·ChrisRackauckas-Claude opened Oct 1, 2026Member·

  ·
  1

• Bump actions/checkout from 4 to 7

  dependenciesgithub_actions
  #300·dependabot[bot] opened Oct 1, 2026Bot·

  ·

• Bump actions/cache from 5 to 6

  dependenciesgithub_actions
  #299·dependabot[bot] opened Oct 1, 2026Bot·

  ·

• Bump peter-evans/create-or-update-comment from 4 to 5

  dependenciesgithub_actions
  #298·dependabot[bot] opened Oct 1, 2026Bot·

  ·

• Bump codecov/codecov-action from 4 to 7

  dependenciesgithub_actions
  #297·dependabot[bot] opened Oct 1, 2026Bot·

  ·

• Error on unbound RHS pattern variables in --> rules (#266)

  #296·ChrisRackauckas-Claude opened Sep 30, 2026Member·

  ·
  1

• Fix BackoffScheduler inform! to use per-rule match counts (#248)

  #295·ChrisRackauckas-Claude opened Sep 30, 2026Member·

  ·
  2

• Update TimerOutputs requirement from 0.5 to 0.5, 1.2 in the all-julia-packages group across 1 directory

  dependenciesjulia
  #294·dependabot[bot] opened Sep 28, 2026Bot·

  ·

• Document Metatheory public interfaces

  #289·ChrisRackauckas-Claude opened Aug 16, 2026Member·

  ·
  2

• Bump peter-evans/find-comment from 3 to 4

  dependenciesgithub_actions
  #281·dependabot[bot] opened Dec 29, 2025Bot·

  ·

• CompatHelper: bump compat for DataStructures to 0.19, (keep existing compat)

  #276·github-actions[bot] opened Aug 1, 2025Bot·

  ·

• ale/3.0 terminterface vecexpr

  #270·0x0f0f0f opened Feb 24, 2025Member·

  ·
  3

• Inform schedulers with correct number of matches.

  #259·gkronber opened Jan 23, 2025Collaborator·

  ·
  13

• Performance improvements

  #253·gkronber opened Oct 10, 2024Collaborator·

  ·
  15

• Multithreading support

  #244·olynch opened Sep 11, 2024Collaborator·

  ·
  17

• Hack in metadata for MT3

  #242·jumerckx opened Sep 6, 2024·

  ·
  4

• Instruction based ematch compiler

  #241·olynch opened Sep 3, 2024Collaborator·

  ·
  11

• [DRAFT]: Expression proof

  #226·adrianleh opened Jul 2, 2024·

  ·
  1