search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Nightly cleanup #524

Closed ajpal closed 4 months ago

ajpal commented 4 months ago

Functional changes:

  1. Make diff + checkboxes interact correctly (this was broken by https://github.com/egraphs-good/eggcc/pull/516)
  2. Hide warnings by default

Code structure changes:

  1. move event handling logic into handlers.js
  2. Separate data fetching logic from rendering logic
  3. Autoformat everything and enforce formatting in the Makefile
  4. Be more clear about what the global/persistent data structure is