1. 368facc deduplication: eliminate a loop over the hash partitions am: 8ccf4ca009 by Giuliano Procida · 2 hours ago main-kernel
  2. e47ae4a stg -> deduplication: move node hashing am: 15d42d6ec4 by Giuliano Procida · 2 hours ago
  3. 8ccf4ca deduplication: eliminate a loop over the hash partitions by Giuliano Procida · 12 hours ago mirror-goog-main-external
  4. 15d42d6 stg -> deduplication: move node hashing by Giuliano Procida · 12 hours ago
  5. 6f8cfa2 stgdiff: remove support for --exact option am: 961069e5fe by Giuliano Procida · 23 hours ago
  6. c19fc8b stgdiff: simplify code by using unordered_set::contains am: 7cf59dd8f0 by Ricardo Barreira · 23 hours ago
  7. 38d1fac substitution: introduce Rewrite helper function am: 25d25861a1 by Giuliano Procida · 23 hours ago
  8. 3f3fb1c substitution: move silent store avoidance into Substitute am: d14c9fb29b by Giuliano Procida · 23 hours ago
  9. 2277e73 equality cache -> deduplication: move EqualityCache out of header file am: 8014a645bf by Giuliano Procida · 23 hours ago
  10. 43bbad0 equality: simplify Equals cache insertion interface to single pairs am: 3c78cd9672 by Giuliano Procida · 23 hours ago
  11. 174977f equality: simplify Equals cache Query return type to bool am: 0ce6e3fffc by Giuliano Procida · 23 hours ago
  12. 57b2d7c union find: factor out UnionFind template class am: 9ede7f39fb by Giuliano Procida · 23 hours ago
  13. f8b0674 equality cache: introduce SparseIdMapping am: 92b55d11b8 by Giuliano Procida · 23 hours ago
  14. 91708da graph: DenseIdMapping: add Get and Add methods am: 1e40af4320 by Giuliano Procida · 23 hours ago
  15. 366c8c2 equality cache: remove hash checking am: da5a0b93d2 by Giuliano Procida · 23 hours ago
  16. 253a424 equality cache: remove rank logic from EqualityCache am: 5b49196d31 by Giuliano Procida · 23 hours ago
  17. 5c52663 equality cache: remove AllDifferent from Equals interface and caches am: b43fb61bff by Giuliano Procida · 23 hours ago
  18. e757fff equality cache: remove inequality tracking from EqualityCache am: ccb7352c04 by Giuliano Procida · 23 hours ago
  19. 232d343 equality cache: remove SimpleEqualityCache function object am: 36848f772b by Giuliano Procida · 23 hours ago
  20. c9e8d66 stg: time the final graph deduplication stages am: 95575a0ae7 by Giuliano Procida · 23 hours ago
  21. 961069e stgdiff: remove support for --exact option by Giuliano Procida · 25 hours ago
  22. 7cf59dd stgdiff: simplify code by using unordered_set::contains by Ricardo Barreira · 25 hours ago
  23. 25d2586 substitution: introduce Rewrite helper function by Giuliano Procida · 25 hours ago
  24. d14c9fb substitution: move silent store avoidance into Substitute by Giuliano Procida · 25 hours ago
  25. 8014a64 equality cache -> deduplication: move EqualityCache out of header file by Giuliano Procida · 25 hours ago
  26. 3c78cd9 equality: simplify Equals cache insertion interface to single pairs by Giuliano Procida · 25 hours ago
  27. 0ce6e3f equality: simplify Equals cache Query return type to bool by Giuliano Procida · 25 hours ago
  28. 9ede7f3 union find: factor out UnionFind template class by Giuliano Procida · 25 hours ago
  29. 92b55d1 equality cache: introduce SparseIdMapping by Giuliano Procida · 25 hours ago
  30. 1e40af4 graph: DenseIdMapping: add Get and Add methods by Giuliano Procida · 25 hours ago
  31. da5a0b9 equality cache: remove hash checking by Giuliano Procida · 25 hours ago
  32. 5b49196 equality cache: remove rank logic from EqualityCache by Giuliano Procida · 25 hours ago
  33. b43fb61 equality cache: remove AllDifferent from Equals interface and caches by Giuliano Procida · 25 hours ago
  34. ccb7352 equality cache: remove inequality tracking from EqualityCache by Giuliano Procida · 25 hours ago
  35. 36848f7 equality cache: remove SimpleEqualityCache function object by Giuliano Procida · 25 hours ago
  36. 95575a0 stg: time the final graph deduplication stages by Giuliano Procida · 25 hours ago
  37. 3fbfb24 graph: use 32-bit internal node ids am: 01501b5057 by Giuliano Procida · 26 hours ago
  38. 68ed7fd graph: use auto instead of template parameters where possible am: 1244bb5686 by Giuliano Procida · 26 hours ago
  39. bbe80e4 graph: use auto instead of template parameter FunctionObject am: b932d0226d by Giuliano Procida · 26 hours ago
  40. 01501b5 graph: use 32-bit internal node ids by Giuliano Procida · 6 days ago
  41. 1244bb5 graph: use auto instead of template parameters where possible by Giuliano Procida · 6 days ago
  42. b932d02 graph: use auto instead of template parameter FunctionObject by Giuliano Procida · 6 days ago
  43. 8b4c62a order: use sentinel values for matching vectors in MatchReorderForEach am: 6a5aca349d by Giuliano Procida · 2 weeks ago
  44. c2dae64 order: remove dead code from trailing loop in MatchReorderForEach am: c15abc36aa by Giuliano Procida · 2 weeks ago
  45. 0de23a8 order: optimise greedy sequence comparison to linear time am: ee11cca421 by Giuliano Procida · 2 weeks ago
  46. ce810f7 order: inline CombineOrders and fuse callbacks am: dc5c37bba0 by Giuliano Procida · 2 weeks ago
  47. 39ed914 order: inline Reorder and eliminate sorting am: b05bc9dcda by Giuliano Procida · 2 weeks ago
  48. 0e55d92 order: simplify Reorder and inline Permute am: 30b219be97 by Giuliano Procida · 2 weeks ago
  49. 3134ee1 order test: add hand-curated test case with multiple optimal solutions am: aabde50312 by Giuliano Procida · 2 weeks ago
  50. 7df7351 order test: document behavior of hand-curated test cases am: df6a2db93f by Giuliano Procida · 2 weeks ago
  51. d2b9c68 order test: add unit tests for MatchReorderForEach am: 625aadb34b by Giuliano Procida · 2 weeks ago
  52. 7bc22fa order test: clean up helpers and types am: a677fafcc7 by Giuliano Procida · 2 weeks ago
  53. a1c8ea7 order: refactor MatchReorderForEach to use hash map matching am: 3d3d65b1ae by Giuliano Procida · 2 weeks ago
  54. 98bf49d order: inline PairUp into MatchReorderForEach am: a2c30d0f35 by Giuliano Procida · 2 weeks ago
  55. d811bed comparison -> order: move PairUp and MatchReorderForEach am: 50cffd7b67 by Giuliano Procida · 2 weeks ago
  56. 11e1862 comparison: refactor sequence matching into MatchReorderForEach am: bc51dcb469 by Giuliano Procida · 2 weeks ago
  57. 8167c06 comparison: move stable_sort calls out of MatchingKeys into PairUp am: 53a12168c3 by Giuliano Procida · 2 weeks ago
  58. 09926d3 test cases: diff tests: add a test case with many enumerators am: a17ad80025 by Giuliano Procida · 2 weeks ago
  59. 126dc50 unification: fold Unification class into UnifyingGraph am: 54f1f1f25d by Giuliano Procida · 2 weeks ago
  60. 1736b89 type_resolution: use UnifyingGraph in ResolveTypes am: 670ab83051 by Giuliano Procida · 2 weeks ago
  61. 53f00ba unification: use UnifyingGraph in Unifier am: 2bd554dbd1 by Giuliano Procida · 2 weeks ago
  62. 16c3fa7 unification: introduce UnifyingGraph class am: 4a8f4d67dd by Giuliano Procida · 2 weeks ago
  63. bab708a unification: simplify Unifier::Find lookup loop am: 2b03137e66 by Giuliano Procida · 2 weeks ago
  64. 1bca809 graph: eliminate ConstAdapter helper with direct Apply overload am: 6b40ba7461 by Giuliano Procida · 2 weeks ago
  65. 9b8110b graph: move member functions into class definition am: a34096cdda by Giuliano Procida · 2 weeks ago
  66. b93c0c3 graph: introduce WithVector helper to eliminate switch duplication in Apply/Apply2 am: 39ea5e7423 by Giuliano Procida · 2 weeks ago
  67. df6aa6d graph: do not report internal node IDs to users am: b8d5db518c by Giuliano Procida · 2 weeks ago
  68. 5e5266a test cases: diff tests: cover C++ enumerator values am: 7ca6df48af by Giuliano Procida · 2 weeks ago
  69. 56c7eae test cases: info tests: cover C++ enumerator values am: 45904d8ef1 by Giuliano Procida · 2 weeks ago
  70. 80d7812 test cases: diff tests: add fully anonymous member test am: f757ca7fc4 by Giuliano Procida · 2 weeks ago
  71. 56d3026 stg: remove const std::unique_ptr<Filter>& anti-pattern am: 33a6e4e876 by Matthias Maennich · 2 weeks ago
  72. 054d455 stg, stgdiff: make opts arrays const am: 379f5ea98a by Giuliano Procida · 2 weeks ago
  73. 3ff549e filter: simplify string operations and line processing am: 57f1b86cb0 by Matthias Maennich · 2 weeks ago
  74. e7f169c ELF loader: replace strnlen with std::string_view::find am: 14d04ac093 by Matthias Maennich · 2 weeks ago
  75. 0973951 stg: move handling of single root node case into Merge am: 4aaf554103 by Giuliano Procida · 2 weeks ago
  76. 6a5aca3 order: use sentinel values for matching vectors in MatchReorderForEach by Giuliano Procida · 2 weeks ago
  77. c15abc3 order: remove dead code from trailing loop in MatchReorderForEach by Giuliano Procida · 2 weeks ago
  78. ee11cca order: optimise greedy sequence comparison to linear time by Giuliano Procida · 2 weeks ago
  79. dc5c37b order: inline CombineOrders and fuse callbacks by Giuliano Procida · 2 weeks ago
  80. b05bc9d order: inline Reorder and eliminate sorting by Giuliano Procida · 2 weeks ago
  81. 30b219b order: simplify Reorder and inline Permute by Giuliano Procida · 2 weeks ago
  82. aabde50 order test: add hand-curated test case with multiple optimal solutions by Giuliano Procida · 2 weeks ago
  83. df6a2db order test: document behavior of hand-curated test cases by Giuliano Procida · 2 weeks ago
  84. 625aadb order test: add unit tests for MatchReorderForEach by Giuliano Procida · 2 weeks ago
  85. a677faf order test: clean up helpers and types by Giuliano Procida · 2 weeks ago
  86. 3d3d65b order: refactor MatchReorderForEach to use hash map matching by Giuliano Procida · 2 weeks ago
  87. a2c30d0 order: inline PairUp into MatchReorderForEach by Giuliano Procida · 2 weeks ago
  88. 50cffd7 comparison -> order: move PairUp and MatchReorderForEach by Giuliano Procida · 2 weeks ago
  89. bc51dcb comparison: refactor sequence matching into MatchReorderForEach by Giuliano Procida · 2 weeks ago
  90. 53a1216 comparison: move stable_sort calls out of MatchingKeys into PairUp by Giuliano Procida · 2 weeks ago
  91. a17ad80 test cases: diff tests: add a test case with many enumerators by Giuliano Procida · 2 weeks ago
  92. 54f1f1f unification: fold Unification class into UnifyingGraph by Giuliano Procida · 2 weeks ago
  93. 670ab83 type_resolution: use UnifyingGraph in ResolveTypes by Giuliano Procida · 2 weeks ago
  94. 2bd554d unification: use UnifyingGraph in Unifier by Giuliano Procida · 2 weeks ago
  95. 4a8f4d6 unification: introduce UnifyingGraph class by Giuliano Procida · 2 weeks ago
  96. 2b03137 unification: simplify Unifier::Find lookup loop by Giuliano Procida · 2 weeks ago
  97. 6b40ba7 graph: eliminate ConstAdapter helper with direct Apply overload by Giuliano Procida · 2 weeks ago
  98. a34096c graph: move member functions into class definition by Giuliano Procida · 2 weeks ago
  99. 39ea5e7 graph: introduce WithVector helper to eliminate switch duplication in Apply/Apply2 by Giuliano Procida · 2 weeks ago
  100. b8d5db5 graph: do not report internal node IDs to users by Giuliano Procida · 2 weeks ago