Code

iterative simplifier#860

Code

Draft

friedusb wants to merge 13 commits intoviperproject:masterviperproject/silver:masterfrom friedusb:ghaefeli-iterativesimplifierfriedusb/extended-simplifier:ghaefeli-iterativesimplifierCopy head branch name to clipboard

Commits

Commits on Nov 5, 2024

• Basic functionality (simplify and get shortest for small ruleset)

  friedusb

  committed
  f85b4bc

  Copy full SHA for f85b4bc

Commits on Nov 18, 2024

• new simplify (pfSimplify)

  friedusb

  committed
  d7cc0a9

  Copy full SHA for d7cc0a9

Commits on Nov 19, 2024

• simplify (pfSimplify and pfRecursiveSimplify) initial functionality

  friedusb

  committed
  15d558d

  Copy full SHA for 15d558d

Commits on Dec 3, 2024

• additions DeepSimplifier

  friedusb

  committed
  a8856d5

  Copy full SHA for a8856d5

Commits on Dec 15, 2024

• Rules Implication and EqualityComparison in DeepSimplifier

  Show description for 80e3a5d
  friedusb

  committed
  80e3a5d

  Copy full SHA for 80e3a5d

• DeepSimplifier->IterativeSimplifier

  Show description for a97d08b
  friedusb

  committed
  a97d08b

  Copy full SHA for a97d08b

• Merge branch 'viperproject:master' into master

  friedusb

  authored
  515776d

  Copy full SHA for 515776d

• small changes

  friedusb

  committed
  b5ea033

  Copy full SHA for b5ea033

• Merge remote-tracking branch 'origin/master'

  friedusb

  committed
  5c44b34

  Copy full SHA for 5c44b34

• small changes

  friedusb

  committed
  0cd259f

  Copy full SHA for 0cd259f

• removed comments from test

  friedusb

  committed
  2392424

  Copy full SHA for 2392424

Commits on Mar 24, 2025

• adjustments

  friedusb

  committed
  171054c

  Copy full SHA for 171054c

• Merge branch 'viperproject:master' into ghaefeli-iterativesimplifier

  friedusb

  authored
  6bdce7f

  Copy full SHA for 6bdce7f