RTM v4, in progress. - #175

Draft

crei wants to merge 23 commits into

Commits on Jun 10, 2026

RTM v4, in progress.
crei
committed
94447dd
Step simulation.
crei
committed
296c742

Commits on Jun 11, 2026

Simulate the main loop.
crei
committed
34fb238
cleanup
crei
committed
825693b
more tools.
crei
committed
de4941e
state thoerems for simulator.
crei
committed
a883bd9

Commits on Jun 12, 2026

simulation in one direction.
crei
committed
ecc3d9e
simplify.
crei
committed
63a1f06
remove unused
crei
committed
a0793fc

Commits on Jun 16, 2026

Successor and addition of binary numbers.
crei
committed
354ce89
Addition and multiplication.
crei
committed
98d0bfc
Move arithmetic.
crei
committed
79b0715
for loops
crei
committed
2767b44

Commits on Jun 17, 2026

Step-bounded simulator.
crei
committed
01a9231
lint
crei
committed
562b0e2

Commits on Jun 18, 2026

Simulator in progress.
crei
committed
4eb553a
Generalize function evaluation.
crei
committed
91746df

Commits on Jun 22, 2026

State the complexity in terms of functions accepting variables instead of full programs.
crei
committed
c4bb5f2

Commits on Jun 23, 2026

Complexity of elim is linear in the accessed environment.
crei
committed
11d71ed
Merge remote-tracking branch 'origin/main' into rtm
crei
committed
8736811
var is linear.
crei
committed
e4a603d
fix imports.
crei
committed
1cec663

Commits on Jun 24, 2026

Progress on while runtime.
crei
committed
834c364