Commits on Aug 28, 2024

1. Do not simplify equality immediately on construction …

   After some discussion, it turns out it is preferable to keep
   simplification code in the simplification functions and do not simplify
   equalities directly at construction point.
   
   However, we would still like to normalize equalities, so that constants
   are at LHS. Therefore we update the simplification rules, which were
   previously written to expect constant on RHS.

   

   blishko committed Aug 28, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for b6753d8
   • Browse repository at this point

   Copy the full SHA

   b6753d8 View commit details

   Browse the repository at this point in the history