Repository navigation

Add VC Function Substitution - #258

Merged

rcosta358 merged 56 commits into

mainfrom

vc-function-substitution

Jun 21, 2026

Merged

Add VC Function Substitution#258
rcosta358 merged 56 commits into
mainfrom
vc-function-substitution

Commits on Jun 12, 2026
- Add SimplifiedExpression
  rcosta358
  committed
  e38d99d
- Change SimplifiedExpression to SimplifiedPredicate
  rcosta358
  committed
  208249f
- Requested Changes
  rcosta358
  committed
  92359f3
- Formatting
  rcosta358
  committed
  de68c47
- Minor Changes
  rcosta358
  committed
  8bb6fb4
- Add VC Substitution
  rcosta358
  committed
  ba977dc
- Add Comments
  rcosta358
  committed
  82eb3be
- SimplifiedPredicate Follow-Up
  rcosta358
  committed
  63a1c21
- Add `simplifyOnce`
  rcosta358
  committed
  36fd1fd
- Code Refactoring
  rcosta358
  committed
  e8e07d5
- Add Comment
  rcosta358
  committed
  27061e9
- Code Refactoring
  rcosta358
  committed
  47c1844
- Add Fixed Point Iteration
  rcosta358
  committed
  a3b4f29
- Requested Changes
  rcosta358
  committed
  659a139
- Rename
  rcosta358
  committed
  7f6f9d2
- Replace `SimplifiedPredicate` with `SimplifiedVCImplication`
  rcosta358
  committed
  2e145d3
- Refactoring
  rcosta358
  committed
  ba81c3a
- Minor Change
  rcosta358
  committed
  43a0bef
- Add Tests
  rcosta358
  committed
  fa7eff5
- Change SimplifiedExpression to SimplifiedPredicate
  rcosta358
  committed
  607e1b5
- Add VC Folding
  rcosta358
  committed
  0b060bb
- Add Fixed Point Iteration
  rcosta358
  committed
  7bb0632
- Use SimplifiedVCImplication
  rcosta358
  committed
  4c39689
- Refactoring
  rcosta358
  committed
  981c63f
- Fix
  rcosta358
  committed
  b374c66
- Refactoring
  rcosta358
  committed
  67b05ce
- Add Comments
  rcosta358
  committed
  9ffbe14
- Refactoring
  rcosta358
  committed
  68c3b42
- Refactoring
  rcosta358
  committed
  eab59f7
- Simplify VCFolding
  rcosta358
  committed
  11be88b
- Add Tests
  rcosta358
  committed
  84f9727
- Fixes
  rcosta358
  committed
  99131d4
- Update Tests
  rcosta358
  committed
  8cde2d2
- Refactor Tests
  rcosta358
  committed
  ee3919c
- Update VCImplicationGenerator
  rcosta358
  committed
  cb0cb2e
- Minor Changes
  rcosta358
  committed
  35895a3
- Minor Changes
  rcosta358
  committed
  e4258aa
- Update Tests
  rcosta358
  committed
  804c7a6
- Refactor Tests
  rcosta358
  committed
  1043d1a
Commits on Jun 13, 2026
- Add Comments
  rcosta358
  committed
  9fc831a
- Add VC Arithmetic Simplification
  rcosta358
  committed
  b813bb7
- Add Comments
  rcosta358
  committed
  0a04e5b
- Renaming
  rcosta358
  committed
  e5d9162
- Update Comments
  rcosta358
  committed
  f4250de
- Refactor Simplification Passes
  rcosta358
  committed
  334ff7e
- Add VC Logical Simplification
  rcosta358
  committed
  eb9ff24
- Fix Origins
  rcosta358
  committed
  d8f9aee
- Fix Origins
  rcosta358
  committed
  f9e4624
- Fix Origins
  rcosta358
  committed
  63aeaf9
Commits on Jun 14, 2026
- Refactor VC Simplification
  rcosta358
  committed
  28c5a0f
- Minor Changes
  rcosta358
  committed
  8b148b0
- Minor Changes
  rcosta358
  committed
  9bc108f
- Add VC Binder Simplification
  rcosta358
  committed
  8588a9d
Commits on Jun 15, 2026
- Return Null Origin for Unsimplified VCs
  rcosta358
  committed
  5fbcef7
Commits on Jun 16, 2026
- Add VC Function Substitution
  rcosta358
  committed
  8073094
Commits on Jun 21, 2026
- Merge branch 'main' into vc-function-substitution
  rcosta358
  committed
  f73a6d9

Commits

Commits on Jun 12, 2026

Commits on Jun 13, 2026

Commits on Jun 14, 2026

Commits on Jun 15, 2026

Commits on Jun 16, 2026

Commits on Jun 21, 2026