Add cut-point rules for specific functions / intrinsics (via definition)) - #960

Merged

dkcumming merged 20 commits into

dc/filter-function-cut-point-definiton-version

Mar 3, 2026

Commits on Feb 3, 2026

Added helper to get `MonoItemKind` name
dkcumming
committed
f60a7b2
Added `breakOnFunctions` cell to `kmir` configuration with separate rule
dkcumming
committed
14c9041
Plumbing `break_on_function` from cli to initial proof configuration
dkcumming
committed
b860983
Changed explicit string match to identifier-contains-substring
dkcumming
committed
2b0582b
Added support for intrinsics too
dkcumming
committed
4b2e037
Support comma separated list of identifiers to match on
dkcumming
committed
4a3c81e
Changed list from comma separated to append.
dkcumming
committed
a709603
Fix KAST in decode test
dkcumming
committed
2030315
Updated test output
dkcumming
committed
81b4e8d
Removed accidentally commited definition
dkcumming
committed
8515c55

Commits on Feb 28, 2026

Merge remote-tracking branch 'origin/master' into dc/filter-function-cut-points
dkcumming
committed
e1bc16d
Added cli test for `--break-on-function`
dkcumming
committed
39cd8de
Removing `breakOnFunctions` cell from configuration
dkcumming
committed
680f753
Added `break-on-functions` as static data in defintion
dkcumming
committed
e7a8665
Added dummy argument so haskell backend can match and not error
dkcumming
committed
31790b7
Updated test files (removes breakOnFunction cell and shuffles tys)
dkcumming
committed
fac6cd0
Reverted test files
dkcumming
committed
caf2829

Commits on Mar 2, 2026