Changelog:

• Various bug fixes
• Run GVN pass after function inlining
• Release for TOSEM 2024 publication

Changelog

• Allow creating snapshots from a single C source file
• Add extended analysis statistics
• New pattern for matching reordered binary operations
• New pattern for variable grouping
• Nix flakes support for building and development
• Unification of applied optimizations for various build commands
• Fix comparison of PHI nodes and union types
• Support for LLVM 17

Changelog:

• New web-based viewer of found differences
• CLI options for built-in patterns
• Improved logging and debugging
• Support for LLVM 16
• Move to C++17