Commits

History for

Commits on Aug 14, 2026

Minor Changes
rcosta358
committed
89bbf65
Add VC Constraint Simplification (#264)
rcosta358
authored
53867f2
Filter & Sort Counterexamples by Binders (#272)
rcosta358
authored
aa48282

Commits on Aug 11, 2026

Commits on Jul 20, 2026

Fix VC Function Substitution (#267)
rcosta358
authored
f3466c8

Commits on Jun 21, 2026

Remove Group Expression (#263)
rcosta358
authored
2da1348
Track Simplification Origins by Full VC Implication (#262)
rcosta358
authored
bbdaaa5
Simplification Migration (#261)
rcosta358
authored
e78891c
Add VC Function Substitution (#258)
rcosta358
authored
3402d89
Fix VC Substitution (#259)
rcosta358
authored
fa8114a
Return Null Origin for Unsimplified VCs (#256)
rcosta358
authored
076b8fa
Add VC Binder Simplification (#255)
rcosta358
authored
7a0b1fe
Refactor VC Simplification (#254)
rcosta358
authored
75f9487
Add VC Logical Simplification (#253)
rcosta358
authored
a784e4a
Add VC Arithmetic Simplification (#251)
rcosta358
authored
10c0e6e
Add VC Folding Simplification (#250)
rcosta358
authored
987e645

Commits on Jun 12, 2026

Add VC Substitution Simplification (#249)
rcosta358
authored
d33af55

Commits on May 18, 2026

Fix Usage Detection for Repeated Equalities (#226)
rcosta358
authored
10b067f

Commits on May 13, 2026

Simplify Enums & Static Final Fields (#222)
rcosta358
authored
6d1f086
Add hint for implies (using --> and not ->) (#221)
CatarinaGamboa
authored
275e9b7
Propagate Function Invocations (#216)
rcosta358
authored
d22612b

Commits on May 11, 2026

Fix Expression Formatter (#217)
rcosta358
authored
9f1c367
Propagate Expressions (#215)
rcosta358
authored
0de6d8f

Commits on May 5, 2026

Unsatisfiable Refinement Warning (#202)
rcosta358
authored
19ebba1

Commits on Apr 11, 2026

Special Variable Substitution (#201)
rcosta358
authored
eeb2728
Fix CI
rcosta358
committed
ac31356
Expression Pretty Printing (#200)
rcosta358
authored
a43db5f

Commits on Mar 30, 2026

Improve test suite (#177)
cheestree
authored
c68a166

Commits on Mar 28, 2026

Instance Variable Superscript Notation (#189)
rcosta358
authored
833c7d3
Simplify Implied Weaker Conjuncts (#188)
rcosta358
authored
41d3de4
Expand Aliases (#184)
rcosta358
authored
2eb9510
Simplify If Expressions (#183)
rcosta358
authored
9e339f2
Internal Variable Substitution (#181)
rcosta358
authored
7f0e0af
Misleading Expansions (#180)
rcosta358
authored
1272e50