Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 79bb561693 Fix self-loop detection to use the Definition 6 self-relation main imacatandClaude Fable 5 2026-08-20 10:00:45 +08:00
• 11045c57d3 Fix Equation 5 to count lifecycle observations instead of traces imacatandClaude Fable 5 2026-08-20 09:57:38 +08:00
• 46d6565a56 Export split_miner_2 from package imacat 2026-08-20 08:13:27 +08:00
• d35d866b4b Add Split Miner 2.0 implementation imacatandClaude Opus 5 2026-03-12 12:36:37 +08:00
• 446e6f90fe Add split miner implementation imacatandClaude Opus 4.6 2026-03-12 07:00:49 +08:00
• 94c97629de Add .gitignore imacat 2026-03-10 19:55:33 +08:00