Skip to content

Multiset egraph - #52

Merged
folivetti merged 201 commits into
mainfrom
multiset-egraph
Oct 2, 2026
Merged

folivetti merged 201 commits into
mainfrom
multiset-egraph

Commits

  1. Commits on Apr 12, 2025

  2. Commits on Apr 14, 2025

  3. Commits on Apr 15, 2025

  4. Commits on Apr 16, 2025

  5. Commits on Apr 17, 2025

  6. Commits on Apr 18, 2025

  7. Commits on Apr 19, 2025

  8. Commits on May 20, 2025

    • committed
    • committed
  9. Commits on May 27, 2025

  10. Commits on Jun 16, 2025

  11. Commits on Jul 18, 2025

  12. Commits on Aug 4, 2025

  13. Commits on Aug 7, 2025

  14. Commits on Aug 11, 2025

  15. Commits on Aug 18, 2025

  16. Commits on Sep 1, 2025

  17. Commits on Sep 7, 2025

    • committed
  18. Commits on Sep 8, 2025

  19. Commits on Sep 10, 2025

  20. Commits on Sep 29, 2025

  21. Commits on Oct 2, 2025

  22. Commits on Oct 3, 2025

  23. Commits on Oct 6, 2025

  24. Commits on Oct 13, 2025

  25. Commits on Oct 27, 2025

  26. Commits on Nov 17, 2025

  27. Commits on Nov 24, 2025

  28. Commits on Nov 25, 2025

  29. Commits on Dec 15, 2025

  30. Commits on Jan 9, 2026

  31. Commits on Jan 12, 2026

  32. Commits on Jan 16, 2026

  33. Commits on Jan 29, 2026

  34. Commits on Jan 30, 2026

  35. Commits on Jan 31, 2026

  36. Commits on Feb 1, 2026

  37. Commits on Feb 2, 2026

  38. Commits on Feb 9, 2026

  39. Commits on Mar 2, 2026

  40. Commits on Mar 9, 2026

  41. Commits on Mar 17, 2026

  42. Commits on Jul 30, 2026

  43. Commits on Aug 2, 2026

  44. Commits on Aug 4, 2026

  45. Commits on Aug 5, 2026

  46. Commits on Aug 6, 2026

  47. Commits on Aug 7, 2026

  48. Commits on Aug 8, 2026

  49. Commits on Aug 10, 2026

  50. Commits on Aug 18, 2026

  51. Commits on Aug 19, 2026

  52. Commits on Aug 21, 2026

  53. Commits on Aug 23, 2026

  54. Commits on Sep 2, 2026

  55. Commits on Sep 12, 2026

  56. Commits on Oct 2, 2026