Implementing initial spec transformer - #116

Open

jyoo980 wants to merge 60 commits into

mainfrom

yoo/spec-transformer

Commits on Feb 14, 2026

Implementing initial spec transformer
jyoo980
committed
86f90bd
Avoid removing preconditions when no `Assigns` clause is present
jyoo980
committed
c3249c8

Commits on Feb 15, 2026

Implementing `move_preconditions_to_ensures`
jyoo980
committed
f917b98
Addressing CodeRabbit comments
jyoo980
committed
c31a153
Removing debug statement
jyoo980
committed
1dc0a61

Commits on Feb 16, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
8dcfc9e

Commits on Feb 19, 2026

Making `negate()` a method defined on `CBMCAst`
jyoo980
committed
6e19314
Applying some fixes
jyoo980
committed
d58429c

Commits on Feb 20, 2026

Commits on Feb 22, 2026

Commits on Feb 23, 2026

Adding scratch work for precondition creation
jyoo980
committed
6311651
Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
8bdda2b
Adding updates to inferring non-null preconditions
jyoo980
committed
1b987fd
Fixing build errors
jyoo980
committed
4858d9b
Applying fix
jyoo980
committed
aca35e9
Documenting non-null precondition inference transformation
jyoo980
committed
e2d15c1
Starting implementation of minimize conditional assigns
jyoo980
committed
dac83ed
Adding test for multiple conditions
jyoo980
committed
503a4fc

Commits on Feb 24, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
7a3b930

Commits on Mar 2, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
4b5d416

Commits on Mar 5, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
7adf3a2

Commits on Mar 12, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
f638020

Commits on Mar 17, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
96e71f6

Commits on Mar 22, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
e538b5f

Commits on Mar 28, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
ed574a7
Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
504a511

Commits on Mar 30, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
1cb01a3
Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
8054263

Commits on Mar 31, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
bb07432

Commits on Apr 1, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
c28f2b5

Commits on Apr 2, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
f8eb6bf

Commits on Apr 3, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
ee4556b
Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
fc58525

Commits on Apr 7, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
d01c8cb

Commits on Apr 8, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
e642b26

Commits on Apr 10, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
61372c0

Commits on Apr 12, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
bef92c4

Commits on Apr 13, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
095d7d0

Commits on Apr 14, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
4297167

Commits on Apr 15, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
c0ada6b
Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
45c7dd3

Commits on Apr 16, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
3a26b9b
Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
3bea01c

Commits on Apr 19, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
0e5a92b

Commits on Apr 20, 2026

Commits on Apr 21, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
966830f

Commits on Apr 22, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
05d7a49

Commits on Apr 23, 2026

Commits on Apr 24, 2026

Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
ac79fd5
Merge branch 'main' into yoo/spec-transformer
jyoo980
committed
2377b21