Add VC Substitution Simplification - #249

Merged

rcosta358 merged 22 commits into

mainfrom

vc-substitution

Jun 12, 2026

Commits on Jun 9, 2026

Add SimplifiedExpression
rcosta358
committed
4091d36
Change SimplifiedExpression to SimplifiedPredicate
rcosta358
committed
cfa1be1
Requested Changes
rcosta358
committed
abc5a02
Formatting
rcosta358
committed
3c358a9
Minor Changes
rcosta358
committed
8229c60
Add VC Substitution
rcosta358
committed
a61f0f7
Add Comments
rcosta358
committed
176f337
SimplifiedPredicate Follow-Up
rcosta358
committed
03f1d88
Add `simplifyOnce`
rcosta358
committed
3fc150d
Add Property Based Test using JUnit Quickcheck
rcosta358
committed
da87af9
Minor Changes
rcosta358
committed
39be6f6
Code Refactoring
rcosta358
committed
8adba68
Add Comment
rcosta358
committed
d55680d
Code Refactoring
rcosta358
committed
6e4e1cd
Add Fixed Point Iteration
rcosta358
committed
39e54c4
Requested Changes
rcosta358
committed
92f3d12
Rename
rcosta358
committed
c42edc8
Replace `SimplifiedPredicate` with `SimplifiedVCImplication`
rcosta358
committed
9c54833
Fix
rcosta358
committed
e486e28
Refactoring
rcosta358
committed
a487ea9
Minor Change
rcosta358
committed
bd77390

Commits on Jun 11, 2026

Add Tests
rcosta358
committed
07e0fa7