Move strategies to NCore#3743

Draft

unp1 wants to merge 72 commits intomainfrom

ncore-strategies

Commits on Aug 13, 2025

Modularize Feature strategies
Drodt
committed
Cleanup of IntegerStrategy

unp1
authored and
Drodt
committed
Factor out reasoning about strings in own strategy

unp1
authored and
Drodt
committed
Moves FormulaTag manager to ncore (start of generalizing the indexing structures)

unp1
authored and
Drodt
committed
Move RuleIndex to ncore

unp1
authored and
Drodt
committed
Cleanup TacletApp implementations

unp1
authored and
Drodt
committed
Minor cleanup and nullness annotations

unp1
authored and
Drodt
committed
Simplify "union" logic in SVInstantiations

unp1
authored and
Drodt
committed
Nullness and cleanup of code

unp1
authored and
Drodt
committed
Renaming from ifInstantiation to assumesFormulaInstantiation

unp1
authored and
Drodt
committed
Avoid duplicate check of equal sv instantiations

unp1
authored and
Drodt
committed
Rewrite recursion to iterative solution (in this case the intend is clearer in the iterative one) and nullness annotations

unp1
authored and
Drodt
committed
Nullness fixes and removal of unnecessary casts

unp1
authored and
Drodt
committed
Nullness annotations

unp1
authored and
Drodt
committed
Added and updated comments

unp1
authored and
Drodt
committed
Cleanup TacletApp (and subclasses)

unp1
authored and
Drodt
committed
Move RuleIndex to ncore
Drodt
committed
Try to distribute responsibilities for features; this commit has errors
Drodt
committed
Added javadoc

unp1
authored and
Drodt
committed
Intermediate commit: Move common features to modular strat; fix: instApp method for instApp
Drodt
committed
Clean up
Drodt
committed
Modular UI Strategy panel
Drodt
committed
Add responsibilities to StringStrategy

unp1
authored and
Drodt
committed
Rename UI text
Drodt
committed
Add SymEx strat
Drodt
committed
Finish SymExStrategy
Drodt
committed
Split program rules from normal rule sets
Drodt
committed
Simplify
Drodt
committed
Modularize int assign rules
Drodt
committed
Conflict resolution
Drodt
committed
Spotless
Drodt
committed
Add conflict resolution for int
Drodt
committed
Add FOL Strat
Drodt
committed
Nullability
Drodt
committed
Remove LocSet handling from FOLStrat
Drodt
committed
Add JFOLStrat
Drodt
committed
Merge branch 'main' into modular-features
Drodt
authored

Commits on Sep 5, 2025

Merge branch 'main' into modular-features
Drodt
authored

Commits on Oct 16, 2025

Commits on Oct 23, 2025

Commits on Oct 30, 2025

Commits on Nov 6, 2025

Commits on Nov 7, 2025

Simplify
Drodt
committed
Fix OSS
Drodt
committed
Simplify conflict resolution
Drodt
committed

Commits on Nov 19, 2025

Commits on Nov 20, 2025

Commits on Nov 21, 2025